default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th 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.
last updated on 2024-12-02 21:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
