1124 search results - page 61 / 225 » Refined quorum systems |
132
click to vote
FAC
2008
15 years 6 months ago
2008
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...
190
click to vote
SRDS
2005
IEEE
15 years 11 months ago
2005
IEEE
Recent advances in wireless communication along with Peer-to-peer (P2P) paradigm have led to increasing interest in P2P mobile ad hoc networks. In this paper, we assume an environ...
180
click to vote
INFOCOM
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract—In this paper, we present the implementation issues of a virtual backbone that supports the operations of the Uniform Quorum System (UQS) and the Randomized Database Gro...
177
click to vote
DSVIS
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...
168
click to vote
ICMCS
2006
IEEE
16 years 5 days ago
2006
IEEE
In this paper, we present a new speaker diarization system that improves the accuracy of traditional hierarchical clustering-based methods with little increase in computational co...