دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1st ed. 2019] نویسندگان: Mohsen Ghaffari, Mikhail Nesterenko, Sébastien Tixeuil, Sara Tucci, Yukiko Yamauchi سری: Lecture Notes in Computer Science 11914 ISBN (شابک) : 9783030349912, 9783030349929 ناشر: Springer International Publishing سال نشر: 2019 تعداد صفحات: XXIII, 384 [405] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 21 Mb
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Stabilization, Safety, and Security of Distributed Systems: 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تثبیت، ایمنی و امنیت سیستم های توزیع شده: بیست و یکمین سمپوزیوم بین المللی، SSS 2019، پیزا، ایتالیا، 22 تا 25 اکتبر 2019، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری بیست و یکمین سمپوزیوم بینالمللی پایدارسازی، ایمنی و امنیت سیستمهای توزیعشده، SSS 2019، که در پیزا، ایتالیا، در اکتبر 2019 برگزار شد، است.
21 مقاله کامل ارائهشده با دقت بررسی شدند و از بین 45 مورد ارسالی انتخاب شد. این مقالات به طراحی و توسعه سیستم های توزیع شده با تمرکز بر سیستم هایی می پردازند که قادر به ارائه ضمانت هایی در مورد ساختار، عملکرد و/یا امنیت آنها در مواجهه با یک محیط عملیاتی نامطلوب هستند.
This book constitutes the refereed proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2019, held in Pisa, Italy, in October 2019.
The 21 full papers presented were carefully reviewed and selected from 45 submissions. The papers deal with the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment.
Front Matter ....Pages i-xxiii
Invited Paper: On the Characterization of Blockchain Consensus Under Incentives (Sara Tucci-Piergiovanni)....Pages 1-15
Brief Announcement Forgive & Forget: Self-stabilizing Swarms in Spite of Byzantine Robots (Yotam Ashkenazi, Shlomi Dolev, Sayaka Kamei, Fukuhito Ooshita, Koichi Wada)....Pages 16-21
Stationary and Deterministic Leader Election in Self-organizing Particle Systems (Rida A. Bazzi, Joseph L. Briones)....Pages 22-37
Robust Privacy-Preserving Gossip Averaging (Amaury Bouchra Pilet, Davide Frey, Francois Taiani)....Pages 38-52
Synchronous t-Resilient Consensus in Arbitrary Graphs (Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers)....Pages 53-68
Tasks in Modular Proofs of Concurrent Algorithms (Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy)....Pages 69-83
On Gathering of Semi-synchronous Robots in Graphs (Serafino Cicerone, Gabriele Di Stefano, Alfredo Navarra)....Pages 84-98
Brief Announcement: Analysis of a Memory-Efficient Self-stabilizing BFS Spanning Tree Construction (Ajoy K. Datta, Stéphane Devismes, Colette Johnen, Lawrence L. Larmore)....Pages 99-104
Brief Announcement: Distributed Computing in the Asynchronous LOCAL Model (Carole Delporte-Gallet, Hugues Fauconnier, Pierre Fraigniaud, Mikaël Rabie)....Pages 105-110
An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms (Ha Thi Thu Doan, Adrián Riesco, Kazuhiro Ogata)....Pages 111-126
Brief Announcement: Self-stabilizing LCM Schedulers for Autonomous Mobile Robots Using Neighborhood Mutual Remainder (Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita, Koichi Wada)....Pages 127-132
Reducing the Number of Messages in Self-stabilizing Protocols (Anaïs Durand, Shay Kutten)....Pages 133-148
A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory (Michael Feldmann, Thorsten Götte, Christian Scheideler)....Pages 149-164
Exploration of Dynamic Ring Networks by a Single Agent with the H-hops and S-time Steps View (Tsuyoshi Gotoh, Yuichi Sudo, Fukuhito Ooshita, Toshimitsu Masuzawa)....Pages 165-177
iperfTZ: Understanding Network Bottlenecks for TrustZone-Based Trusted Applications (Christian Göttel, Pascal Felber, Valerio Schiavoni)....Pages 178-193
Atomic Cross-Chain Swaps with Improved Space and Local Time Complexity (Soichiro Imoto, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa)....Pages 194-208
Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems (Chirag Juyal, Sandeep Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani)....Pages 209-227
Improved-Zigzag: An Improved Local-Information-Based Self-optimizing Routing Algorithm in Virtual Grid Networks (Yonghwan Kim, Masahiro Shibata, Yuichi Sudo, Junya Nakamura, Yoshiaki Katayama, Toshimitsu Masuzawa)....Pages 228-242
Fault Tolerant Network Constructors (Othon Michail, Paul G. Spirakis, Michail Theofilatos)....Pages 243-255
Ring Exploration of Myopic Luminous Robots with Visibility More Than One (Shota Nagahama, Fukuhito Ooshita, Michiko Inoue)....Pages 256-271
Brief Announcement: Self-stabilizing Construction of a Minimal Weakly \(\mathcal {ST}\)-Reachable Directed Acyclic Graph (Junya Nakamura, Masahiro Shibata, Yuichi Sudo, Yonghwan Kim)....Pages 272-276
Adaptive Versioning in Transactional Memories (Pavan Poudel, Gokarna Sharma)....Pages 277-295
Brief Announcement Blockguard: Adaptive Blockchain Security (Shishir Rai, Kendric Hood, Mikhail Nesterenko, Gokarna Sharma)....Pages 296-300
Brief Announcement: Fully Anonymous Shared Memory Algorithms (Michel Raynal, Gadi Taubenfeld)....Pages 301-306
A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus (Hugo Rincon Galeana, Kyrill Winkler, Ulrich Schmid, Sergio Rajsbaum)....Pages 307-322
Logarithmic Expected-Time Leader Election in Population Protocol Model (Yuichi Sudo, Fukuhito Ooshita, Taisuke Izumi, Hirotsugu Kakugawa, Toshimitsu Masuzawa)....Pages 323-337
A Self-stabilizing 1-Maximal Independent Set Algorithm (Hideyuki Tanaka, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa, Ajoy K. Datta)....Pages 338-353
Black Hole Search Despite Byzantine Agents (Masashi Tsuchida, Fukuhito Ooshita, Michiko Inoue)....Pages 354-367
Self-adjusting Linear Networks (Chen Avin, Ingo van Duijn, Stefan Schmid)....Pages 368-382
Back Matter ....Pages 383-384