![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
14th SSS 2012: Toronto, Canada
- Andréa W. Richa, Christian Scheideler:
Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings. Lecture Notes in Computer Science 7596, Springer 2012, ISBN 978-3-642-33535-8 - Tomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa:
Communication-Efficient Self-stabilization in Wireless Networks. 1-15 - Sven Köhler, Volker Turau, Gerhard Mentges:
Self-stabilizing Local k-Placement of Replicas with Minimal Variance. 16-30 - Brahim Neggazi, Mohammed Haddad, Hamamache Kheddouci:
Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles. 31-42 - Mahyar R. Malekpour:
Brief Announcement: Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults. 43-45 - Ajoy Kumar Datta, Stéphane Devismes
, Lawrence L. Larmore:
Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network. 46-48 - Fukuhito Ooshita, Sébastien Tixeuil:
On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings. 49-63 - Stéphane Devismes
, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil:
Optimal Grid Exploration by Asynchronous Oblivious Robots. 64-76 - Othon Michail
, Ioannis Chatzigiannakis
, Paul G. Spirakis:
Terminating Population Protocols via Some Minimal Global Knowledge Assumptions. 77-89 - Matthias Függer, Alexander Kößler, Thomas Nowak
, Martin Zeiner:
Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer. 90-91 - Tomoko Izumi, Yukiko Yamauchi, Sayaka Kamei
:
Brief Announcement: Mobile Agent Rendezvous on Edge Evolving Rings. 92-94 - Yanhong A. Liu, Scott D. Stoller, Bo Lin:
High-Level Executable Specifications of Distributed Algorithms. 95-110 - Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi
, Ying Zhang, Makan Pourzandi:
Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud. 111-125 - Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil:
Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback. 126-132 - Shlomi Dolev, Ariel Hanemann, Elad Michael Schiller
, Shantanu Sharma:
Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks - (Extended Abstract). 133-147 - Bertrand Ducourthial, Véronique Cherfaoui, Thierry Denoeux
:
Self-stabilizing Distributed Data Fusion. 148-162 - Colette Johnen, Fouzi Mekhaldi:
From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering. 163-178 - Jingshu Chen, Sandeep S. Kulkarni:
Brief Announcement: Verification of Stabilizing Programs with SMT Solvers. 179-182 - Can Arda Muftuoglu, Péter Bokor, Neeraj Suri
:
Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems. 183-186 - Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi
, Giuseppe Antonio Di Luna:
Oblivious Assignment with m Slots. 187-201 - Mohammad Alaggan
, Sébastien Gambs, Anne-Marie Kermarrec:
BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters. 202-216 - Johannes Behl, Tobias Distler, Rüdiger Kapitza:
DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments. 217-231 - António Casimiro
, Jörg Kaiser, Johan Karlsson, Elad Michael Schiller
, Philippas Tsigas
, Pedro Costa, José Parizi, Rolf Johansson, Renato Librino:
Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems. 232-235 - Shlomi Dolev, Niv Gilboa
, Ofer Hermoni:
Brief Announcement: Arbitrators in the Security Infrastructure. 236-238 - Eddy Caron, Florent Chuffart, Anissa Lamani, Franck Petit:
Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems. 239-252 - Olumuyiwa Oluwasanmi, Jared Saia:
Scalable Byzantine Agreement with a Random Beacon. 253-265 - Philipp Brandes, Roger Wattenhofer:
On Finding Better Friends in Social Networks. 266-278 - Na Li, Sajal K. Das
, Nan Zhang:
Brief Announcement: Detecting Users' Connectivity on Online Social Networks. 279-281 - François Bonnet
, Xavier Défago
, Franck Petit, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols. 282-284 - John Bridgman, Vijay K. Garg:
All-to-All Gradecast Using Coding with Byzantine Failures. 285-298 - Paola Flocchini, Matthew Kellett, Peter C. Mason, Nicola Santoro:
Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered Agents. 299-313 - Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler:
A Theory of Fault Recovery for Component-Based Models. 314-328
![](https://dblp1.uni-trier.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.