Stabilization, Safety, and Security of Distributed Systems

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

  • Ajoy K. Datta
  • Maria Gradinariu
Conference proceedings SSS 2006

DOI: 10.1007/978-3-540-49823-0

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

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

About these proceedings

Introduction

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

Editors and affiliations

  • Ajoy K. Datta
    • 1
  • Maria Gradinariu
    • 2
  1. 1.School of Computer ScienceUniversity of Nevada Las Vegas 
  2. 2.LIP6INRIA-Université Paris 6France

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-49018-0
  • Online ISBN 978-3-540-49823-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349