1087 search results - page 56 / 218 » Achieving Distributed Control through Model Checking |
ER
2006
Springer
13 years 11 months ago
2006
Springer
We propose a new conceptual model for choreographies of web-services. Choreographies are seen as virtual workflow models shared among participants. Subsets of these participants mi...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract-- We propose distributed algorithms to automatically deploy a group of robotic agents and provide coverage of a discretized environment represented by a graph. The classic...
NCA
2007
IEEE
14 years 2 months ago
2007
IEEE
The advent of the mobile Web and the increasing demand for personalized contents arise the need for computationally expensive services, such as dynamic generation and on-thefly a...
ACISP
1998
Springer
14 years 2 days ago
1998
Springer
Abstract. Most current object-based distributed systems support access control lists for access control. However, it is difficult to determine which principal information to use fo...
ACSW
2006
13 years 9 months ago
2006
Owners of systems and resources usually want to control who can access them. This must be based on having a process for authorising certain parties, combined with mechanisms for e...