default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th 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
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 2025-01-24 17:18 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:
