688 search results - page 16 / 138 » A Calculus for Access Control in Distributed Systems |
111
Voted
SACMAT
2010
ACM
15 years 4 months 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
15 years 5 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
14 years 11 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...
73
Voted
STORAGESS
2006
ACM
15 years 5 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 4 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...