10633 search results - page 420 / 2127 » Relating Distributed Objects |
202
click to vote
NCA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
205
click to vote
SAC
2003
ACM
16 years 4 days ago
2003
ACM
DICE (DIstributed Constraint Environment) is a framework for the construction of distributed constraint solvers from software components in a number of predefined categories. The...
186
click to vote
AC
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. It is now recognized that the Consensus problem is a fundamental problem when one has to design and implement reliable asynchronous distributed systems. This chapter is o...
154
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
In this paper we provide properties of moments of matrix exponential distributions and joint moments of matrix exponential processes. Based on the provided properties, an algorith...
147
click to vote
ICMAS
2000
15 years 8 months ago
2000
In a distributed multiagent negotiation involving multiple issues, it is often desirable to finalize dealsonly whenall related issues are resolved. Wepresent a quiescence detectio...