دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Stabilization, Safety, and Security of Distributed Systems: 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings
دانلود کتاب تثبیت، ایمنی و امنیت سیستم های توزیع شده: هجدهمین سمپوزیوم بین المللی، SSS 2016، لیون، فرانسه، 7-10 نوامبر 2016، مجموعه مقالات
مشخصات کتاب
Stabilization, Safety, and Security of Distributed Systems: 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings
ویرایش: 1
نویسندگان: Borzoo Bonakdarpour. Franck Petit (eds.)
سری: Lecture Notes in Computer Science 10083
ISBN (شابک) : 9783319492599, 9783319492582
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 445
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 53,000
کلمات کلیدی مربوط به کتاب تثبیت، ایمنی و امنیت سیستم های توزیع شده: هجدهمین سمپوزیوم بین المللی، SSS 2016، لیون، فرانسه، 7-10 نوامبر 2016، مجموعه مقالات: شبکه های ارتباطی کامپیوتری، مهندسی نرم افزار، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، مدیریت محاسبات و سیستم های اطلاعاتی، تحلیل الگوریتم و پیچیدگی مسائل، سیستم ها و امنیت داده ها
در صورت تبدیل فایل کتاب Stabilization, Safety, and Security of Distributed Systems: 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تثبیت، ایمنی و امنیت سیستم های توزیع شده: هجدهمین سمپوزیوم بین المللی، SSS 2016، لیون، فرانسه، 7-10 نوامبر 2016، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تثبیت، ایمنی و امنیت سیستم های توزیع شده: هجدهمین سمپوزیوم بین المللی، SSS 2016، لیون، فرانسه، 7-10 نوامبر 2016، مجموعه مقالات
این کتاب مجموعه مقالات داوری هجدهمین سمپوزیوم بین‌المللی
تثبیت، ایمنی و امنیت سیستم‌های توزیع‌شده، SSS 2016، در لیون،
فرانسه، در نوامبر 2016 است.
در این سال کمیته برنامه در سه گروه سازمان‌دهی شد. گروه‌هایی
که گرایش‌های اصلی مربوط به سیستم‌های خود* را منعکس می‌کنند:
(الف) خود* و محاسبات خودمختار، (ب) پایه‌ها، و (ج) شبکه‌ها،
سیستم‌های چند عامله، و تحرک.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 18th
International Symposium on Stabilization, Safety, and
Security of Distributed Systems, SSS 2016, held in Lyon,
France, in November 2016.
This year the Program Committee was organized into three
groups reflecting the major trends related to self-* systems:
(a) Self-* and Autonomic Computing, (b)Foundations, and (c)
Networks, Multi-Agent Systems, and Mobility.
فهرست مطالب
Front Matter....Pages I-XIII
Leader Election in Rings with Bounded Multiplicity (Short Paper)....Pages 1-6
Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm....Pages 7-19
Self-stabilizing Byzantine-Tolerant Distributed Replicated State Machine....Pages 20-35
Self-stabilizing Robots in Highly Dynamic Environments....Pages 36-53
Packet Efficient Implementation of the Omega Failure Detector....Pages 54-69
Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper)....Pages 70-87
Flocking with Oblivious Robots....Pages 88-93
Making Local Algorithms Wait-Free: The Case of Ring Coloring....Pages 94-108
Meta-algorithm to Choose a Good On-Line Prediction (Short Paper)....Pages 109-125
On-Line Path Computation and Function Placement in SDNs....Pages 126-130
Infinite Unlimited Churn (Short Paper)....Pages 131-147
Perfect Failure Detection with Very Few Bits....Pages 148-153
Snap-Stabilizing Tasks in Anonymous Networks....Pages 154-169
Polynomial Silent Self-Stabilizing p-Star Decomposition (Short Paper)....Pages 170-184
Analysis of Computing Policies Using SAT Solvers (Short Paper)....Pages 185-189
An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon Without Global Identifiers....Pages 190-194
Self-stabilizing Byzantine Clock Synchronization with Optimal Precision....Pages 195-212
Self-stabilizing Metric Graphs....Pages 213-230
Near-Optimal Self-stabilising Counting and Firing Squads....Pages 231-247
Snap-Stabilizing PIF on Arbitrary Connected Networks in Message Passing Model....Pages 248-262
Towards Efficient and Robust BFT Protocols with ER-BFT (Short Paper)....Pages 263-280
Global Versus Local Computations: Fast Computing with Identifiers (Short Paper)....Pages 281-297
Automatic Addition of Conflicting Properties....Pages 298-303
Complete Visibility for Robots with Lights in O(1) Time....Pages 304-309
Asynchronous Non-Bayesian Learning in the Presence of Crash Failures....Pages 310-326
Robust Multi-agent Optimization: Coping with Byzantine Agents with Input Redundancy....Pages 327-345
Plane Formation by Semi-synchronous Robots in the Three Dimensional Euclidean Space....Pages 346-351
Searching for an Evader in an Unknown Graph by an Optimal Number of Searchers....Pages 352-367
Wait-Free Solvability of Colorless Tasks in Anonymous Shared-Memory Model....Pages 368-382
Back Matter....Pages 383-398
....Pages 399-414
