Skip to main content
SpringerLink
Log in
Book cover

Stabilization, Safety, and Security of Distributed Systems

11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Rachid Guerraoui

    1. Ecole Polytechnique Fédérale de Lausanne, Lausanne, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Franck Petit

    1. LIP, ENS Lyon, Lyon cedex 07, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: SSS 2009.

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

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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

Licence this eBook for your library

Institutional subscriptions

Table of contents (66 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Challenges in Personalizing and Decentralizing the Web: An Overview of GOSSPLE

      • Anne-Marie Kermarrec
      Pages 1-16

    2. Local Algorithms: Self-stabilization on Speed

      • Christoph Lenzen, Jukka Suomela, Roger Wattenhofer
      Pages 17-34

    3. As Good as It Gets: Competitive Fault Tolerance in Network Structures

      • David Peleg
      Pages 35-46

  3. Regular Papers

    1. Multicore Constraint-Based Automated Stabilization

      • Fuad Abujarad, Sandeep S. Kulkarni
      Pages 47-61

    2. A Theory of Network Tracing

      • Hrishikesh B. Acharya, Mohamed G. Gouda
      Pages 62-74

    3. Developing Autonomic and Secure Virtual Organisations with Chemical Programming

      • Alvaro E. Arenas, Jean-Pierre Banâtre, Thierry Priol
      Pages 75-89

    4. Making Population Protocols Self-stabilizing

      • Joffroy Beauquier, Janna Burman, Shay Kutten
      Pages 90-104

    5. Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios

      • Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer
      Pages 105-119

    6. Consensus When All Processes May Be Byzantine for Some Time

      • Martin Biely, Martin Hutle
      Pages 120-132

    7. A Superstabilizing log(n)-Approximation Algorithm for Dynamic Steiner Trees

      • Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis
      Pages 133-148

    8. Looking for the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems: Is \({\it \Pi}_k\) the End of the Road?

      • François Bonnet, Michel Raynal
      Pages 149-164

    9. Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks

      • Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
      Pages 165-179

    10. FoG: Fighting the Achilles’ Heel of Gossip Protocols with Fountain Codes

      • Mary-Luc Champel, Anne-Marie Kermarrec, Nicolas Le Scouarnec
      Pages 180-194

    11. How to Improve Snap-Stabilizing Point-to-Point Communication Space Complexity?

      • Alain Cournier, Swan Dubois, Vincent Villain
      Pages 195-208

    12. Fault-Containment in Weakly-Stabilizing Systems

      • Anurag Dasgupta, Sukumar Ghosh, Xin Xiao
      Pages 209-223

    13. Stability of Distributed Algorithms in the Face of Incessant Faults

      • Robert E. Lee DeVille, Sayan Mitra
      Pages 224-237

    14. Dependability Engineering of Silent Self-stabilizing Systems

      • Abhishek Dhama, Oliver Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker
      Pages 238-253

    15. Robustness and Dependability of Self-Organizing Systems - A Safety Engineering Perspective

      • Giovanna Di Marzo Serugendo
      Pages 254-268

    16. Efficient Robust Storage Using Secret Tokens

      • Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri
      Pages 269-283
Back to top

Other volumes

  1. Stabilization, Safety, and Security of Distributed Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2009, held in Lyon, France, in November 2009. The 49 revised full papers and 14 brief announcements presented together with three invited talks were carefully reviewed and selected from 126 submissions. The papers address all safety and security-related aspects of self-stabilizing systems in various areas. The most topics related to self-* systems. The special topics were alternative systems and models, autonomic computational science, cloud computing, embedded systems, fault-tolerance in distributed systems / dependability, formal methods in distributed systems, grid computing, mobility and dynamic networks, multicore computing, peer-to-peer systems, self-organizing systems, sensor networks, stabilization, and system safety and security.

Editors and Affiliations

  • Ecole Polytechnique Fédérale de Lausanne, Lausanne, Switzerland

    Rachid Guerraoui

  • LIP, ENS Lyon, Lyon cedex 07, France

    Franck Petit

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation