Sciweavers

31 search results - page 3 / 7
» sss 2009
Sort
View
SSS
2009
Springer
13 years 9 months ago
Optimistic Fair Exchange Using Trusted Devices
Efficiency of optimistic fair exchange using trusted devices is studied. Pfitzmann, Schunter and Waidner (PODC 1998) have shown that four messages in the main sub-protocol is op...
Mohammad Torabi Dashti
SSS
2009
Springer
127views Control Systems» more  SSS 2009»
13 years 11 months ago
Robustness and Dependability of Self-Organizing Systems - A Safety Engineering Perspective
Abstract. This paper analyses the robustness of self-organizing (engineered) systems to perturbations (faults or environmental changes). It considers that a self-organizing system ...
Giovanna Di Marzo Serugendo
SSS
2009
Springer
138views Control Systems» more  SSS 2009»
13 years 11 months ago
Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios
We describe an approach to the analysis of protocols for wireless sensor networks in scenarios with mobile nodes and dynamic link quality. The approach is based on the theorem prov...
Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer
SSS
2009
Springer
13 years 11 months ago
Stability of Distributed Algorithms in the Face of Incessant Faults
Abstract. For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two we...
Robert E. Lee DeVille, Sayan Mitra
SSS
2009
Springer
162views Control Systems» more  SSS 2009»
13 years 11 months ago
Distributed Sleep Scheduling in Wireless Sensor Networks via Fractional Domatic Partitioning
We consider setting up sleep scheduling in sensor networks. We formulate the problem as an instance of the fractional domatic partition problem and obtain a distributed approximati...
André Schumacher, Harri Haanpää