Sciweavers

5 search results - page 1 / 1
» A Probabilistically Correct Leader Election Protocol for Lar...
Sort
View
WDAG
2000
Springer
87views Algorithms» more  WDAG 2000»
13 years 8 months ago
A Probabilistically Correct Leader Election Protocol for Large Groups
This paper presents a scalable leader election protocol for large process groups with a weak membership requirement. The underlying network is assumed to be unreliable but characte...
Indranil Gupta, Robbert van Renesse, Kenneth P. Bi...
TASE
2009
IEEE
13 years 11 months ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin
TIP
2010
181views more  TIP 2010»
12 years 11 months ago
Cluster-Based Distributed Face Tracking in Camera Networks
In this paper, we present a distributed multicamera face tracking system suitable for large wired camera networks. Unlike previous multicamera face tracking systems, our system doe...
Josiah Yoder, Henry Medeiros, Johnny Park, Avinash...
ICDCS
1997
IEEE
13 years 9 months ago
Secure Reliable Multicast Protocols in a WAN
A secure reliable multicast protocol enables a process to send a message to a group of recipients such that all correct destinations receive the same message, despite the maliciou...
Dahlia Malkhi, Michael Merritt, Ohad Rodeh
ACSC
2008
IEEE
13 years 11 months ago
Privacy preserving set intersection based on bilinear groups
We propose a more efficient privacy preserving set intersection protocol which improves the previously known result by a factor of O(N) in both the computation and communication c...
Yingpeng Sang, Hong Shen