2116 search results - page 226 / 424 » Resource Analysis by Sup-interpretation |
136
click to vote
FAC
2010
15 years 3 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
162
click to vote
NOMS
2010
IEEE
15 years 2 months ago
2010
IEEE
As IP telephony becomes a critical part of the enterprise network infrastructure, there is an increasing need for tools to help manage VoIP systems. In this paper, we introduce DA ...
134
click to vote
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
Abstract--Security evaluation according to ISO 15408 (Common Criteria) is a resource and time demanding activity, as well as being costly. For this reason, only few companies take ...
132
click to vote
INFOCOM
2012
IEEE
13 years 7 months ago
2012
IEEE
— We study the Hulu online video service via active measurements. It is known that Hulu utilizes multiple CDNs to serve users’ video requests. The focus of this study is on how...
141
click to vote
KDD
2010
ACM
15 years 6 months ago
2010
ACM
Advances in data collection and storage capacity have made it increasingly possible to collect highly volatile graph data for analysis. Existing graph analysis techniques are not ...