عنوان
پدید آورنده
موضوع
رده
QA76.9.S54
QA76
.
9
.
S54
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3030032310
(Number (ISBN
3030032329
(Number (ISBN
3030032337
(Number (ISBN
9783030032319
(Number (ISBN
9783030032326
(Number (ISBN
9783030032333
Erroneous ISBN
9783030032319
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Stabilization, safety, and security of distributed systems :
General Material Designation
[Book]
Other Title Information
20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings /
First Statement of Responsibility
Taisuke Izumi, Petr Kuznetsov (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham, Switzerland :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2018.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xiii, 410 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Lecture notes in computer science ;
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
11201
GENERAL NOTES
Text of Note
Includes author index.
Text of Note
International conference proceedings.
CONTENTS NOTE
Text of Note
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
Text of Note
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
Text of Note
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
Text of Note
3.2 Variant (2) -- with Local Knowledge
Text of Note
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
0
8
8
8
8
SUMMARY OR ABSTRACT
Text of Note
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.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783030032326
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9783030032319
International Standard Book Number
9783030032333
PARALLEL TITLE PROPER
Parallel Title
SSS 2018
TOPICAL NAME USED AS SUBJECT
Computer security, Congresses.
Electronic data processing-- Distributed processing-- Safety measures, Congresses.
Self-stabilization (Computer science), Congresses.
Artificial intelligence.
Computer architecture & logic design.
Computer security.
Computers-- Expert Systems.
Computers-- Hardware-- Network Hardware.
Computers-- Information Technology.
Computers-- Intelligence (AI) & Semantics.
Computers-- Logic Design.
Computers-- Operating Systems-- General.
Expert systems-- knowledge-based systems.
Network hardware.
Operating systems.
Self-stabilization (Computer science)
Systems analysis & design.
(SUBJECT CATEGORY (Provisional
COM075000
UKN
UKN
DEWEY DECIMAL CLASSIFICATION
Number
004/
.
36
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
S54
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Izumi, Taisuke
Kuznetsov, Petr
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
SSS (Symposium)(20th :2018 :, Tokyo, Japan)
ORIGINATING SOURCE
Date of Transaction
20200823075136.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
