Andrzej Pelc Ordre des livres

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.

The book features a comprehensive collection of invited talks and regular papers focusing on various aspects of distributed computing. Key topics include routing and scheduling with incomplete information, time-efficient broadcasting in radio networks, and a subjective exploration of selected distributed computing topics. Highlighted papers address resilient Byzantine storage without unproven cryptographic assumptions, fast robust approximate majority protocols, and denial-of-service resistant distributed hash tables. The work also investigates mobility costs in geocasting for mobile ad-hoc networks and self-stabilizing counting in mobile sensor networks. Other contributions include scalable load-distance balancing, time-optimal asynchronous self-stabilizing spanning trees, and rendezvous strategies for mobile agents in unknown graphs with faulty links. The collection discusses failure detectors, amnesic distributed storage, and distributed approximations for packing in unit-disk graphs. Further topics cover gossiping in multi-channel radio networks, energy-efficient broadcasting, and distributed algorithms for optimal swap edges in minimum diameter spanning trees. The book also examines fault-tolerant implementations, transaction-safe non-blocking data structures, and the complexities of decentralized asynchronous Byzantine consensus. Celebrating its 20th anniversary, the collection includes reflections on the evoluti

This book constitutes the refereed proceedings of the 12th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2005, held in Mont Saint-Michel, France in May 2005. The 22 revised full papers presented were carefully reviewed and selected from 48 submissions. The papers address issues such as topics in distributed and parallel computing, information dissemination, communication complexity, interconnection networks, high speed networks, wireless networking, mobile computing, optical computing, and related areas.