


default search action
8th SSS 2006: Dallas, Texas, USA
- Ajoy Kumar Datta, Maria Gradinariu:

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
Invited Talks
- Shlomi Dolev, Yinnon A. Haviv:

Stabilization Enabling Technology. 1-15 - Rachid Guerraoui, Nancy A. Lynch:

A General Characterization of Indulgence. 16-34
Regular Papers
- Habib M. Ammari, Sajal K. Das:

Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor Networks. 35-49 - Mahesh Arumugam, Limin Wang, Sandeep S. Kulkarni:

A Case Study on Prototyping Power Management Protocols for Sensor Networks. 50-64 - Roberto Baldoni, Rachid Guerraoui, Ron R. Levy, Vivien Quéma, Sara Tucci Piergiovanni

:
Unconscious Eventual Consistency with Gossips. 65-81 - Joffroy Beauquier, Colette Johnen, Stéphane Messika:

All k -Bounded Policies Are Equivalent for Self-stabilization. 82-94 - Joffroy Beauquier, Sylvie Delaët, Sammy Haddad:

A 1-Strong Self-stabilizing Transformer. 95-109 - Martin Biely, Josef Widder:

Optimal Message-Driven Implementation of Omega with Mute Processes. 110-121 - Borzoo Bonakdarpour, Sandeep S. Kulkarni:

Incremental Synthesis of Fault-Tolerant Real-Time Programs. 122-136 - Christian Boulinier, Franck Petit, Vincent Villain:

Toward a Time-Optimal Odd Phase Clock Unison in Trees. 137-151 - Olga Brukman, Shlomi Dolev:

Recovery Oriented Programming. 152-168 - Florent Claerhout:

Evaluation of a Tracking Architecture in Wireless Sensor Networks. 169-183 - Benoit Claudel, Noel De Palma, Renaud Lachaize, Daniel Hagimont:

Self-protection for Distributed Component-Based Applications. 184-198 - Alain Cournier, Stéphane Devismes, Vincent Villain:

From Self- to Snap- Stabilization. 199-213 - Praveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil:

Self-stabilizing Philosophers with Generic Conflicts. 214-230 - Anurag Dasgupta, Sukumar Ghosh, Sébastien Tixeuil:

Selfish Stabilization. 231-243 - Abhishek Dhama, Oliver E. Theel, Timo Warns:

Reliability and Availability Analysis of Self-stabilizing Systems. 244-261 - Yoann Dieudonné, Ouiddad Labbani-Igbida, Franck Petit:

Circle Formation of Weak Mobile Robots. 262-275 - Shlomi Dolev, Reuven Yagel:

Self-stabilizing Device Drivers. 276-289 - Shlomi Dolev, Marina Kopeetsky:

Secure Communication for RFIDs Proactive Information Security Within Computational Security. 290-303 - Mohamed G. Gouda, Jorge Arturo Cobb, Chin-Tser Huang:

Fault Masking in Tri-redundant Systems. 304-313 - Mohamed G. Gouda, Sandeep S. Kulkarni, Ehab S. Elmallah:

Logarithmic Keying of Communication Networks. 314-323 - Kajari Ghosh Dastidar, Ted Herman, Colette Johnen:

Safe Peer-to-Peer Self-downloading. 324-334 - Ted Herman, Chen Zhang:

Best Paper: Stabilizing Clock Synchronization for Wireless Sensor Networks. 335-349 - Ezra N. Hoch, Danny Dolev, Ariel Daliot:

Self-stabilizing Byzantine Digital Clock Synchronization. 350-362 - Shing-Tsaan Huang, Chi-Hung Tzeng:

Distributed Edge Coloration for Bipartite Networks. 363-377 - 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 - William Leal, Sandip Bapat, Taewoo Kwon, Pihui Wei, Anish Arora:

Stabilizing Health Monitoring for Wireless Sensor Networks. 395-410 - Mahyar R. Malekpour:

A Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization Systems. 411-427 - Fredrik Manne, Morten Mjelde:

A Memory Efficient Self-stabilizing Algorithm for Maximal k -Packing. 428-439 - Toshimitsu Masuzawa, Sébastien Tixeuil:

Bounding the Impact of Unbounded Attacks in Stabilization. 440-453 - Toshimitsu Masuzawa, Sébastien Tixeuil:

On Bootstrapping Topology Knowledge in Anonymous Networks. 454-468 - Jehan-François Pâris, Thomas J. E. Schwarz, Darrell D. E. Long:

Self-adaptive Disk Arrays. 469-483 - Samia Souissi, Xavier Défago

, Masafumi Yamashita:
Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility. 484-500 - Chi-Hung Tzeng, Jehn-Ruey Jiang, Shing-Tsaan Huang:

Self-stabilizing Asynchronous Phase Synchronization in General Graphs. 501-515 - 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 - Jeong Hyun Yi:

Energy-Efficient and Non-interactive Self-certification in MANETs. 533-547 - Wei Yu

, Nan Zhang, Wei Zhao
:
Self-adaptive Worms and Countermeasures. 548-562
Brief Announcement
- Iching Boman, Jared Saia, Chaouki T. Abdallah

, Edl Schamiloglu:
Brief Announcement: Self-healing Algorithms for Reconfigurable Networks. 563-565 - Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad:

Brief Announcement: Distributed Synthesis of Fault-Tolerance. 566-567 - Kai Chen, Fan Jiang, Zongyao Tang:

Brief Announcement: Exploration and Mitigation of Deafness Problems in Directional Antennas Based Wireless Ad-Hoc Networks. 568-569 - Pan Dong, Peidong Zhu, Xicheng Lu:

Brief Announcement: A Synthetic Public Key Management Scheme for Large-Scale MANET. 570-571 - Felix C. Freiling, Matthias Majuntke, Neeraj Mittal:

Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures. 572-573 - Thomas Hérault

, Pierre Lemarinier
, Olivier Peres, Laurence Pilard, Joffroy Beauquier:
Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems. 574-575 - Martin Hutle, Dahlia Malkhi, Ulrich Schmid, Lidong Zhou:

Brief Announcement: Chasing the Weakest System Model for Implementing Omega and Consensus. 576-577 - Scott M. Pike, Yantao Song, Kaustav Ghoshal:

Brief Announcement: Wait-Free Dining for Eventual Weak Exclusion. 578-579 - Jun Kiniwa, Kensaku Kikuta:

Brief Announcement: An Efficient and Self-stabilizing Link Formation Algorithm. 580-581 - Sapon Tanachaiwiwat, Ahmed Helmy

:
Brief Announcement: Analyzing the Interactions of Self-propagating Codes in Multi-hop Networks. 582-583 - Ina Schaefer, Arnd Poetzsch-Heffter:

Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems. 584-585 - 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














