Autonomic and Trusted Computing

1. Front Matter

   PDF

2. Autonomic and Organic Computing

   1. Self-organizing Computer Vision for Robust Object Tracking in Smart Cameras

      • Stefan Wildermann, Andreas Oetken, Jürgen Teich, Zoran Salcic

      Pages 1-16

   2. A Formal Framework for Compositional Verification of Organic Computing Systems

      • Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Simon Bäumler, Wolfgang Reif

      Pages 17-31

   3. On-Line Adaptive Algorithms in Autonomic Restart Control

      • Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi

      Pages 32-46

   4. Designing Self-healing in Automotive Systems

      • Hella Seebach, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif et al.

      Pages 47-61

   5. Trustworthy Organic Computing Systems: Challenges and Perspectives

      • Jan-Philipp Steghöfer, Rolf Kiefhaber, Karin Leichtenstern, Yvonne Bernard, Lukas Klejnowski, Wolfgang Reif et al.

      Pages 62-76

3. AC/OC Network and Protocol

   1. Adaptive Control of Sensor Networks

      • Sven Tomforde, Ioannis Zgeras, Jörg Hähner, Christian Müller-Schloer

      Pages 77-91

   2. Design of Location-Based Hierarchical Overlay Network Supporting P2PSIP Conferencing Service

      • Hui-Kai Su, Chien-Min Wu, Wang-Hsai Yang

      Pages 92-106

4. Trust Models and Application

   1. Effects of Displaying Trust Information on Mobile Application Usage

      • Zheng Yan, Conghui Liu, Valtteri Niemi, Guoliang Yu

      Pages 107-121

   2. Context Based Trust Normalization in Service-Oriented Environments

      • Lei Li, Yan Wang

      Pages 122-138

   3. A Framework for Trust Enabled Software Asset Retrieval

      • YanZhen Zou, SiBo Cai, Meng Li, Lijie Wang, Bing Xie

      Pages 139-153

   4. Opportunistic Trust Based P2P Services Framework for Disconnected MANETs

      • Basit Qureshi, Geyong Min, Demetres Kouvatsos

      Pages 154-167

   5. A Risk-Aware Resource Service Decision Strategy for Global Computing

      • Wei Du, Guohua Cui, Wei Liu

      Pages 168-181

5. Trustworthy Computing

   1. Message Race Detection for Web Services by an SMT-Based Analysis

      • Mohamed Elwakil, Zijiang Yang, Liqiang Wang, Qichang Chen

      Pages 182-194

   2. A User-Oriented Approach to Assessing Web Service Trustworthiness

      • Weinan Zhao, Hailong Sun, Zicheng Huang, Xudong Liu, Xitong Kang

      Pages 195-207

   3. Improving the Trustworthiness of Service QoS Information in Service-Based Systems

      • Stephen S. Yau, Jing Huang, Yin Yin

      Pages 208-218

   4. Using ELECTRE TRI Outranking Method to Evaluate Trustworthy Software

      • Gang Lu, Huaimin Wang, Xiaoguang Mao

      Pages 219-227

   5. The Testing Method for Interface Customized Component

      • Ying Jiang, Ying-Na Li, Hai-Wang Zhang

      Pages 228-241

6. Trust-Related Security

   1. A New Monitor Model for Enhancing Trust-Based Systems

      • Lang Jia, Paddy Nixon

      Pages 242-254

   2. Design and Analysis of “Flexible” k-out-of-n Signatures

      • Raylin Tso, Xun Yi, Tadahiko Ito, Takeshi Okamoto, Eiji Okamoto

      Pages 255-267

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. To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on self-manageable computing and communication systems that exhibit self-awareness, self-configuration, self-optimization, self-healing, self-protection and other self-* properties to the maximum extent possible without human intervention or guidance. Organic computing (OC) additionally addresses adaptability, robustness, and c- trolled emergence as well as nature-inspired concepts for self-organization. Any autonomic or organic system must be trustworthy to avoid the risk of losing control and retain confidence that the system will not fail. Trust and/or distrust relationships in the Internet and in pervasive infrastructures are key factors to enable dynamic interaction and cooperation of various users, systems, and services. Trusted/ trustworthy computing (TC) aims at making computing and communication systems––as well as services––available, predictable, traceable, controllable, asse- able, sustainable, dependable, persistent, security/privacy protectable, etc. A series of grand challenges exists to achieve practical autonomic or organic s- tems with truly trustworthy services. Started in 2005, ATC conferences have been held at Nagasaki (Japan), Vienna (Austria), Three Gorges (China), Hong Kong (China), Oslo (Norway) and Brisbane (Australia). The 2010 proceedings contain the papers presented at the 7th International Conference on Autonomic and Trusted Computing (ATC 2010), heldin Xi’an, China, October 26–29, 2010.

• Web Services
• adaptive optimization
• agents
• automotive systems
• autonomic restart
• component
• compositional reasoningq
• customization operators
• design
• disconnected MANETs
• evaluation
• formal methods
• high-quality workflow
• interface specifi
• verification

• Electronics Engineering and Computer Science School, Software Institute, Peking University, Beijing, P.R. China

  Bing Xie

• Warwick Business School, University of Warwick, Coventry, UK

  Juergen Branke

• School of Computing and Information Sciences, Florida International University, Miami, USA

  S. Masoud Sadjadi

• Telecommunication Network and Services Department, Institute TELECOM SudParis, Evry Cedex, France

  Daqing Zhang

• School of Computer Science, Northwestern Polytechnical University, Xi’an, China

  Xingshe Zhou

Policies and ethics