Skip to main content
  • Conference proceedings
  • © 2006

Stabilization, Safety, and Security of Distributed Systems

8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings

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

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 2006.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (50 papers)

  1. Front Matter

  2. Invited Talks

    1. Stabilization Enabling Technology

      • Shlomi Dolev, Yinnon Haviv
      Pages 1-15
    2. A General Characterization of Indulgence

      • R. Guerraoui, N. Lynch
      Pages 16-34
  3. Regular Papers

    1. A Case Study on Prototyping Power Management Protocols for Sensor Networks

      • Mahesh Arumugam, Limin Wang, Sandeep S. Kulkarni
      Pages 50-64
    2. Unconscious Eventual Consistency with Gossips

      • Roberto Baldoni, Rachid Guerraoui, Ron R. Levy, Vivien Quéma, Sara Tucci Piergiovanni
      Pages 65-81
    3. All k-Bounded Policies Are Equivalent for Self-stabilization

      • Joffroy Beauquier, Colette Johnen, Stéphane Messika
      Pages 82-94
    4. A 1-Strong Self-stabilizing Transformer

      • Joffroy Beauquier, Sylvie Delaët, Sammy Haddad
      Pages 95-109
    5. Incremental Synthesis of Fault-Tolerant Real-Time Programs

      • Borzoo Bonakdarpour, Sandeep S. Kulkarni
      Pages 122-136
    6. Toward a Time-Optimal Odd Phase Clock Unison in Trees

      • Christian Boulinier, Franck Petit, Vincent Villain
      Pages 137-151
    7. Recovery Oriented Programming

      • Olga Brukman, Shlomi Dolev
      Pages 152-168
    8. Self-protection for Distributed Component-Based Applications

      • Benoit Claudel, Noël De Palma, Renaud Lachaize, Daniel Hagimont
      Pages 184-198
    9. From Self- to Snap- Stabilization

      • Alain Cournier, Stéphane Devismes, Vincent Villain
      Pages 199-213
    10. Self-stabilizing Philosophers with Generic Conflicts

      • Praveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil
      Pages 214-230
    11. Selfish Stabilization

      • Anurag Dasgupta, Sukumar Ghosh, Sébastien Tixeuil
      Pages 231-243
    12. Reliability and Availability Analysis of Self-stabilizing Systems

      • Abhishek Dhama, Oliver Theel, Timo Warns
      Pages 244-261
    13. Circle Formation of Weak Mobile Robots

      • Yoann Dieudonné, Ouiddad Labbani-Igbida, Franck Petit
      Pages 262-275
    14. Self-stabilizing Device Drivers

      • Shlomi Dolev, Reuven Yagel
      Pages 276-289

Other Volumes

  1. Stabilization, Safety, and Security of Distributed Systems

About this book

This symposium has been the main forum for presentation of research results in the area of self-* for 17 years. It started as The Workshop on Self-Stabilizing Systems (WSS), and met in 1989 in Austin, 1995 in Las Vegas, 1997 in Santa Barbara, 1999 in Austin, and 2001 in Lisbon. It was then renamed The S- posium on Self-Stabilizing Systems (SSS), and has since met in 2003 in San Francisco, and in 2005 in Barcelona, Spain. This year,we extended the scope of the symposium to cover all safety and - curity related aspects of self-* systems. The title of the symposium was changed to the International Symposium on Stabilization, Safety, and Security of D- tributed Systems (SSS) to re?ect this expansion. The decision by Mohamed Gouda, the General Chair, to expand the scope of the symposium was timely and successful. From 33 papers submitted for SSS 2005, the number of submissions increased to 155. Reviewing this surge of s- missions to select the ?nal set of papers for the symposium was a monumental taskfor the ProgramCommittee. The 61 ProgramCommittee membersdevoted countless hours reading and evaluating the papers. But even this e?ort was not enough; we recruited 143 external reviewers, whose work was also very subst- tial.

Keywords

  • Radio-Frequency Identification (RFID)
  • ad-hoc networks
  • adaptive slef-stabilization
  • adaptive systems
  • authentication
  • autonomic computing
  • dependability
  • disstributed systems
  • distributed algorithms
  • formal methods
  • group communication
  • informat
  • knowledge
  • robot
  • verification
  • algorithm analysis and problem complexity

Editors and Affiliations

  • School of Computer Science, University of Nevada Las Vegas,  

    Ajoy K. Datta

  • LIP6, INRIA-Université Paris 6, France

    Maria Gradinariu

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions