Sciweavers

Share
SSS
2007
Springer
10 years 4 months ago
Stabilization of Flood Sequencing Protocols in Sensor Networks
Flood is a communication primitive that can be used by the base station of a sensor network to send a copy of a message to every sensor in the network. When a sensor receives a fl...
Young-ri Choi, Mohamed G. Gouda
SSS
2007
Springer
102views Control Systems» more  SSS 2007»
10 years 4 months ago
Secure and Self-stabilizing Clock Synchronization in Sensor Networks
Abstract. In sensor networks, correct clocks have arbitrary starting offsets and nondeterministic fluctuating skews. We consider an adversary that aims at tampering with the cloc...
Jaap-Henk Hoepman, Andreas Larsson, Elad Michael S...
SSS
2007
Springer
121views Control Systems» more  SSS 2007»
10 years 4 months ago
Byzantine Self-stabilizing Pulse in a Bounded-Delay Model
Abstract. “Pulse Synchronization” intends to invoke a recurring distributed event at the different nodes, of a distributed system as simultaneously as possible and with a freq...
Danny Dolev, Ezra N. Hoch
SSS
2007
Springer
10 years 4 months ago
Stabilization in Dynamic Systems with Varying Equilibrium
System design often explores optimality of performance. What is optimal is, however, often not predefined or static in most cases, because it is affected by the context of operat...
Hui Cao, Anish Arora
SSS
2007
Springer
10 years 4 months ago
Self-stabilization and Virtual Node Layer Emulations
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
Tina Nolte, Nancy A. Lynch
SSS
2007
Springer
10 years 4 months ago
Stabilization of Loop-Free Redundant Routing
Consider a network of processes that exchange messages via FIFO communication channels. Each process chooses a subset of its neighboring processes to be its successors. Furthermore...
Jorge Arturo Cobb
SSS
2007
Springer
10 years 4 months ago
Temporal Partition in Sensor Networks
Ted Herman, Sriram V. Pemmaraju, Laurence Pilard, ...
SSS
2007
Springer
10 years 4 months ago
The Truth System: Can a System of Lying Processes Stabilize?
We introduce a new abstract system, called the truth system. In the truth system, a process deduces a true value, with high probability, from an incoming stream of both true and fa...
Mohamed G. Gouda, Yan Li
SSS
2007
Springer
130views Control Systems» more  SSS 2007»
10 years 4 months ago
Secure Failure Detection in TrustedPals
We present a modular redesign of TrustedPals, a smartcard-based security framework for solving secure multiparty computation (SMC)[?]. TrustedPals allows to reduce SMC to the probl...
Roberto Cortiñas, Felix C. Freiling, Marjan...
books