8. ISADS 2007: Sedona, AZ, USA
International Symposium on Autonomous Decentralized Systems (ISADS 2007), 21-23 March 2007, Sedona, AZ, USA. IEEE 2007 ISBN 0-7695-2804-X
K. H. K. Kim: General chair's message.
Larry Smarr, Harry E. Gruber: OptIPuter-A High Performance SOA LambdaGrid Enabling Scientific Applications. 3
Onyeka Ezenwoye, Seyed Masoud Sadjadi: RobustBPEL2: Transparent Autonomization in Business Processes through Dynamic Proxies. 17-24
Snehit Prabhu: Towards Distributed Dynamic Web Service Composition. 25-32
Wei-Tek Tsai, Qian Huang, Bingnan Xiao, Yinong Chen, Xinyu Zhou: Collaboration Policy Generation in Dynamic Collaborative SOA. 33-42
Yongbo Wang, Xiaoying Bai, Juanzi Li, Ruobo Huang: Ontology-Based Test Case Generation for Testing Web Services. 43-50
Tariq M. King, Djuradj Babich, Jonatan Alava, Peter J. Clarke, Ronald Stevens: Towards Self-Testing in Autonomic Computing Systems. 51-58
Masayuki Matsumoto, Keisuke Bekki: Application of Assurance Technology for Railway Signaling System. 69-76
Yamato Fukuta, Gen Kogure, Takashi Kunifuji, Hiroyuki Sugahara, Reiji Ishima, Masayuki Matsumoto: Novel Railway Signal Control System Based on the Internet Technology and Its Distributed Control Architecture. 77-82
Tianhua Xu, Tao Tang: The modeling and Analysis of Data Communication System (DCS) in Communication Based Train Control (CBTC) with Colored Petri Nets. 83-92
Yoshinobu Tonomura: Environment of Intellect: 7 issues we need to think about for the future. 93
David Linner, Ilja Radusch, Stephan Steglich, Carsten Jacob: The Semantic Data Space for Loosely Coupled Service Provisioning. 97-104
Wei-Tek Tsai, Xiao Wei, Dawei Zhang, Raymond A. Paul, Yinong Chen, Jen-Yao Chung: A New SOA Data-Provenance Framework. 105-112
Ramon Nou, Ferran Julià, Jordi Torres: Should the grid middleware look to self-managing capabilities? 113-122
Hiroshi Nakagawa, Tomoyuki Ohta, Kenji Ishida, Yoshiaki Kakuda: A Hybrid Routing with Location Information for Mobile Ad Hoc Networks. 129-136
Hitomi Murakami, Atsushi Ito, Yu Watanabe, Takao Yabe: Mobile Phone Based Ad Hoc Network Using Built In Bluetooth for Ubiquitous Life. 137-146
Stephen S. Yau, Junwei Liu: Functionality-Based Service Matchmaking for Service-Oriented Architecture. 147-154
Uttam Kumar Tripathi, Knut Hinkelmann: Change Management in Semantic Business Processes Modeling. 155-162
Xiaodong Lu, Kinji Mori, Yongdong Tan: Autonomous Correlated Services Access for High Response in Integrated Faded Information Field Systems. 163-172
Weiwei Fang, Yi Liu, Jin Wu, Depei Qian: An On-demand Address Allocation Scheme for Query based Sensor Networks. 173-179
Ryotaro Oda, Tomoyuki Ohta, Yoshiaki Kakuda: An Efficient On-Demand Hierarchical Routing Protocol Based on Autonomous Clustering for Mobile Ad Hoc Networks. 180-187
Rami Yared, Julien Cartigny, Xavier Défago, Matthias Wiesmann: Locality-preserving distributed path reservation protocol for asynchronous cooperative mobile robots. 188-195
Shourui Tian, Sol M. Shatz: Optimizing Query Injection from Mobile Objects to Sensor Networks. 196-206
Akio Shiibashi, Takashi Kuroda, Motoharu Yamana, Kinji Mori: Research of Reliability Technology in Heterogeneous Autonomous Decentralized Assurance Systems. 207-214
Isao Kaji: Distribution Algorithm for Newly Allocated Update Allowance (AV) in the Autonomous Decentralized Database System(ADDS). 215-220
Yuta Nakatogawa, Shoichi Murakami, Miho Kanda, Kinji Mori, Ryuji Takanuki, Yasushi Kuba: Autonomous fault recovery technology for continuous service in Distributed VoD system. 221-230
Khalid Mahmood, Satoshi Niki, Yuuki Nakahara, Xiaodong Lu, Ivan Luque, Kinji Mori: Autonomous Real-Time Navigation for Service Level Agreement in Distributed Information Service System. 231-238
Sana Khalique, Sana Farooq, Hafiz Farooq Ahmad, Hiroki Suguri, Arshad Ali: SAGE-LITE: An Architecture and Implementation of Light Weight Multiagent System. 239-244
Chuda Liu, Yi Liu, Depei Qian, Mingxiu Li: An Approach of End-to-End DiffServ/MPLS QoS Context Transfer in HMIPv6 Net. 245-254
Tetsuya Masuishi, Koichi Shibata, Yasuyuki Oki, Kinji Mori: Autonomous Decentralized Load Tracking Systems And Evaluation Criteria For Response and Stability. 255-262
Muhammad Umer Khan, Muhammad Qaisar Choudhary, Hafiz Farooq Ahmad, Liaqut Ali, Arshad Ali, Hiroki Suguri: Merging CBR and Neural Networks for SLA-Based Radio Resource Management for QoS Sensitive Cellular Networks. 263-269
Mario Schuster, Alexander Domene, Raju N. Vaidya, Stefan Arbanowski, Su Myeon Kim, Jin Wook Lee, Hun Lim: Virtual Device Composition. 270-278
Nikolaos Chatzis: Mass MailingWorm Detection by Means of Situation Aware DNS. 279-286
Tibor Farkas, Daniel Grund: Rule Checking within the Model-Based Development of Safety-Critical Systems and Embedded Automotive Software. 287-294
Matthias Gerlach: Trust for Vehicular Applications. 295-304
Ina Schieferdecker: Quality Assurance for Autonomous Systems - A Review of Model-Based Methods. 305-307
Hocheol Sung, Byounguk Choi, Heemin Kim, Jungwook Song, Sunyoung Han, Chee-Wei Ang, Wang-Cho Cheng, Kim-Sing Wong: Dynamic Clustering Model for High Service Availability. 311-317
Qianhui Liang, Zhaohui Wu: Context-based Service Discovery for Enhanced Learning Objects in P2P Networks. 325-334
Mats Rydström, Erik G. Ström, Arne Svensson, Luca Reggiani: An Approach to Positioning Road-Users in a Telematics Network. 335-343
Yong Xi, Kewei Sha, Weisong Shi, Loren Schwiebert, Tao Zhang: Enforcing Privacy Using Symmetric Random Key-Set in Vehicular Networks. 344-351
Jui-Chi Liang, Jyh-Cheng Chen, Tao Zhang: Mobile Service Discovery Protocol (MSDP) for Mobile Ad-Hoc Networks. 352-362
Michael A. Medina, Joseph E. Urban: An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language. 363-367
K. H. (Kane) Kim, Keizo Fujiwara, Moon-Cheol Kim, Liangchen Zheng, Kenichi Watanabe, Makoto Takizawa: A TTF-Based Programming Model and a Support Kernel Running on a Communicating Sensor Platform. 368-376
Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi: Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems. 377-386
Daniel Jiang, Miro Bogdanovic, Luca Delgrossi: Piggybacked Acknowledgement for Reception Assessment in a Pervasive Broadcasting System. 387-393
Isil Sebüktekin, Brandon Yoon, Byungsuk Kim, Ashok Ranade, Taek Jin Kwon, Marcus Pang, William Stephens, Michael Bereschinsky, Charles Graff, Larry Muzzelo, Michael Acriche, Aristides Staikos, Ben Foresta, Dennis Chen: DiffServ QoS and OLSR MANET Outdoor Demonstration. 394-402
Stefan Foell, Philippe Boessling, David Linner, Ilja Radusch, Stephan Steglich: Self-Organizing Pervasive Online Communities. 403-410
Heverson Borba Ribeiro, Lau Cheuk Lung, Altair Olivo Santin, Neander Larsen Brisola: Web2Peer: A Peer-to-Peer Infrastructure for Publishing/Locating/Replicating Web Pages on Internet. 421-428
Oliver Friedrich, Adel Al-Hezmi, Stefan Arbanowski, Thomas Magedanz: Next Generation IPTV services for an extended IMS architecture. 429-436
Kotaro Hama, Yuji Horikoshi, Hiroyuki Endo, Benjamin P. Kloester, Xiaodong Lu: Autonomous Community Integration and Division Technology for High Response Service. 437-444
Christian Räck, Stefan Arbanowski, Stephan Steglich: A Generic Multipurpose recommender System for Contextual Recommendations. 445-450
Taro Nakao, Shigetoshi Yokoyama: An Asynchronous Messaging Platform for Development of Context-aware Services. 451-460
John S. Kinnebrew, Ankit Gupta, Nishanth Shankaran, Gautam Biswas, Douglas C. Schmidt: A Decision-Theoretic Planner with Dynamic Component Reconfiguration for Distributed Real-Time Applications. 461-472
Tatsushi Nishi: Decomposition of timed Petri Nets for Solving Scheduling Problems with Multiple Entities. 478-483
Wael Hosny Fouad Ali, Hanan Lutfiyya: Developing Autonomic Feedback Control for Heterogeneous Systems Using Cascaded Controllers. 484-491
Shou-kun Wang, Junzheng Wang, Wei Shen: Quantitative Performance Modeling and Evaluation for Servo Control Systems Based on F-AHP. 492-502
Hiroshi Saito, Koichi Takasugi: Recent Developments in Wide Area Ubiquitous Network Research. 503-507
Matthias Dyer, Jan Beutel, Lothar Thiele: S-XTC: A Signal-Strength Based Topology Control Algorithm for Sensor Networks. 508-518
Hiroaki Morino, Takumi Miyoshi, Masakatsu Ogawa: Unidirectional Ad Hoc Routing Protocol with Area-controlled Flooding Using Overheard Neighbor Node Information. 519-525
Shinji Inoue, Noriyuki Masuda, Yoshiaki Kakuda: An Autonomous Method for Aggregating and Repairing Paths in Sensor Networks. 526-533
Dongkyun Kim, Hong-Jong Jeong, Sutaek Oh, Juan-Carlos Cano: Improving the Accuracy of Passive Duplicate Address Detection Algorithms over MANET On-demand Routing Protocols. 534-542
Debdhanit Yupho, Maria Calle, Joseph Kabara: Longer Network Lifetime When Using Energy Efficient GSP for Wireless Sensor Networks. 549-554
Junichi Funasaka, Yusuke Takemoto, Kenji Ishida: Parallel Downloading Method using HTTP over UDP for High Loss Rate and Delay Networks. 555-561
Yoshiaki Taniguchi, Naoki Wakamiya, Masayuki Murata: A Self-Organizing Communication Mechanism using Traveling Wave Phenomena for Wireless Sensor Networks. 562-570



