1740 search results - page 142 / 348 » Group communication protocol for flexible distributed system... |
APLAS
2007
ACM
14 years 1 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
WEBNET
2001
13 years 10 months ago
2001
: Teleworking enables a more flexible scheduling of working time and places of work on the way to the modern information society. The rapid development of cooperative application s...
PRDC
2007
IEEE
14 years 3 months ago
2007
IEEE
We consider scheduling real-time distributable threads in the presence of node/link failures and message losses in large-scale network systems. We present a distributed scheduling...
COORDINATION
2000
Springer
14 years 1 months ago
2000
Springer
Coordination and access control are related issues in open distributed agent systems, being both concerned with governing interaction between agents and resources. In particular, w...
CCS
2008
ACM
13 years 11 months ago
2008
ACM
Distance bounding protocols have been proposed for many security critical applications as a means of getting an upper bound on the physical distance to a communication partner. As...