书籍详情
分布系统的稳定性、安全与保密 SSS 2006 /会议录LNCS-4280
作者:Ajoy K. Datta 著
出版社:湖南文艺出版社
出版时间:2006-12-01
ISBN:9783540490180
定价:¥813.60
购买这本书可以去
内容简介
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.
作者简介
暂缺《分布系统的稳定性、安全与保密 SSS 2006 /会议录LNCS-4280》作者简介
目录
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
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
猜您喜欢