![](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
16th SSS 2014: Paderborn, Germany
- Pascal Felber
, Vijay K. Garg:
Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings. Lecture Notes in Computer Science 8756, Springer 2014, ISBN 978-3-319-11763-8 - Christian Cachin, Dan Dobre, Marko Vukolic:
Separating Data and Control: Asynchronous BFT Storage with 2t + 1 Data Replicas. 1-17 - Lélia Blin, Pierre Fraigniaud, Boaz Patt-Shamir:
On Proof-Labeling Schemes versus Silent Self-stabilizing Algorithms. 18-32 - Giang Nguyen
, Mathias Fischer, Thorsten Strufe:
On the Resilience of Pull-Based P2P Streaming Systems against DoS Attacks. 33-47 - Dianne Foreback, Andreas Koutsopoulos, Mikhail Nesterenko, Christian Scheideler, Thim Strothmann:
On Stabilizing Departures in Overlay Networks. 48-62 - Marc Kührer, Johannes Hoffmann, Thorsten Holz
:
CloudSylla: Detecting Suspicious System Calls in the Cloud. 63-77 - Gil Einziger, Roy Friedman:
Postman: An Elastic Highly Resilient Publish/Subscribe Framework for Self Sustained Service Independent P2P Networks. 78-92 - Brahim Neggazi, Mohammed Haddad, Volker Turau, Hamamache Kheddouci:
A Self-stabilizing Algorithm for Edge Monitoring Problem. 93-105 - Karine Altisen, Alain Cournier, Stéphane Devismes
, Anaïs Durand
, Franck Petit:
Self-stabilizing Leader Election in Polynomial Steps. 106-119 - Christian Glacet, Nicolas Hanusse, David Ilcinkas, Colette Johnen
:
Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Networks. 120-134 - Thomas Janson, Christian Schindelhauer
:
Self-synchronized Cooperative Beamforming in Ad-Hoc Networks. 135-149 - Giuseppe Antonio Di Luna, Paola Flocchini, Sruti Gan Chaudhuri, Nicola Santoro
, Giovanni Viglietta:
Robots with Lights: Overcoming Obstructed Visibility Without Colliding. 150-164 - Fathiyeh Faghih, Borzoo Bonakdarpour:
SMT-Based Synthesis of Distributed Self-stabilizing Systems. 165-179 - Shlomi Dolev, Ramzi Martin Kahil, Reuven Yagel:
Stateless Stabilization Bootstrap (Extended Abstract). 180-194 - George Saad, Jared Saia:
Self-healing Computation. 195-210 - Gabriele Di Stefano, Alfredo Navarra:
Optimal Gathering on Infinite Grids. 211-225 - Ehab S. Elmallah, Hrishikesh B. Acharya, Mohamed G. Gouda:
Incremental Verification of Computing Policies. 226-236 - Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil:
On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering. 237-251 - Alex P. Klinkhamer, Ali Ebnenasir:
Synthesizing Self-stabilization through Superposition and Backtracking. 252-267 - Yue Qiao, Kannan Srinivasan, Anish Arora:
Configuration Hopping: A Secure Communication Protocol without Explicit Key Exchange. 268-282 - Seda Davtyan, Kishori M. Konwar, Alexander A. Shvartsman
:
Dependable Decentralized Cooperation with the Help of Reliability Estimation. 283-298 - Florence Levé, Khaled Mohamed, Vincent Villain:
Snap-Stabilizing PIF on Non-oriented Trees and Message Passing Model. 299-313 - Alexandre Maurer, Toshimitsu Masuzawa:
Edge Coloring Despite Transient and Permanent Faults. 314-327 - Hung Tran-The, Luís E. T. Rodrigues:
Tight Bounds for Stabilizing Uniform Consensus in Mobile Networks. 328-342
![](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.