| Description |
1 online resource |
| Series |
Lecture notes in computer science, 0302-9743 ; 7596 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 7596.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| Contents |
Communication-Efficient Self-stabilization in Wireless Networks / Tomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa and Toshimitsu Masuzawa -- Self-stabilizing Local k-Placement of Replicas with Minimal Variance / Sven Köhler, Volker Turau and Gerhard Mentges -- Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles / Brahim Neggazi, Mohammed Haddad and Hamamache Kheddouci -- Brief Announcement: Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults / Mahyar R. Malekpour -- Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network / Ajoy K. Datta, Stéphane Devismes and Lawrence L. Larmore -- On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings / Fukuhito Ooshita and Sébastien Tixeuil -- Optimal Grid Exploration by Asynchronous Oblivious Robots / Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond and Sébastien Tixeuil -- Terminating Population Protocols via Some Minimal Global Knowledge Assumptions / Othon Michail, Ioannis Chatzigiannakis and Paul G. Spirakis |
|
Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer / Matthias Függer, Alexander Kößler, Thomas Nowak and Martin Zeiner -- Brief Announcement: Mobile Agent Rendezvous on Edge Evolving Rings / Tomoko Izumi, Yukiko Yamauchi and Sayaka Kamei -- High-Level Executable Specifications of Distributed Algorithms / Yanhong A. Liu, Scott D. Stoller and Bo Lin -- Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud / Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang and Makan Pourzandi -- Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback / Jordan Adamek, Mikhail Nesterenko and Sébastien Tixeuil -- Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks (Extended Abstract) / Shlomi Dolev, Ariel Hanemann, Elad Michael Schiller and Shantanu Sharma -- Self-stabilizing Distributed Data Fusion / Bertrand Ducourthial, Véronique Cherfaoui and Thierry Denoeux |
|
From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering / Colette Johnen and Fouzi Mekhaldi -- Brief Announcement: Verification of Stabilizing Programs with SMT Solvers / Jingshu Chen and Sandeep Kulkarni -- Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems / Can Arda Muftuoglu, Péter Bokor and Neeraj Suri -- Oblivious Assignment with m Slots / Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi and Giuseppe Antonio Di Luna -- BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters / Mohammad Alaggan, Sébastien Gambs and Anne-Marie Kermarrec -- DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments / Johannes Behl, Tobias Distler and Rüdiger Kapitza -- Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems / António Casimiro, Jörg Kaiser, Johan Karlsson, Elad Michael Schiller and Philippas Tsigas, et al. -- Brief Announcement: Arbitrators in the Security Infrastructure / Shlomi Dolev, Niv Gilboa and Ofer Hermoni |
|
Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems / Eddy Caron, Florent Chuffart, Anissa Lamani and Franck Petit -- Scalable Byzantine Agreement with a Random Beacon / Olumuyiwa Oluwasanmi and Jared Saia -- On Finding Better Friends in Social Networks / Philipp Brandes and Roger Wattenhofer -- Brief Announcement: Detecting Users' Connectivity on Online Social Networks / Na Li, Sajal K. Das and Nan Zhang -- Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols / François Bonnet, Xavier Défago, Franck Petit, Maria Gradinariu Potop-Butucaru and Sébastien Tixeuil -- All-to-All Gradecast Using Coding with Byzantine Failures / John F. Bridgman III and Vijay K. Garg -- Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered Agents / Paola Flocchini, Matthew Kellett, Peter C. Mason and Nicola Santoro -- A Theory of Fault Recovery for Component-Based Models / Borzoo Bonakdarpour, Marius Bozga and Gregor Gössler |
| Summary |
This book constitutes the refereed proceedings of the 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2012, held in Toronto, Canada, in October 2012. The 21 full papers and 10 brief announcements presented in this volume were carefully reviewed and selected from 75 submissions. The conference provides a wide spectrum of topics, covered in the following tracks: self-stabilization, ad-hoc and sensor networks, fault-tolerance and dependable systems, safety and security, cloud computing, formal methods, social networks, peer-to-peer, self-organizing and autonomic systems |
| Analysis |
Computer science |
|
Computer Communication Networks |
|
Software engineering |
|
Data protection |
|
Computer software |
|
Logic design |
|
Information Systems Applications (incl. Internet) |
|
Logics and Meanings of Programs |
|
Algorithm Analysis and Problem Complexity |
|
Systems and Data Security |
|
computerwetenschappen |
|
computer sciences |
|
informatiesystemen |
|
information systems |
|
internet |
|
algoritmen |
|
algorithms |
|
computeranalyse |
|
computer analysis |
|
gegevensbeheer |
|
data management |
|
computernetwerken |
|
computer networks |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Notes |
International conference proceedings |
| Bibliography |
Includes bibliographical references and author index |
| Subject |
Self-stabilization (Computer science) -- Congresses
|
|
Computer networks -- Security measures -- Congresses
|
|
Computer networks -- Reliability -- Congresses
|
|
Electronic data processing -- Distributed processing -- Congresses
|
|
Informatique.
|
|
Computer networks -- Reliability
|
|
Computer networks -- Security measures
|
|
Electronic data processing -- Distributed processing
|
|
Self-stabilization (Computer science)
|
| Genre/Form |
Conference papers and proceedings
|
|
Software.
|
| Form |
Electronic book
|
| Author |
Richa, Andréa W
|
|
Scheideler, Christian.
|
| ISBN |
9783642335365 |
|
3642335365 |
|
3642335357 |
|
9783642335358 |
|
