1134 search results - page 136 / 227 » Distributed Proving in Access-Control Systems |
157
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Self-stabilization is a versatile approach to fault-tolerance since it permits a distributed system to recover from any transient fault that arbitrarily corrupts the contents of a...
152
click to vote
DSE
1998
15 years 5 months ago
1998
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
143
click to vote
CONCUR
2007
Springer
16 years 11 days ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...
152
click to vote
PODC
2004
ACM
15 years 11 months ago
2004
ACM
We explore the computational power of networks of small resource-limited mobile agents. We define two new models of computation based on pairwise interactions of finite-state ag...
177
click to vote
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...