Overview

Full Product Details

Author:   Andréa W. Richa ,  Christian Scheideler
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2012 ed.
Volume:   7596
Dimensions:   Width: 15.50cm , Height: 1.80cm , Length: 23.50cm
Weight:   0.539kg
ISBN:  

9783642335358

ISBN 10:   3642335357
Pages:   330
Publication Date:   22 August 2012
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Communication-Efficient Self-stabilization in Wireless Networks.- Self-stabilizing Local k-Placement of Replicas with Minimal Variance.- Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles.- Brief Announcement: Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults.- Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network.- On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings.- Optimal Grid Exploration by Asynchronous Oblivious Robots.- Terminating Population Protocols via Some Minimal Global Knowledge Assumptions.- Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer.- Brief Announcement: Mobile Agent Rendezvous on Edge Evolving Rings.- High-Level Executable Specifications of Distributed Algorithms .- Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud .- Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback .- Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks (Extended Abstract) .- Self-stabilizing Distributed Data Fusion .- From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering .- Brief Announcement: Verification of Stabilizing Programs with SMT Solvers .- Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems.- Oblivious Assignment with m Slots.- BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters.- DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments.- Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems.- Brief Announcement: Arbitrators in the Security Infrastructure.- Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems.- Scalable Byzantine Agreement with a Random Beacon.- On FindingBetter Friends in Social Networks.- Brief Announcement: Detecting Users’ Connectivity on Online Social Networks.- Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.- All-to-All Gradecast Using Coding with Byzantine Failures.- Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered Agents.- A Theory of Fault Recovery for Component-Based Models.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions