دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Stabilization, Safety, and Security of Distributed Systems: 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
دانلود کتاب تثبیت ، ایمنی و امنیت سیستم های توزیع شده: چهاردهمین سمپوزیوم بین المللی ، SSS 2012 ، تورنتو ، کانادا ، 1-4 اکتبر 2012. مجموعه مقالات
مشخصات کتاب
Stabilization, Safety, and Security of Distributed Systems: 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
ویرایش: 1 نویسندگان: Tomoya Takimoto, Fukuhito Ooshita (auth.), Andréa W. Richa, Christian Scheideler (eds.) سری: Lecture Notes in Computer Science 7596 ISBN (شابک) : 9783642335365, 3642335357 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 345 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 49,000
کلمات کلیدی مربوط به کتاب تثبیت ، ایمنی و امنیت سیستم های توزیع شده: چهاردهمین سمپوزیوم بین المللی ، SSS 2012 ، تورنتو ، کانادا ، 1-4 اکتبر 2012. مجموعه مقالات: شبکه های ارتباطی کامپیوتری، مهندسی نرم افزار، کاربردهای سیستم های اطلاعاتی (شامل اینترنت)، منطق و معانی برنامه ها، تحلیل الگوریتم و پیچیدگی مسائل، سیستم ها و امنیت داده ها
در صورت تبدیل فایل کتاب Stabilization, Safety, and Security of Distributed Systems: 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تثبیت ، ایمنی و امنیت سیستم های توزیع شده: چهاردهمین سمپوزیوم بین المللی ، SSS 2012 ، تورنتو ، کانادا ، 1-4 اکتبر 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تثبیت ، ایمنی و امنیت سیستم های توزیع شده: چهاردهمین سمپوزیوم بین المللی ، SSS 2012 ، تورنتو ، کانادا ، 1-4 اکتبر 2012. مجموعه مقالات
این کتاب مجموعه مقالات داوری چهاردهمین سمپوزیوم بین المللی پایدارسازی، ایمنی و امنیت سیستم های توزیع شده، SSS 2012، برگزار شده در تورنتو، کانادا، در اکتبر 2012 است. 21 مقاله کامل و 10 اطلاعیه مختصر در این جلد ارائه شده است. از بین 75 مورد ارسالی به دقت بررسی و انتخاب شدند. این کنفرانس طیف گسترده ای از موضوعات را ارائه می دهد که در مسیرهای زیر پوشش داده می شود: خود تثبیت، شبکه های موقت و حسگر، تحمل خطا و سیستم های قابل اعتماد، ایمنی و امنیت، رایانش ابری، روش های رسمی، شبکه های اجتماعی، نظیر به-همتا سیستم های همتا، خودسازمانده و خودمختار.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2012, held in Toronto, Canada, in October 2012. The 21 full papers and 10 brief announcements presented in this volume were carefully reviewed and selected from 75 submissions. The conference provides a wide spectrum of topics, covered in the following tracks: self-stabilization, ad-hoc and sensor networks, fault-tolerance and dependable systems, safety and security, cloud computing, formal methods, social networks, peer-to-peer, self-organizing and autonomic systems.
فهرست مطالب
Front Matter....Pages -
Communication-Efficient Self-stabilization in Wireless Networks....Pages 1-15
Self-stabilizing Local k -Placement of Replicas with Minimal Variance....Pages 16-30
Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles....Pages 31-42
Brief Announcement : Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults....Pages 43-45
Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network....Pages 46-48
On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings....Pages 49-63
Optimal Grid Exploration by Asynchronous Oblivious Robots....Pages 64-76
Terminating Population Protocols via Some Minimal Global Knowledge Assumptions....Pages 77-89
Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer....Pages 90-91
Brief Announcement: Mobile Agent Rendezvous on Edge Evolving Rings....Pages 92-94
High-Level Executable Specifications of Distributed Algorithms....Pages 95-110
Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud....Pages 111-125
Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback....Pages 126-132
Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks....Pages 133-147
Self-stabilizing Distributed Data Fusion....Pages 148-162
From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering....Pages 163-178
Brief Announcement: Verification of Stabilizing Programs with SMT Solvers....Pages 179-182
Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems....Pages 183-186
Oblivious Assignment with m Slots....Pages 187-201
BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters....Pages 202-216
DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments....Pages 217-231
Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems....Pages 232-235
Brief Announcement: Arbitrators in the Security Infrastructure....Pages 236-238
Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems....Pages 239-252
Scalable Byzantine Agreement with a Random Beacon....Pages 253-265
On Finding Better Friends in Social Networks....Pages 266-278
Brief Announcement: Detecting Users’ Connectivity on Online Social Networks....Pages 279-281
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols....Pages 282-284
All-to-All Gradecast Using Coding with Byzantine Failures....Pages 285-298
Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered Agents....Pages 299-313
A Theory of Fault Recovery for Component-Based Models....Pages 314-328
Back Matter....Pages -
