1134 search results - page 136 / 227 » Distributed Proving in Access-Control Systems |
121
Voted
CORR
2010
Springer
15 years 3 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...
121
Voted
DSE
1998
15 years 3 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 (...
103
Voted
CONCUR
2007
Springer
15 years 9 months 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...
125
click to vote
PODC
2004
ACM
15 years 9 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...
137
click to vote
WORDS
2003
IEEE
15 years 8 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...