| Document Type
|
:
|
BL
|
| Record Number
|
:
|
860004
|
| Main Entry
|
:
|
SSS (Symposium)(20th :2018 :, Tokyo, Japan)
|
| Title & Author
|
:
|
Stabilization, safety, and security of distributed systems : : 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings /\ Taisuke Izumi, Petr Kuznetsov (eds.).
|
| Publication Statement
|
:
|
Cham, Switzerland :: Springer,, 2018.
|
| Series Statement
|
:
|
Lecture notes in computer science ;; 11201
|
|
|
:
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues
|
| Page. NO
|
:
|
1 online resource (xiii, 410 pages) :: illustrations
|
| ISBN
|
:
|
3030032310
|
|
|
:
|
: 3030032329
|
|
|
:
|
: 3030032337
|
|
|
:
|
: 9783030032319
|
|
|
:
|
: 9783030032326
|
|
|
:
|
: 9783030032333
|
|
|
:
|
9783030032319
|
| Notes
|
:
|
Includes author index.
|
|
|
:
|
International conference proceedings.
|
| Contents
|
:
|
Intro -- Preface -- Organization -- Contents -- A Self-stabilizing Hashed Patricia Trie -- 1 Introduction -- 1.1 Model -- 1.2 Related Work -- 1.3 Our Contribution -- 2 Hashed Patricia Trie -- 3 The SHPT Protocol -- 3.1 Properties of the DHT -- 3.2 Correcting Edge Information -- 3.3 Maintaining Connections -- 3.4 Removal/Creation of Nodes -- 3.5 Distribution of References to Keys -- 4 Protocol Analysis -- 4.1 Correctness -- 4.2 Overhead -- References -- Self-stabilizing Overlays for High-Dimensional Monotonic Searchability -- 1 Introduction -- 1.1 Model -- 1.2 Problem Statement
|
|
|
:
|
1.3 Our Contribution -- 1.4 Related Work -- 2 Topology and Legitimate State -- 3 Protocol Description -- 3.1 List Edges -- 3.2 Quad Edges -- 3.3 Routing -- 4 Analysis -- 4.1 Quadtree -- 4.2 Geographic Monotonic Searchability -- 5 Conclusion and Future Work -- References -- An Adaptive Logging Framework for Persistent Memories -- 1 Introduction -- 2 Model -- 3 Adaptive Logging Framework -- 4 Experimental Evaluation -- 5 Concluding Remarks -- References -- On Underlay-Aware Self-Stabilizing Overlay Networks -- 1 Introduction -- 1.1 Model and Definitions -- 1.2 Our Contribution -- 2 Related Work
|
|
|
:
|
3 Preliminaries -- 4 Protocol -- 5 Analysis -- 6 Conclusion and Outlook -- References -- A O(logn) Distributed Algorithm to Construct Routing Structures for Pub/Sub Systems -- 1 Introduction -- 1.1 State of the Art -- 1.2 Computational Model and Assumptions -- 2 Informal Description of Algorithm AFiber -- 2.1 Relationship to Routing Scheme PSVR -- 3 Formal Description of Algorithm AFiber -- 3.1 Phase 0 -- 3.2 Phase 1 -- 3.3 Middle Phases -- 3.4 The Final Phase -- 4 Analysis of Algorithm AFiber for Random Graphs -- 4.1 Phase 1 -- 4.2 Middle Phases -- 4.3 The Final Phase -- 5 Extensions
|
|
|
:
|
3.2 Variant (2) -- with Local Knowledge
|
|
|
:
|
6 Conclusion -- References -- Self-stabilization and Byzantine Tolerance for Maximal Matching -- 1 Introduction and State of the Arts -- 2 Model -- 3 Maximal Matchings -- 3.1 Problem Specification -- 3.2 From legitimacy to weakly-legitimacy -- 4 2-Spec under the Distributed Daemon -- 5 1-Spec Under the Central Daemon -- 6 About 1-Spec and the Distributed Daemon -- References -- Exploration of Finite 2D Square Grid by a Metamorphic Robotic System -- 1 Introduction -- 2 Preliminary -- 3 Exploration with Global Compass -- 4 Exploration Without Global Compass -- 5 Conclusion and Future Work
|
| Abstract
|
:
|
This book constitutes the refereed proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018, held in Tokyo, Japan, in November 2018. The 24 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized into three tracks reflecting major trends related to distributed systems: theoretical and practical aspects of stabilizing systems; distributed networks and concurrency; and safety in malicious environments.
|
| Subject
|
:
|
Computer security, Congresses.
|
| Subject
|
:
|
Electronic data processing-- Distributed processing-- Safety measures, Congresses.
|
| Subject
|
:
|
Self-stabilization (Computer science), Congresses.
|
| Subject
|
:
|
Artificial intelligence.
|
| Subject
|
:
|
Computer architecture logic design.
|
| Subject
|
:
|
Computer security.
|
| Subject
|
:
|
Computers-- Expert Systems.
|
| Subject
|
:
|
Computers-- Hardware-- Network Hardware.
|
| Subject
|
:
|
Computers-- Information Technology.
|
| Subject
|
:
|
Computers-- Intelligence (AI) Semantics.
|
| Subject
|
:
|
Computers-- Logic Design.
|
| Subject
|
:
|
Computers-- Operating Systems-- General.
|
| Subject
|
:
|
Expert systems-- knowledge-based systems.
|
| Subject
|
:
|
Network hardware.
|
| Subject
|
:
|
Operating systems.
|
| Subject
|
:
|
Self-stabilization (Computer science)
|
| Subject
|
:
|
Systems analysis design.
|
| Dewey Classification
|
:
|
004/.36
|
| LC Classification
|
:
|
QA76.9.S54
|
| Added Entry
|
:
|
Izumi, Taisuke
|
|
|
:
|
Kuznetsov, Petr
|
| Parallel Title
|
:
|
SSS 2018
|