1124 search results - page 13 / 225 » Refined quorum systems |
116
click to vote
OSDI
2006
ACM
16 years 2 months ago
2006
ACM
There are currently two approaches to providing Byzantine-fault-tolerant state machine replication: a replica-based approach, e.g., BFT, that uses communication between replicas t...
108
Voted
ICDCS
2005
IEEE
15 years 7 months ago
2005
IEEE
The group mutual exclusion problem extends the traditional mutual exclusion problem by associating a type with each critical section. In this problem, processes requesting critica...
124
click to vote
SRDS
1999
IEEE
15 years 6 months ago
1999
IEEE
Ad-hoc wireless networks have no wired component, and may have unpredictable mobility pattern. Such networks can get partitioned and reconnected several times. One possible approa...
103
click to vote
DSN
2004
IEEE
15 years 5 months ago
2004
IEEE
We present a framework for transforming several quorum-based protocols so that they can dynamically adapt their failure threshold and server count, allowing them to be reconfigure...
145
Voted
DALT
2009
Springer
15 years 5 months ago
2009
Springer
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...