1134 search results - page 11 / 227 » Distributed Proving in Access-Control Systems |
SACMAT
2009
ACM
15 years 4 months ago
2009
ACM
Publish-subscribe (pub-sub) systems are useful for many applications, including pervasive environments. In the latter context, however, great care must be taken to preserve the pr...
75
Voted
CSFW
2006
IEEE
15 years 3 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
SACMAT
2004
ACM
15 years 2 months ago
2004
ACM
Emerging trust and risk management systems provide a framework for principals to determine whether they will exchange resources, without requiring a complete definition of their ...
STORAGESS
2006
ACM
15 years 3 months ago
2006
ACM
Distributed computation systems have become an important tool for scientific simulation, and a similarly distributed replica management system may be employed to increase the loc...
ECOOPW
1999
Springer
15 years 1 months ago
1999
Springer
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...