Advertisement

Stabilization, Safety, and Security of Distributed Systems

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

  • Rachid Guerraoui
  • Franck Petit
Conference proceedings SSS 2009

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Regular Papers

    1. Fuad Abujarad, Sandeep S. Kulkarni
      Pages 47-61
    2. Hrishikesh B. Acharya, Mohamed G. Gouda
      Pages 62-74
    3. Alvaro E. Arenas, Jean-Pierre Banâtre, Thierry Priol
      Pages 75-89
    4. Joffroy Beauquier, Janna Burman, Shay Kutten
      Pages 90-104
    5. Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer
      Pages 105-119
    6. Martin Biely, Martin Hutle
      Pages 120-132
    7. Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis
      Pages 133-148
    8. Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
      Pages 165-179
    9. Mary-Luc Champel, Anne-Marie Kermarrec, Nicolas Le Scouarnec
      Pages 180-194
    10. Alain Cournier, Swan Dubois, Vincent Villain
      Pages 195-208
    11. Anurag Dasgupta, Sukumar Ghosh, Xin Xiao
      Pages 209-223
    12. Robert E. Lee DeVille, Sayan Mitra
      Pages 224-237
    13. Abhishek Dhama, Oliver Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker
      Pages 238-253
    14. Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri
      Pages 269-283
    15. Danny Dolev, Ezra N. Hoch, Yoram Moses
      Pages 284-296
    16. Shlomi Dolev, Marina Kopeetsky
      Pages 297-310
    17. Mohamed G. Gouda, Hrishikesh B. Acharya
      Pages 311-324
    18. Ning Gui, Vincenzo De Florio, Hong Sun, Chris Blondia
      Pages 325-340
    19. Kajari Ghosh Dastidar, Ted Herman
      Pages 354-368
    20. Taisuke Izumi, Tomoko Izumi, Sayaka Kamei, Fukuhito Ooshita
      Pages 384-398
    21. Hirotsugu Kakugawa, Yukiko Yamauchi, Sayaka Kamei, Toshimitsu Masuzawa
      Pages 428-442
    22. Stevens Le Blond, Fabrice Le Fessant, Erwan Le Merrer
      Pages 472-484
    23. Sergey Legtchenko, Sébastien Monnet, Pierre Sens, Gilles Muller
      Pages 485-499
    24. Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement et al.
      Pages 531-546
    25. Andrea Marongiu, Andrea Acquaviva, Luca Benini
      Pages 547-562
    26. Rodica Mihai, Morten Mjelde
      Pages 563-577
    27. Thomas Polzer, Thomas Handl, Andreas Steininger
      Pages 578-592
    28. Liliana Rosa, Luís Rodrigues, Antónia Lopes, Matti Hiltunen, Richard Schlichting
      Pages 593-608
    29. Lifeng Sang, Anish Arora
      Pages 609-623
    30. Sabina Serbu, Étienne Rivière, Pascal Felber
      Pages 655-669
    31. Samia Souissi, Taisuke Izumi, Koichi Wada
      Pages 683-697
    32. Martin Süßkraut, Stefan Weigert, Ute Schiffel, Thomas Knauth, Martin Nowack, Diogo Becker de Brum et al.
      Pages 698-710
    33. Mohammad Torabi Dashti
      Pages 711-725

About these proceedings

Introduction

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.

Keywords

Design MANET Scheduling adaptive systems algorithms asynchronous systems channel allocation complexity distributed algorithms distributed systems embedded systems graphs interference robot security

Editors and affiliations

  • Rachid Guerraoui
    • 1
  • Franck Petit
    • 2
  1. 1.Ecole Polytechnique Fédérale de LausanneLausanneSwitzerland
  2. 2.LIPENS LyonLyon cedex 07France

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-05118-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-05117-3
  • Online ISBN 978-3-642-05118-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site