Sciweavers

104 search results - page 14 / 21
» Latency-aware leader election
Sort
View
TCC
2010
Springer
208views Cryptology» more  TCC 2010»
14 years 6 months ago
Rationality in the Full-Information Model
We study rationality in protocol design for the full-information model, a model characterized by computationally unbounded adversaries, no private communication, and no simultanei...
Ronen Gradwohl
B
2007
Springer
14 years 4 months ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
WWIC
2007
Springer
194views Communications» more  WWIC 2007»
14 years 3 months ago
Distributed Event Localization and Tracking with Wireless Sensors
In this paper we present the distributed event localization and tracking algorithm DELTA that solely depends on light measurements. Based on this information and the positions of t...
Markus Wälchli, Piotr Skoczylas, Michael Meer...
PDP
2006
IEEE
14 years 3 months ago
A B2B Distributed Replication Service
A deadlock free distributed replication service for B2B CORBA based applications is presented. This service provides persistent storage for commercial transactions performed by B2...
José Javier Astrain, Alberto Córdoba...
FOSSACS
2004
Springer
14 years 3 months ago
Electoral Systems in Ambient Calculi
This paper compares the expressiveness of ambient calculi against different dialects of the pi-calculus. Cardelli and Gordon encoded the asynchronous pi-calculus into their calcul...
Iain Phillips, Maria Grazia Vigliotti