عنوان
پدید آورنده
موضوع
رده
QA76.9.S54
QA76
.
9
.
S54
کتابخانه
محل استقرار
شابک
شابک
3030032310
شابک
3030032329
شابک
3030032337
شابک
9783030032319
شابک
9783030032326
شابک
9783030032333
شابک اشتباه
9783030032319
عنوان و نام پديدآور
عنوان اصلي
Stabilization, safety, and security of distributed systems :
نام عام مواد
[Book]
ساير اطلاعات عنواني
20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings /
نام نخستين پديدآور
Taisuke Izumi, Petr Kuznetsov (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham, Switzerland :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2018.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xiii, 410 pages) :
ساير جزييات
illustrations
فروست
عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
11201
يادداشت کلی
متن يادداشت
Includes author index.
متن يادداشت
International conference proceedings.
یادداشتهای مربوط به مندرجات
متن يادداشت
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
بدون عنوان
0
بدون عنوان
8
بدون عنوان
8
بدون عنوان
8
بدون عنوان
8
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
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.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783030032326
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9783030032319
شماره استاندارد بين المللي کتاب و موسيقي
9783030032333
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
SSS 2018
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
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.
مقوله موضوعی
موضوع مستند نشده
COM075000
موضوع مستند نشده
UKN
موضوع مستند نشده
UKN
رده بندی ديویی
شماره
004/
.
36
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
S54
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Izumi, Taisuke
مستند نام اشخاص تاييد نشده
Kuznetsov, Petr
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
SSS (Symposium)(20th :2018 :, Tokyo, Japan)
مبدا اصلی
تاريخ عمليات
20200823075136.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
