ATC C

24 papers

YearTitle / Authors
2010A Formal Framework for Compositional Verification of Organic Computing Systems.
Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Simon Bäumler, Wolfgang Reif
2010A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints.
Stefano Bistarelli, Fabio Martinelli, Francesco Santini
2010A Framework for Trust Enabled Software Asset Retrieval.
Yanzhen Zou, Sibo Cai, Meng Li, Lijie Wang, Bing Xie
2010A New Monitor Model for Enhancing Trust-Based Systems.
Lang Jia, Paddy Nixon
2010A Risk-Aware Resource Service Decision Strategy for Global Computing.
Wei Du, Guohua Cui, Wei Liu
2010A User-Oriented Approach to Assessing Web Service Trustworthiness.
Weinan Zhao, Hailong Sun, Zicheng Huang, Xudong Liu, Xitong Kang
2010Adaptive Control of Sensor Networks.
Sven Tomforde, Ioannis Zgeras, Jörg Hähner, Christian Müller-Schloer
2010Agent-Augmented Co-Space: Toward Merging of Real World and Cyberspace.
Ah-Hwee Tan, Yilin Kang
2010Autonomic and Trusted Computing - 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010. Proceedings
Bing Xie, Jürgen Branke, Seyed Masoud Sadjadi, Daqing Zhang, Xingshe Zhou
2010Context Based Trust Normalization in Service-Oriented Environments.
Lei Li, Yan Wang
2010Design and Analysis of "Flexible"
Raylin Tso, Xun Yi, Tadahiko Ito, Takeshi Okamoto, Eiji Okamoto
2010Design of Location-Based Hierarchical Overlay Network Supporting P2PSIP Conferencing Service.
Hui-Kai Su, Chien-Min Wu, Wang-Hsai Yang
2010Designing Self-healing in Automotive Systems.
Hella Seebach, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, Wilhelm Schäfer
2010Effects of Displaying Trust Information on Mobile Application Usage.
Zheng Yan, Conghui Liu, Valtteri Niemi, Guoliang Yu
2010Improving the Trustworthiness of Service QoS Information in Service-Based Systems.
Stephen S. Yau, Jing Huang, Yin Yin
2010Message Race Detection for Web Services by an SMT-Based Analysis.
Mohamed Elwakil, Zijiang Yang, Liqiang Wang, Qichang Chen
2010On Alleviating Reader Collisions Towards High Efficient RFID Systems.
Ching-Hsien Hsu, Chia-Hao Yu
2010On-Line Adaptive Algorithms in Autonomic Restart Control.
Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi
2010Opportunistic Trust Based P2P Services Framework for Disconnected MANETs.
Basit Qureshi, Geyong Min, Demetres D. Kouvatsos
2010Self-organizing Computer Vision for Robust Object Tracking in Smart Cameras.
Stefan Wildermann, Andreas Oetken, Jürgen Teich, Zoran A. Salcic
2010The Testing Method for Interface Customized Component.
Ying Jiang, Ying-Na Li, Hai-Wang Zhang
2010Towards Autonomic Mode Control of a Scalable Intrusion Tolerant Architecture.
Tadashi Dohi, Toshikazu Uemura
2010Trustworthy Organic Computing Systems: Challenges and Perspectives.
Jan-Philipp Steghöfer, Rolf Kiefhaber, Karin Leichtenstern, Yvonne Bernard, Lukas Klejnowski, Wolfgang Reif, Theo Ungerer, Elisabeth André, Jörg Hähner, Christian Müller-Schloer
2010Using ELECTRE TRI Outranking Method to Evaluate Trustworthy Software.
Gang Lu, Huaimin Wang, Xiaoguang Mao