Skip to main content
  • Conference proceedings
  • © 2007

Stabilization, Safety, and Security of Distributed Systems

9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4838)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): SSS: International Symposium on Stabilizing, Safety, and Security of Distributed Systems

Conference proceedings info: SSS 2007.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (30 papers)

  1. Front Matter

  2. Robots and Molecules

    • Masafumi Yamashita
    Pages 3-3
  3. Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency

    • Martin Biely, Martin Hutle, Lucia Draque Penso, Josef Widder
    Pages 4-20
  4. Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model

    • Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad
    Pages 21-36
  5. Decentralized Detector Generation in Cooperative Intrusion Detection Systems

    • Rainer Bye, Katja Luther, Seyit Ahmet Çamtepe, Tansu Alpcan, Şahin Albayrak, Bülent Yener
    Pages 37-51
  6. Stabilizing Flocking Via Leader Election in Robot Networks

    • Davide Canepa, Maria Gradinariu Potop-Butucaru
    Pages 52-66
  7. Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems

    • Eddy Caron, Frédéric Desprez, Franck Petit, Cédric Tedeschi
    Pages 82-96
  8. On the Performance of Dijkstra’s Third Self-stabilizing Algorithm for Mutual Exclusion

    • Viacheslav Chernoy, Mordechai Shalom, Shmuel Zaks
    Pages 114-123
  9. Stability of the Multiple-Access Channel Under Maximum Broadcast Loads

    • Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki
    Pages 124-138
  10. Stabilization of Flood Sequencing Protocols in Sensor Networks

    • Young-ri Choi, Mohamed G. Gouda
    Pages 139-153
  11. Stabilization of Loop-Free Redundant Routing

    • Jorge A. Cobb
    Pages 154-172
  12. Secure Failure Detection in TrustedPals

    • Roberto Cortiñas, Felix C. Freiling, Marjan Ghajar-Azadanlou, Alberto Lafuente, Mikel Larrea, Lucia Draque Penso et al.
    Pages 173-188
  13. Probabilistic Fault-Containment

    • Anurag Dasgupta, Sukumar Ghosh, Xin Xiao
    Pages 189-203
  14. Self* Minimum Connected Covers of Query Regions in Sensor Networks

    • Ajoy K. Datta, Maria Gradinariu Potop-Butucaru, Rajesh Patel, Ai Yamazaki
    Pages 204-218
  15. Robust Stabilizing Leader Election

    • Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier
    Pages 219-233
  16. Byzantine Self-stabilizing Pulse in a Bounded-Delay Model

    • Danny Dolev, Ezra N. Hoch
    Pages 234-252

Other Volumes

  1. Stabilization, Safety, and Security of Distributed Systems

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access