761 search results - page 4 / 153 » Stateful Group Communication Services |
NCA
2003
IEEE
14 years 3 months ago
2003
IEEE
While group communication system have been proposed for some time, they are still not used much in actual systems. We believe that one reason for this is the lack of standardisati...
ELPUB
2003
ACM
14 years 3 months ago
2003
ACM
: Synergies is an emerging online Canadian publishing project in the social sciences and humanities that builds on a group of online publishing initiatives that have emerged over t...
FMICS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
LCN
2007
IEEE
14 years 4 months ago
2007
IEEE
WDAG
1998
Springer
14 years 2 months ago
1998
Springer
We give a rigorous account of an algorithm that provides sequentially consistent replicated data on top of the view synchronous group communication service previously specified by ...