8. SSS 2006:
Dallas,
Texas,
USA
Ajoy Kumar Datta, Maria Gradinariu (Eds.):
Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings.
Lecture Notes in Computer Science 4280 Springer 2006, ISBN 978-3-540-49018-0 BibTeX
Invited Talks
Regular Papers
- Habib M. Ammari, Sajal K. Das:
Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor Networks.
35-49
Electronic Edition (link) BibTeX
- Mahesh Arumugam, Limin Wang, Sandeep S. Kulkarni:
A Case Study on Prototyping Power Management Protocols for Sensor Networks.
50-64
Electronic Edition (link) BibTeX
- Roberto Baldoni, Rachid Guerraoui, Ron R. Levy, Vivien Quéma, Sara Tucci Piergiovanni:
Unconscious Eventual Consistency with Gossips.
65-81
Electronic Edition (link) BibTeX
- Joffroy Beauquier, Colette Johnen, Stéphane Messika:
All k -Bounded Policies Are Equivalent for Self-stabilization.
82-94
Electronic Edition (link) BibTeX
- Joffroy Beauquier, Sylvie Delaët, Sammy Haddad:
A 1-Strong Self-stabilizing Transformer.
95-109
Electronic Edition (link) BibTeX
- Martin Biely, Josef Widder:
Optimal Message-Driven Implementation of Omega with Mute Processes.
110-121
Electronic Edition (link) BibTeX
- Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Incremental Synthesis of Fault-Tolerant Real-Time Programs.
122-136
Electronic Edition (link) BibTeX
- Christian Boulinier, Franck Petit, Vincent Villain:
Toward a Time-Optimal Odd Phase Clock Unison in Trees.
137-151
Electronic Edition (link) BibTeX
- Olga Brukman, Shlomi Dolev:
Recovery Oriented Programming.
152-168
Electronic Edition (link) BibTeX
- Florent Claerhout:
Evaluation of a Tracking Architecture in Wireless Sensor Networks.
169-183
Electronic Edition (link) BibTeX
- Benoit Claudel, Noel De Palma, Renaud Lachaize, Daniel Hagimont:
Self-protection for Distributed Component-Based Applications.
184-198
Electronic Edition (link) BibTeX
- Alain Cournier, Stéphane Devismes, Vincent Villain:
From Self- to Snap- Stabilization.
199-213
Electronic Edition (link) BibTeX
- Praveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil:
Self-stabilizing Philosophers with Generic Conflicts.
214-230
Electronic Edition (link) BibTeX
- Anurag Dasgupta, Sukumar Ghosh, Sébastien Tixeuil:
Selfish Stabilization.
231-243
Electronic Edition (link) BibTeX
- Abhishek Dhama, Oliver E. Theel, Timo Warns:
Reliability and Availability Analysis of Self-stabilizing Systems.
244-261
Electronic Edition (link) BibTeX
- Yoann Dieudonné, Ouiddad Labbani-Igbida, Franck Petit:
Circle Formation of Weak Mobile Robots.
262-275
Electronic Edition (link) BibTeX
- Shlomi Dolev, Reuven Yagel:
Self-stabilizing Device Drivers.
276-289
Electronic Edition (link) BibTeX
- Shlomi Dolev, Marina Kopeetsky:
Secure Communication for RFIDs Proactive Information Security Within Computational Security.
290-303
Electronic Edition (link) BibTeX
- Mohamed G. Gouda, Jorge Arturo Cobb, Chin-Tser Huang:
Fault Masking in Tri-redundant Systems.
304-313
Electronic Edition (link) BibTeX
- Mohamed G. Gouda, Sandeep S. Kulkarni, Ehab S. Elmallah:
Logarithmic Keying of Communication Networks.
314-323
Electronic Edition (link) BibTeX
- Kajari Ghosh Dastidar, Ted Herman, Colette Johnen:
Safe Peer-to-Peer Self-downloading.
324-334
Electronic Edition (link) BibTeX
- Ted Herman, Chen Zhang:
Best Paper: Stabilizing Clock Synchronization for Wireless Sensor Networks.
335-349
Electronic Edition (link) BibTeX
- Ezra N. Hoch, Danny Dolev, Ariel Daliot:
Self-stabilizing Byzantine Digital Clock Synchronization.
350-362
Electronic Edition (link) BibTeX
- Shing-Tsaan Huang, Chi-Hung Tzeng:
Distributed Edge Coloration for Bipartite Networks.
363-377
Electronic Edition (link) BibTeX
- Michel Hurfin, Jean-Pierre Le Narzul, Frédéric Majorczyk, Ludovic Mé, Ayda Saïdane, Eric Totel, Frédéric Tronel:
A Dependable Intrusion Detection Architecture Based on Agreement Services.
378-394
Electronic Edition (link) BibTeX
- William Leal, Sandip Bapat, Taewoo Kwon, Pihui Wei, Anish Arora:
Stabilizing Health Monitoring for Wireless Sensor Networks.
395-410
Electronic Edition (link) BibTeX
- Mahyar R. Malekpour:
A Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization Systems.
411-427
Electronic Edition (link) BibTeX
- Fredrik Manne, Morten Mjelde:
A Memory Efficient Self-stabilizing Algorithm for Maximal k -Packing.
428-439
Electronic Edition (link) BibTeX
- Toshimitsu Masuzawa, Sébastien Tixeuil:
Bounding the Impact of Unbounded Attacks in Stabilization.
440-453
Electronic Edition (link) BibTeX
- Toshimitsu Masuzawa, Sébastien Tixeuil:
On Bootstrapping Topology Knowledge in Anonymous Networks.
454-468
Electronic Edition (link) BibTeX
- Jehan-François Pâris, Thomas J. E. Schwarz, Darrell D. E. Long:
Self-adaptive Disk Arrays.
469-483
Electronic Edition (link) BibTeX
- Samia Souissi, Xavier Défago, Masafumi Yamashita:
Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility.
484-500
Electronic Edition (link) BibTeX
- Chi-Hung Tzeng, Jehn-Ruey Jiang, Shing-Tsaan Huang:
Self-stabilizing Asynchronous Phase Synchronization in General Graphs.
501-515
Electronic Edition (link) BibTeX
- Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, Toshimitsu Masuzawa:
Composition of Fault-Containing Protocols Based on Recovery Waiting Fault-Containing Composition Framework.
516-532
Electronic Edition (link) BibTeX
- Jeong Hyun Yi:
Energy-Efficient and Non-interactive Self-certification in MANETs.
533-547
Electronic Edition (link) BibTeX
- Wei Yu, Nan Zhang, Wei Zhao:
Self-adaptive Worms and Countermeasures.
548-562
Electronic Edition (link) BibTeX
Brief Announcement
- Iching Boman, Jared Saia, Chaouki T. Abdallah, Edl Schamiloglu:
Brief Announcement: Self-healing Algorithms for Reconfigurable Networks.
563-565
Electronic Edition (link) BibTeX
- Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad:
Brief Announcement: Distributed Synthesis of Fault-Tolerance.
566-567
Electronic Edition (link) BibTeX
- Kai Chen, Fan Jiang, Zongyao Tang:
Brief Announcement: Exploration and Mitigation of Deafness Problems in Directional Antennas Based Wireless Ad-Hoc Networks.
568-569
Electronic Edition (link) BibTeX
- Pan Dong, Peidong Zhu, Xicheng Lu:
Brief Announcement: A Synthetic Public Key Management Scheme for Large-Scale MANET.
570-571
Electronic Edition (link) BibTeX
- Felix C. Freiling, Matthias Majuntke, Neeraj Mittal:
Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures.
572-573
Electronic Edition (link) BibTeX
- Thomas Hérault, Pierre Lemarinier, Olivier Peres, Laurence Pilard, Joffroy Beauquier:
Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems.
574-575
Electronic Edition (link) BibTeX
- Martin Hutle, Dahlia Malkhi, Ulrich Schmid, Lidong Zhou:
Brief Announcement: Chasing the Weakest System Model for Implementing Omega and Consensus.
576-577
Electronic Edition (link) BibTeX
- Scott M. Pike, Yantao Song, Kaustav Ghoshal:
Brief Announcement: Wait-Free Dining for Eventual Weak Exclusion.
578-579
Electronic Edition (link) BibTeX
- Jun Kiniwa, Kensaku Kikuta:
Brief Announcement: An Efficient and Self-stabilizing Link Formation Algorithm.
580-581
Electronic Edition (link) BibTeX
- Sapon Tanachaiwiwat, Ahmed Helmy:
Brief Announcement: Analyzing the Interactions of Self-propagating Codes in Multi-hop Networks.
582-583
Electronic Edition (link) BibTeX
- Ina Schaefer, Arnd Poetzsch-Heffter:
Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems.
584-585
Electronic Edition (link) BibTeX
- Yu Wu, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa:
Brief Announcement: An Adaptive Randomised Searching Protocol in Peer-to-Peer Systems Based on Probabilistic Weak Quorum System.
586-587
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:43:03 2009
by Michael Ley (ley@uni-trier.de)
