675 search results - page 76 / 135 » A Constraint-Driven Executable Model of Dynamic System Recon... |
143
click to vote
IWFM
2000
15 years 4 months ago
2000
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
140
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Service-oriented systems are becoming more and more nodes in a digital, dynamic ecosystem requiring the identification and establishment of flexible, spontaneous collaboration act...
114
click to vote
ISCA
1997
IEEE
15 years 7 months ago
1997
IEEE
Current microprocessors aggressively exploit instructionlevel parallelism (ILP) through techniques such as multiple issue, dynamic scheduling, and non-blocking reads. Recent work ...
199
click to vote
WWW
2011
ACM
14 years 10 months ago
2011
ACM
The advent of Cloud computing platforms, and the growing pervasiveness of Multicore processor architectures have revealed the inadequateness of traditional programming models base...
115
Voted
ESORICS
2007
Springer
15 years 9 months ago
2007
Springer
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interac...