Autonomic and Trusted Computing 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010, Proceedings

Computing systems including hardware, software, communication, and networks are becoming increasingly large and heterogeneous. In short, they have become - creasingly complex. Such complexity is getting even more critical with the ubiquitous permeation of embedded devices and other pervasive systems...

Full description

Bibliographic Details
Other Authors: Xie, Bing (Editor), Branke, Juergen (Editor), Sadjadi, S. Masoud (Editor), Zhang, Daqing (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010, 2010
Edition:1st ed. 2010
Series:Programming and Software Engineering
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Autonomic and Organic Computing
  • Self-organizing Computer Vision for Robust Object Tracking in Smart Cameras
  • A Formal Framework for Compositional Verification of Organic Computing Systems
  • On-Line Adaptive Algorithms in Autonomic Restart Control
  • Designing Self-healing in Automotive Systems
  • Trustworthy Organic Computing Systems: Challenges and Perspectives
  • AC/OC Network and Protocol
  • Adaptive Control of Sensor Networks
  • Design of Location-Based Hierarchical Overlay Network Supporting P2PSIP Conferencing Service
  • Trust Models and Application
  • Effects of Displaying Trust Information on Mobile Application Usage
  • Context Based Trust Normalization in Service-Oriented Environments
  • A Framework for Trust Enabled Software Asset Retrieval
  • Opportunistic Trust Based P2P Services Framework for Disconnected MANETs
  • A Risk-Aware Resource Service Decision Strategy for Global Computing
  • Trustworthy Computing
  • Message Race Detection for Web Services by an SMT-Based Analysis
  • A User-Oriented Approach to Assessing Web Service Trustworthiness
  • Improving the Trustworthiness of Service QoS Information in Service-Based Systems
  • Using ELECTRE TRI Outranking Method to Evaluate Trustworthy Software
  • The Testing Method for Interface Customized Component
  • Trust-Related Security
  • A New Monitor Model for Enhancing Trust-Based Systems
  • Design and Analysis of “Flexible” k-out-of-n Signatures
  • A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints
  • Invited Session
  • Towards Autonomic Mode Control of a Scalable Intrusion Tolerant Architecture
  • Agent-Augmented Co-Space: Toward Merging of Real World and Cyberspace
  • On Alleviating Reader Collisions Towards High Efficient RFID Systems