دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Stabilization, Safety, and Security of Distributed Systems: 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings
دانلود کتاب تثبیت ، ایمنی و امنیت سیستم های توزیع شده: شانزدهمین سمپوزیوم بین المللی ، SSS 2014 ، Paderborn ، آلمان ، 28 سپتامبر - 1 اکتبر 2014. مجموعه مقالات
مشخصات کتاب
Stabilization, Safety, and Security of Distributed Systems: 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings
ویرایش: 1
نویسندگان: Pascal Felber. Vijay Garg (eds.)
سری: Lecture Notes in Computer Science 8756 Theoretical Computer Science and General Issues
ISBN (شابک) : 9783319117638, 9783319117645
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 381
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 49,000
در صورت تبدیل فایل کتاب Stabilization, Safety, and Security of Distributed Systems: 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تثبیت ، ایمنی و امنیت سیستم های توزیع شده: شانزدهمین سمپوزیوم بین المللی ، SSS 2014 ، Paderborn ، آلمان ، 28 سپتامبر - 1 اکتبر 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تثبیت ، ایمنی و امنیت سیستم های توزیع شده: شانزدهمین سمپوزیوم بین المللی ، SSS 2014 ، Paderborn ، آلمان ، 28 سپتامبر - 1 اکتبر 2014. مجموعه مقالات
این کتاب مجموعه مقالات داوری شانزدهمین سمپوزیوم بین المللی پایدارسازی، ایمنی و امنیت سیستم های توزیع شده، SSS 2013، که در اوزاکا، ژاپن، در سپتامبر/اکتبر 2014 برگزار شد، است. 21 مقاله منظم و 8 مقاله کوتاه ارائه شده با دقت ارائه شده است بررسی و از بین 44 مورد ارسالی انتخاب شد. سمپوزیوم در چندین مسیر سازماندهی شده است که موضوعاتی را به ویژگی های خود* منعکس می کند. مسیرها خود تثبیت می شوند. تک کاره؛ شبکه های حسگر و موبایل؛ سیستم های فیزیکی سایبری؛ سیستم های مقاوم در برابر خطا و قابل اعتماد؛ روش های رسمی؛ ایمنی و امنیت؛ و رایانش ابری؛ P2P; خود سازماندهی؛ و سیستم های خودمختار.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 16 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in September/October 2014. The 21 regular papers and 8 short papers presented were carefully reviewed and selected from 44 submissions. The Symposium is organized in several tracks, reflecting topics to self-* properties. The tracks are self-stabilization; ad-hoc; sensor and mobile networks; cyberphysical systems; fault-tolerant and dependable systems; formal methods; safety and security; and cloud computing; P2P; self-organizing; and autonomous systems.
فهرست مطالب
Front Matter....Pages -
Separating Data and Control: Asynchronous BFT Storage with 2 t + 1 Data Replicas....Pages 1-17
On Proof-Labeling Schemes versus Silent Self-stabilizing Algorithms....Pages 18-32
On the Resilience of Pull-Based P2P Streaming Systems against DoS Attacks....Pages 33-47
On Stabilizing Departures in Overlay Networks....Pages 48-62
CloudSylla : Detecting Suspicious System Calls in the Cloud....Pages 63-77
Postman: An Elastic Highly Resilient Publish/Subscribe Framework for Self Sustained Service Independent P2P Networks....Pages 78-92
A Self-stabilizing Algorithm for Edge Monitoring Problem....Pages 93-105
Self-stabilizing Leader Election in Polynomial Steps....Pages 106-119
Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Networks....Pages 120-134
Self-synchronized Cooperative Beamforming in Ad-Hoc Networks....Pages 135-149
Robots with Lights: Overcoming Obstructed Visibility Without Colliding....Pages 150-164
SMT-Based Synthesis of Distributed Self-stabilizing Systems....Pages 165-179
Stateless Stabilization Bootstrap (Extended Abstract)....Pages 180-194
Self-healing Computation....Pages 195-210
Optimal Gathering on Infinite Grids....Pages 211-225
Incremental Verification of Computing Policies....Pages 226-236
On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering....Pages 237-251
Synthesizing Self-stabilization through Superposition and Backtracking....Pages 252-267
Configuration Hopping: A Secure Communication Protocol without Explicit Key Exchange....Pages 268-282
Dependable Decentralized Cooperation with the Help of Reliability Estimation....Pages 283-298
Snap-Stabilizing PIF on Non-oriented Trees and Message Passing Model....Pages 299-313
Edge Coloring Despite Transient and Permanent Faults....Pages 314-327
Tight Bounds for Stabilizing Uniform Consensus in Mobile Networks....Pages 328-342
Back Matter....Pages -
