688 search results - page 16 / 138 » A Calculus for Access Control in Distributed Systems |
SACMAT
2010
ACM
14 years 22 days ago
2010
ACM
Access to distributed databases containing tuples collected about mobile physical objects requires information about the objects’ trajectories. Existing access control models ca...
CSL
2005
Springer
14 years 1 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
COMCOM
2008
13 years 8 months ago
2008
In this paper, we address the rate control, the Medium Access Control (MAC) and the routing problem for cooperative Vehicular Ad-Hoc Network (VANET) in the framework of cross-laye...
STORAGESS
2006
ACM
14 years 1 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
14 years 5 days 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...