دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Stabilization, Safety, and Security of Distributed Systems: 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings
دانلود کتاب تثبیت ، ایمنی و امنیت سیستم های توزیع شده: هفدهمین سمپوزیوم بین المللی ، SSS 2015 ، ادمونتون ، AB ، کانادا ، 18 تا 21 آگوست 2015 ، مجموعه مقالات
مشخصات کتاب
Stabilization, Safety, and Security of Distributed Systems: 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings
ویرایش: 1
نویسندگان: Andrzej Pelc. Alexander A. Schwarzmann (eds.)
سری: Lecture Notes in Computer Science 9212
ISBN (شابک) : 9783319217406, 9783319217413
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 303
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 40,000
کلمات کلیدی مربوط به کتاب تثبیت ، ایمنی و امنیت سیستم های توزیع شده: هفدهمین سمپوزیوم بین المللی ، SSS 2015 ، ادمونتون ، AB ، کانادا ، 18 تا 21 آگوست 2015 ، مجموعه مقالات: شبکه های ارتباطی کامپیوتری، مهندسی نرم افزار، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، مدیریت محاسبات و سیستم های اطلاعاتی، منطق و معانی برنامه ها، سیستم ها و امنیت داده ها
در صورت تبدیل فایل کتاب Stabilization, Safety, and Security of Distributed Systems: 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تثبیت ، ایمنی و امنیت سیستم های توزیع شده: هفدهمین سمپوزیوم بین المللی ، SSS 2015 ، ادمونتون ، AB ، کانادا ، 18 تا 21 آگوست 2015 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تثبیت ، ایمنی و امنیت سیستم های توزیع شده: هفدهمین سمپوزیوم بین المللی ، SSS 2015 ، ادمونتون ، AB ، کانادا ، 18 تا 21 آگوست 2015 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری 17 سمپوزیوم بین المللی پایدارسازی، ایمنی و امنیت سیستم های توزیع شده، SSS 2015، برگزار شده در ادمونتون، AB، کانادا، در آگوست 2015 است. 16 مقاله منظم همراه با 8 اطلاعیه کوتاه ارائه شده است. و 3 سخنرانی اصلی به دقت بررسی و از بین 38 مورد ارسالی انتخاب شدند. سمپوزیوم در چندین مسیر سازماندهی شده است که موضوعاتی را به ویژگی های خود منعکس می کند. مسیرها خود تثبیت می شوند. تحمل خطا و قابلیت اطمینان؛ شبکه های موقت و حسگر؛ عوامل موبایل؛ امنیت سیستم در محاسبات توزیع شده؛ و روش های رسمی و الگوریتم های توزیع شده.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 17 International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2015, held in Edmonton, AB, Canada, in August 2015. The 16 regular papers presented together with 8 brief announcements and 3 keynote lectures were carefully reviewed and selected from 38 submissions. The Symposium is organized in several tracks, reflecting topics to self-*properties. The tracks are self-stabilization; fault-tolerance and dependability; ad-hoc and sensor networks; mobile agents; system security in distributed computing; and formal methods and distributed algorithms.
فهرست مطالب
Front Matter....Pages I-XXI
Front Matter....Pages 1-1
A Fast and Scalable Payment Network with Bitcoin Duplex Micropayment Channels....Pages 3-18
Front Matter....Pages 19-19
Reaching Approximate Byzantine Consensus with Multi-hop Communication....Pages 21-35
The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor Networks....Pages 36-50
Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems....Pages 51-66
The Match-Maker: Constant-Space Distributed Majority via Random Walks....Pages 67-80
The k-Observer Problem on d-regular Graphs....Pages 81-93
Functional Encryption for Cascade Automata (Extended Abstract)....Pages 94-108
The Implication Problem of Computing Policies....Pages 109-123
Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples....Pages 124-138
Untangling Partial Agreement: Iterated x-consensus Simulations....Pages 139-155
Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols....Pages 156-170
Efficient and Decentralized Polling Protocol for General Social Networks....Pages 171-186
Constructing Self-stabilizing Oscillators in Population Protocols....Pages 187-200
Towards a Universal Approach for the Finite Departure Problem in Overlay Networks ....Pages 201-216
Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms....Pages 217-232
Avatar: A Time- and Space-Efficient Self-stabilizing Overlay Network....Pages 233-247
Self-stabilizing Virtual Synchrony....Pages 248-264
Back Matter....Pages 265-288
