分布系统的稳定性、安全与保密 SSS 2006 /会议录LNCS-4280

分布系统的稳定性、安全与保密 SSS 2006 /会议录LNCS-4280
作 者: Ajoy Datta
出版社: 湖南文艺出版社
丛编项:
版权说明: 本书为公共版权或经版权方授权,请支持正版图书
标 签: 暂缺
ISBN 出版时间 包装 开本 页数 字数
未知 暂无 暂无 未知 0 暂无

作者简介

暂缺《分布系统的稳定性、安全与保密 SSS 2006 /会议录LNCS-4280》作者简介

内容简介

This book constitutes the refereed proceedings of the 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems (formerly Symposium on Self-Stabilizing Systems), SSS 2006, held in Dallas, TX, USA in November 2006.The 36 revised full papers and 12 revised short papers presented together with the extended abstracts of 2 invited lectures were carefully reviewed and selected from 155 submissions. The papers address all aspects of self-stabilization, safety and security, recovery oriented systems and programing, from theoretical contributions, to reports of the actual experience of applying the principles of self-stabilization to static and dynamic systems.

图书目录

Invited Talks

 Stabilization Enabling Technology

 A General Characterization of Indulgence

Regular Papers

 Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor Networks

 A Case Study on Prototyping Power Management Protocols for Sensor Networks

 Unconscious Eventual Consistency with Gossips

 All k-Bounded Policies Are Equivalent for Self-stabilization

 A 1-Strong Self-stabilizing Transformer

 Optimal Message-Driven Implementation of Omega with Mute Processes

 Incremental Synthesis of Fault-Tolerant Real-Time Programs

 Toward a Time-Optimal Odd Phase Clock Unison in Trees

 Recovery Oriented Programming

 Evaluation of a Tracking Architecture in Wireless Sensor Networks

 Self-protection for Distributed Component-Based Applications

 From Self- to Snap- Stabilization

 Self-stabilizing Philosophers with Generic Conflicts

 Selfish Stabilization

 Reliability and Availability Analysis of Self-stabilizing Systems

 Circle Formation of Weak Mobile Robots

 Self-stabilizing Device Drivers

 Secure Communication for RFIDs Proactive Information Security Within Computational Security

 Fault Masking in Tri-redundant Systems

 Logarithmic Keying of Communication Networks

……

Best Paper: Stabilizing Clock Synchronization for Wireless Sensor Networks

Brief Announcement

Author Index