Coverart for item
The Resource 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.)

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.)

Label
Stabilization, safety, and security of distributed systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
Title
Stabilization, safety, and security of distributed systems
Title remainder
14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
Statement of responsibility
Andréa W. Richa, Christian Scheideler (eds.)
Title variation
SSS 2012
Creator
Contributor
Subject
Genre
Language
eng
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
Member of
Cataloging source
GW5XE
Dewey number
004.2
Index
index present
LC call number
QA76.9.S54
LC item number
S67 2012
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2012
http://bibfra.me/vocab/lite/meetingName
SSS (Symposium)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Richa, Andréa W
  • Scheideler, Christian
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
7596
http://library.link/vocab/subjectName
  • Self-stabilization (Computer science)
  • Computer networks
  • Computer networks
  • Electronic data processing
  • Informatique
  • Computer networks
  • Computer networks
  • Electronic data processing
  • Self-stabilization (Computer science)
Label
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.)
Instantiates
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 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
  • 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
  • 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
  • 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
  • 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:
  • From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering
  • Arbitrators in the Security Infrastructure
  • Shlomi Dolev, Niv Gilboa and Ofer Hermoni
  • 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
  • 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
  • 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
Control code
812289661
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783642335365
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-33536-5
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)812289661
Label
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.)
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 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
  • 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
  • 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
  • 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
  • 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:
  • From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering
  • Arbitrators in the Security Infrastructure
  • Shlomi Dolev, Niv Gilboa and Ofer Hermoni
  • 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
  • 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
  • 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
Control code
812289661
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783642335365
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-33536-5
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)812289661

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...