Stabilization, safety, and security of distributed systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings / Andréa W. Richa, Christian Scheideler (eds.).

By: (14th : SSS (Symposium) (14th : 2012 : Toronto, Ont.)
Contributor(s): Richa, Andréa W | Scheideler, Christian
Material type: TextTextSeries: SerienbezeichnungLecture notes in computer science: 7596.; LNCS sublibrary: Publisher: Berlin ; New York : Springer, ©2012Description: 1 online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783642335365; 3642335365; 3642335357; 9783642335358Other title: SSS 2012Subject(s): 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) | 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)Genre/Form: Electronic books. | Conference papers and proceedings. | Computer software. Additional physical formats: Printed edition:: No titleDDC classification: 004.2 LOC classification: QA76.9.S54 | S67 2012Online resources: Click here to access online
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 -- Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults / Mahyar R. Malekpour -- 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.
The Degrading Effect of Forgetting on a Synchronizer / Matthias Függer, Alexander Kößler, Thomas Nowak and Martin Zeiner -- 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 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 -- Verification of Stabilizing Programs with SMT Solvers / Jingshu Chen and Sandeep Kulkarni -- 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 -- KARYON: Towards Safety Kernels for Cooperative Vehicular Systems / António Casimiro, Jörg Kaiser, Johan Karlsson, Elad Michael Schiller and Philippas Tsigas, et al. -- 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 -- Detecting Users' Connectivity on Online Social Networks / Na Li, Sajal K. Das and Nan Zhang -- 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

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.

International conference proceedings.

Includes bibliographical references and author index.

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.

There are no comments for this item.

to post a comment.

Powered by Koha