3047 search results - page 4 / 610 » A Temporal Consensus Model |
163
click to vote
EOR
2007
15 years 6 months ago
2007
In this paper, we apply a consensus model to decision-making in committees that have to choose one or more alternatives from a set of alternatives. The model does not use a voting...
168
Voted
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
177
click to vote
SIAMCOMP
2002
15 years 6 months ago
2002
This paper introduces a simple notion of layering as a tool for analyzing well-behaved runs of a given model of distributed computation. Using layering, a model-independent analysi...
147
click to vote
ANOR
2008
15 years 6 months ago
2008
In this paper, a model of political consensus is introduced. Parties try to reach consensus in forming a government. A government is defined as a pair consisting of a winning coali...
167
click to vote
DSN
2006
IEEE
16 years 15 days ago
2006
IEEE
In the asynchronous distributed system model, consensus is obtained in one communication step if all processes propose the same value. Assuming f < n/3, this is regardless of t...