Titlebook: Stabilization, Safety, and Security of Distributed Systems; 14th International S Andréa W. Richa,Christian Scheideler Conference proceeding

indecipherable

Forage饲料

ORBIT

0302-9743 trum 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.978-3-642-33535-8978-3-642-33536-5Series ISSN 0302-9743 Series E-ISSN 1611-3349

别名

Communication-Efficient Self-stabilization in Wireless Networks,ncept of the communication-efficiency for the wireless network model, and investigate its possibility in self-stabilization for some fundamental problems; the minimal (connected) dominating set problem, the maximal independent set problem, and the spanning tree construction problem.

hermetic

delusion

On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings,on. With respect to impossibility results, those are the weakest system hypotheses. In addition, as an application of the previous algorithm, we provide a self-stabilizing algorithm for the set formation problem. Our results imply that any static set formation can be realized in a self-stabilizing manner in this model.

babble

High-Level Executable Specifications of Distributed Algorithms,d, critical properties and invariants are explicit, making the algorithms easier to understand and verify. Indeed, this helped us discover improvements to some of the algorithms, for correctness and for optimizations.

nominal

Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud,d as propositional constraints and used to build a verification model based on the constraint satisfaction problem framework, which allows reasoning on security policy preservation. Finally, we present a case study inspired from Amazon EC2 to show the applicability and usefulness of our approach.

Mercantile

Hyperlipidemia

Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Pfault. Our simulation provides insight into practical program behavior that is sometimes lacking in theoretical correctness proofs. This indicates that such simulation is a useful research tool in studies of fault tolerance.