![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
11th SSS 2009: Lyon, France
- Rachid Guerraoui
, Franck Petit
:
Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings. Lecture Notes in Computer Science 5873, Springer 2009, ISBN 978-3-642-05117-3
Invited Talks
- Anne-Marie Kermarrec:
Challenges in Personalizing and Decentralizing the Web: An Overview of GOSSPLE. 1-16 - Christoph Lenzen, Jukka Suomela
, Roger Wattenhofer:
Local Algorithms: Self-stabilization on Speed. 17-34 - David Peleg:
As Good as It Gets: Competitive Fault Tolerance in Network Structures. 35-46
Regular Papers
- Fuad Abujarad, Sandeep S. Kulkarni:
Multicore Constraint-Based Automated Stabilization. 47-61 - Hrishikesh B. Acharya, Mohamed G. Gouda:
A Theory of Network Tracing. 62-74 - Alvaro E. Arenas, Jean-Pierre Banâtre, Thierry Priol:
Developing Autonomic and Secure Virtual Organisations with Chemical Programming. 75-89 - Joffroy Beauquier, Janna Burman, Shay Kutten:
Making Population Protocols Self-stabilizing. 90-104 - Cinzia Bernardeschi
, Paolo Masci
, Holger Pfeifer:
Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. 105-119 - Martin Biely, Martin Hutle:
Consensus When All Processes May Be Byzantine for Some Time. 120-132 - Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis:
A Superstabilizing log(n)-Approximation Algorithm for Dynamic Steiner Trees. 133-148 - François Bonnet
, Michel Raynal:
Looking for the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems: Is ${\it \Pi}_k${\it \Pi}_k the End of the Road? 149-164 - Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks. 165-179 - Mary-Luc Champel, Anne-Marie Kermarrec, Nicolas Le Scouarnec:
FoG: Fighting the Achilles' Heel of Gossip Protocols with Fountain Codes. 180-194 - Alain Cournier, Swan Dubois
, Vincent Villain:
How to Improve Snap-Stabilizing Point-to-Point Communication Space Complexity? 195-208 - Anurag Dasgupta, Sukumar Ghosh, Xin Xiao:
Fault-Containment in Weakly-Stabilizing Systems. 209-223 - R. E. Lee DeVille, Sayan Mitra
:
Stability of Distributed Algorithms in the Face of Incessant Faults. 224-237 - Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer
, Bernd Becker
:
Dependability Engineering of Silent Self-stabilizing Systems. 238-253 - Giovanna Di Marzo Serugendo
:
Robustness and Dependability of Self-Organizing Systems - A Safety Engineering Perspective. 254-268 - Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri
:
Efficient Robust Storage Using Secret Tokens. 269-283 - Danny Dolev, Ezra N. Hoch, Yoram Moses:
An Optimal Self-stabilizing Firing Squad. 284-296 - Shlomi Dolev, Marina Kopeetsky:
Anonymous Transactions in Computer Networks. 297-310 - Mohamed G. Gouda, Hrishikesh B. Acharya:
Nash Equilibria in Stabilizing Systems. 311-324 - Ning Gui, Vincenzo De Florio
, Hong Sun
, Chris Blondia:
ACCADA: A Framework for Continuous Context-Aware Deployment and Adaptation. 325-340 - Volker Turau, Bernd Hauck:
A Self-stabilizing Approximation Algorithm for Vertex Cover in Anonymous Networks. 341-353 - Kajari Ghosh Dastidar, Ted Herman:
Separation of Circulating Tokens. 354-368 - Damien Imbs, Michel Raynal:
Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation. 369-383 - Taisuke Izumi, Tomoko Izumi, Sayaka Kamei
, Fukuhito Ooshita:
Randomized Gathering of Mobile Robots with Local-Multiplicity Detection. 384-398 - Márk Jelasity
, Vilmos Bilicki
:
Scalable P2P Overlays of Very Small Constant Degree: An Emerging Security Threat. 399-412 - Bo Jiang, Binoy Ravindran
, Hyeonjoong Cho:
CFlood: A Constrained Flooding Protocol for Real-time Data Delivery in Wireless Sensor Networks. 413-427 - Hirotsugu Kakugawa, Yukiko Yamauchi, Sayaka Kamei
, Toshimitsu Masuzawa:
Cached Sensornet Transformation of Non-silent Self-stabilizing Algorithms with Unreliable Links. 428-442 - Jun Kiniwa, Kensaku Kikuta:
Analysis of an Intentional Fault Which Is Undetectable by Local Checks under an Unfair Scheduler. 443-457 - Anvesh Komuravelli, Matús Mihalák:
Exploring Polygonal Environments by Simple Robots with Faulty Combinatorial Vision. 458-471 - Stevens Le Blond, Fabrice Le Fessant, Erwan Le Merrer:
Finding Good Partners in Availability-Aware P2P Networks. 472-484 - Sergey Legtchenko, Sébastien Monnet, Pierre Sens, Gilles Muller:
Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables. 485-499 - Philippe Leroux, Sébastien Roy
:
Distributed Power Control with Multiple Agents in a Distributed Base Station Scheme Using Macrodiversity. 500-514 - Xin Liu, Anwitaman Datta
:
Redundancy Maintenance and Garbage Collection Strategies in Peer-to-Peer Storage Systems. 515-530 - Federico Mari
, Igor Melatti, Ivano Salvo, Enrico Tronci
, Lorenzo Alvisi, Allen Clement, Harry C. Li:
Model Checking Coalition Nash Equilibria in MAD Distributed Systems. 531-546 - Andrea Marongiu, Andrea Acquaviva, Luca Benini
:
OpenMP Support for NBTI-Induced Aging Tolerance in MPSoCs. 547-562 - Rodica Mihai, Morten Mjelde:
A Self-stabilizing Algorithm for Graph Searching in Trees. 563-577 - Thomas Polzer, Thomas Handl, Andreas Steininger
:
A Metastability-Free Multi-synchronous Communication Scheme for SoCs. 578-592 - Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes
, Matti A. Hiltunen, Richard D. Schlichting:
From Local Impact Functions to Global Adaptation of Service Compositions. 593-608 - Lifeng Sang, Anish Arora:
A Wireless Security Framework without Shared Secrets. 609-623 - Mario Mense, Christian Schindelhauer:
Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks. 624-639 - André Schumacher, Harri Haanpää:
Distributed Sleep Scheduling in Wireless Sensor Networks via Fractional Domatic Partitioning. 640-654 - Sabina Serbu, Etienne Rivière, Pascal Felber
:
Network-Friendly Gossiping. 655-669 - Wei Shi
:
Black Hole Search with Tokens in Interconnected Networks. 670-682 - Samia Souissi, Taisuke Izumi, Koichi Wada:
Oracle-Based Flocking of Mobile Robots in Crash-Recovery Model. 683-697 - Martin Süßkraut, Stefan Weigert, Ute Schiffel, Thomas Knauth, Martin Nowack
, Diogo Becker de Brum, Christof Fetzer:
Speculation for Parallelizing Runtime Checks. 698-710 - Mohammad Torabi Dashti:
Optimistic Fair Exchange Using Trusted Devices. 711-725 - Olivier Sarrouy, Eric Totel, Bernard Jouga:
Application Data Consistency Checking for Anomaly Based Intrusion Detection. 726-740 - Gérard Wagener, Radu State, Alexandre Dulaunoy, Thomas Engel:
Self Adaptive High Interaction Honeypots Driven by Game Theory. 741-755 - Jing Xu, Ming Zhao, José A. B. Fortes:
Cooperative Autonomic Management in Dynamic Distributed Systems. 756-770
Brief Announcements
- Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda:
Brief Announcement: Consistent Fixed Points and Negative Gain. 771-772 - Emmanuelle Anceaume, Francisco Vilar Brasileiro, Romaric Ludinard
, Bruno Sericola, Frederic Tronel:
Brief Announcement: Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems. 773-774 - Sylvie Delaët, Shlomi Dolev, Olivier Peres:
Safer Than Safe: On the Initial State of Self-stabilizing Systems. 775-776 - Shlomi Dolev, Limor Lahiani, Yinnon A. Haviv:
Brief Announcement: Unique Permutation Hashing. 777-778 - Shlomi Dolev, Nir Tzachar:
Randomization Adaptive Self-stabilization. 779-780 - Dominik Gall, Riko Jacob, Andréa W. Richa, Christian Scheideler, Stefan Schmid
, Hanjo Täubig:
Brief Announcement: On the Time Complexity of Distributed Topological Self-stabilization. 781-782 - Ruan He, Marc Lacoste, Jean Leneutre:
Brief Announcement: An OS Architecture for Device Self-protection. 783-784 - Christian Henrich, Matthias Huber, Carmen Kempka, Jörn Müller-Quade, Mario Strefler:
Brief Announcement: Towards Secure Cloud Computing. 785-786 - Colette Johnen, Fouzi Mekhaldi:
Brief Announcement: Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters. 787-788 - Mehmet Hakan Karaata, Rachid Hadid:
Brief Announcement: A Stabilizing Algorithm for Finding Two Disjoint Paths in Arbitrary Networks. 789-790 - Pierre Leone, Marina Papatriantafilou
, Elad Michael Schiller:
Relocation Analysis of Stabilizing MAC. 791-792 - Cristian Martín, Mikel Larrea
:
Brief Announcement: A Simple and Quiescent Omega Algorithm in the Crash-Recovery Model. 793-794 - Olivier Peres:
Brief Announcement: How to Overcome the Limits of Bounds. 795-796 - Dalibor Peric, Thomas Bocek, Fabio Victora Hecht, David Hausheer, Burkhard Stiller:
Brief Announcement: The Design and Evaluation of a Distributed Reliable File System. 797-798
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.