144 search results - page 18 / 29 » Dynamic Event-Based Access Control as Term Rewriting |
CCS
2004
ACM
14 years 27 days ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
HPDC
2003
IEEE
14 years 24 days ago
2003
IEEE
Increasingly, scalable distributed applications are being constructed by integrating reusable components spanning multiple administrative domains. Dynamic composition and deployme...
WOWMOM
2005
ACM
14 years 1 months ago
2005
ACM
The IEEE 802.16 standard (commonly known as WiMAX) which has emerged as a broadband wireless access technology, is capable of delivering very high data rates. However, providing p...
SIGMETRICS
2006
ACM
14 years 1 months ago
2006
ACM
Understanding and managing the response time of web services is of key importance as dependence on the World Wide Web continues to grow. We present Remote Latency-based Management...
PLDI
2003
ACM
14 years 22 days ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...