123 search results - page 21 / 25 » Stable Leader Election |
99
Voted
INTETAIN
2005
Springer
15 years 9 months ago
2005
Springer
PeaceMaker is a computer game simulation of the Israeli-Palestinian conflict. It is a tool that can be used to teach Israeli and Palestinian teenagers how both sides can work toget...
126
Voted
ALGOSENSORS
2009
Springer
15 years 10 months ago
2009
Springer
Sensor networks, with their ad hoc deployments, node mobility, and wireless communication, pose serious challenges for developing provably correct and efficient applications. A po...
137
Voted
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
Network protocol designers, both at the physical and network level, have long considered interference and simultaneous transmission in wireless protocols as a problem to be avoide...
103
click to vote
FOCS
2008
IEEE
15 years 10 months ago
2008
IEEE
We design efficient protocols for processors to extract private randomness over a network with Byzantine faults, when each processor has access to an independent weakly-random n-...
132
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...