| General Chair's Message xi |
| Program Chair's Message xii |
| ISADS 2007 Committees xiii |
| AHSP 2007 Committees xv |
| Keynote Address 1 |
| OptIPuter-A High Performance SOA LambdaGrid Enabling Scientific Applications / Larry Smarr 3 |
| Keynote Address 2 |
| A Service-Oriented Approach to Security-Concepts and Issues / Elisa Bertino and Lorenzo Martino 7 |
| Session 1: Service Orientation: Service Composition/Collaboration |
| RobustBPEL2: Transparent Autonomization in Business Processes through Dynamic Proxies / Onyeka Ezenwoye and S. Masoud Sadjadi 17 |
| Towards Distributed Web Service Composition / Snehit Prabhu 25 |
| Collaboration Policy Generation in Dynamic Collaborative SOA / W.T. Tsai, Qian Huang, Bingnan Xiao, Yinong Chen, and Xinyu Zhou 33 |
| Session 2: Testing and On-line Validation |
| Ontology-Based Test Case Generation for Testing Web Services / Yongbo Wang, Xiaoying Bai, Juanzi Li, and Ruobo Huang 43 |
| Towards Self-Testing in Autonomic Computing Systems / Tarlq King, Djuradj Babich, Jonatan Alava, Ronald Stevens, and Peter Clarke 51 |
| Global Constraint Checking at Run-time / Christian Hein and Tom Ritter 59 |
| Session 3: Transportation |
| Application of Assurance Technology for Railway Signaling System / Masayuki Matsumoto and Keisuke Bekki 69 |
| Novel Railway Signal Control System Based on the Internet Technology and Its Distributed Control Archtecture / Yamato Fukuta, Gen Kogure, Takashi Kunifuji, Hiroyuki Sugahara, Reiji Ishima, and Masayuki Matsumoto 77 |
| The Modeling and Analysis of Data Communication System (DCS) in Communication Based Train Control (CBTC) with Colored Petri Nets / Tianhua and Tao Tang 83 |
| Keynote Address 3 |
| Enviroment of Intellect; 7 issues We Need to Think About for the Future / Yoshinobu Tonomura 93 |
| Session 4: Service Orientation: Architecture, Infrastructure |
| The Semantic Data Space for Loosely Coupled Service Provisioning / David Linner, Ilja Radusch, Stephan Steglich, and Carsten Jacob 97 |
| A New SOA Data-Provenance Framework / Wei-Tek Tsai, Xiao Wei, Dawei Zhang, Ray Paul, Yinong Chen, and Jen-Yao Chung 105 |
| Should the Grid Middleware Look to Self-managing Capabilities? / Ramon Nou, Ferran Julia, and Jordi Torres 113 |
| Session 5: Sensor and Ad Hoc Networks (1) |
| Mobility Support for Users in Wireless Sensor Networks / Sang-Sik Kim and Ae-Soon Park 123 |
| A Hybrid Routing with Location Information for Mobile Ad Hoc Networks / Hiroshi Nakagawa, Tomoyuki Ohta, Kenji Ishida, and Yoshiaki Kakuda 129 |
| Mobile Phone Based Ad Hoc Network Using Built in Bluetooth for Ubiquitous Life / Hitomi Murakami, Atsushi Ito, Yu Watanabe, and Takao Yabe 137 |
| Session 6: Service Orientation: Discovery, Access, Application |
| Functionality-Based Service Matchmaking for Service-Oriented Architecture / Stephan Yau and Junwei Liu 147 |
| Change Management in Semantic Business Processes Modeling / Uttam Kumar Tripathi and Knut Hinkelmann 155 |
| Autonomous Correlated Services Access for High Response in Intergrated Faded Information Field Systems / Xiaodong Lu, Kinji Mori, and Yongdong Tan 163 |
| Session7: Sensor and Ad Hoc Networks (2) |
| An On-demand Address Allocation Scheme for Query Based Sensor Networks / Weiwei Fang, Yi Liu, Jin Wu, and Depei Qian 173 |
| An Effcient On-Demand Hierarchical Routing Protocol Based on Autonomous Clustering for Mobile Ad Hoc Networks / Ryotaro Oda, Tomoyuki Ohta, and Yoshiaki Kakuda 180 |
| Locality-Preserving Distributed Path Reservation Protocol for Asynchronous Cooperative Mobile Robots / Rami Yared, Julien Cartigny, Xavier Defago, and Matthias Wiesmann 188 |
| Optimizing Query Injection from Mobile Objects to Sensor Networks / Shourui Tian and Sol M. Shatz 196 |
| Session8: Assurance and Fault-Tolerance |
| Research of Reliability Technology in Heterogeneous Autonomous Decentralized Assurance Systems / Akio Shiibashi, Takashi Kuroda, Motoharu Yamana, and Kinji Mori 207 |
| Distribution Algorithm for Newly Allcated Update Allowance (AV) in the Autonomous Decentralized Database System (ADDS) / Isao Kaji 215 |
| Autonomous Fault Recovery Technology for Continuous Service in Distributed VOD System / Yuta Nakatogawa, Shoichi Murakami, Miho Kanda, Kinji Mori, Ryuji Takanuki, and Yasushi Kuba 221 |
| Session9: Agent Systems and Networking |
| Autonomous Real-Time Navigation for Service Level Agreement in Distributed Information Service System / Khalid Mahmood, Satoshi Niki, Yuuki Nakahara, Xiaodong Lu, Ivan Luque, and Kinji Mori 231 |
| SAGE-LITE: An Architecture and Implementation of Light Weight Multi-agent System / Sana Khalique, Sana Farooq, Hafiz Farooq Ahmad, Hiroki Suguri, and Arshad Ali 239 |
| An Approach of End-to-End DiffServ/MPLS QoS Context Transfer in HMIPv6 Networks / Chuda Liu, Yi Liu, Depei Qian, and Mingxiu Li 245 |
| Session 10: Resource Abstraction and Management |
| Autonomous Decentralized Load Tracking Systems and Evaluation Criteria for Response and Stability / Tetsuya Masuishi, Koichi Shibata, Yasuyuki Oki, and Kinji Mori 255 |
| Merging CBR and Neural Networks for SLA-Based Radio Resource Management for QoS Sensitive Cellular Networks / Muhammad Umer Hkan, Muhammad Qaisar Ch, Hafiz Farooz Ahmad, Liaqut Ali, Arshad Ali, and Hiroki Suguri 263 |
| Virtual Device Composition / Mario Schuster, Alexander Domene, Raju Vaidya, Stefan Arbanowski, Su Myeon Kim, Jin Wook Lee, and Hun Lim 270 |
| Session 11: Security, Safety, and Trust |
| Mass Mailing Worm Detection by Means of Situation Aware DNS / Nikolaos Chatzis 279 |
| Rule Checking within the Model-Based Development of Safety-Critical Systems and Embedded Automotive Software / Tibor Farkas and Daniel Grund 287 |
| Trust for Vehicular Applications / Matthias Gerlach 295 |
| Keynote Address 4 |
| Quality Assurance for Autonomous Systems-A Review of Model-Based Methods / Ina Schieferdecker 305 |
| Session 12: Invited Paper (1) |
| Dynamic Clustering Model for High Service Availability / Sung Hocheol, Han Sunyoung, Choi Byounguk, Kim Heemin, Song Jungwook, Ang Chee-Wei, Cheng Wang-Cho, and Wong Kim-Sing 311 |
| A UDP Based Protocol for Distributed P2P File Sharing / Yao-Nan Lien and Hong-Qi Xu 318 |
| Context-Based Service Discovery for Enhanced Learning Object in P2P Networks / Qianhui Liang and Zhaohui Wu 325 |
| (Session 13) Special Session: Ad Hoc Networks in Automotive Telematics Applications (1) |
| An Approach to Positioning Road-User in a Telematics Network / Mats Rydstrom, Erik Strom, Arne Svensson, and Luca Reggiani 335 |
| Enforcing Privacy Using Symmetric Random Key-Set in Vehicular Networks / Yong Xi, Kewei Sha, Weisong Shi, Loren Schwiebert, and Tao Zhang 344 |
| Mobile Service Discovery Protocol (MSDP) for Mobile Ad-Hoc Networks Jui-Chi Liang, Jyh-Cheng Chen, and Tao Zhang 352 |
| Session 14: Invited Paper (2) |
| An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language / Michael Medina and Joseph Urban 363 |
| A TTF-Based Programming Model and a Support Kernel Running on a Communicating Sensor Platform / Kane Kim, Keizo Fujiwara, Moon-Cheol Kim, Liangchen Zheng, Kenichi Watanabe, and Makoto Takizawa 368 |
| Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems / Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, and Michele Vadursi 377 |
| (Session 15) Special Session: Ad Hoc Networks in Automotive Telematics Applications (2) |
| Piggybacked Acknowledgement for Reception Assesment in a Pervasive Broadcasting System / Daniel Jiang, Miro Bogdanovic, and Luca Delgrossi 387 |
| DiffServ QoS and OLSR MANET Outdoor Demonstration / Isil Sebuktekin, Brandon Yoon, Byungsuk Kim, Ashok Ranade, Taek Jin Kwon, Marcus Pang, William Stephens, Michael Bereschinsky, Charles Graff, Larry Muzzelo, Michael Acriche, Aristedes Staikos, Ben Foresta, and Dennis Chen 394 |
| Session 16: Multimedia Content and Service Provisioning |
| Self-Organizing Pervasive Online Communities / Stefan Foell, Philippe Boessling, David Linner, Ilja Radusch, and Stephan Steglich 403 |
| MCDN; Multimedia Content Discovery and Delivery / Joachim Sokol, and Klaus-Peter Eckert 411 |
| WebPeer: A Peer-to-Peer Infrastructure for Publishing/Locating/Replicating Web Pages on Internet Heverson Borba Ribeiro, Lau Cheuk Lung, Altair Olivo Santin, and Neander Larsen Brisola 421 |
| Next Generation IPTV Services for an Extended IMS Architecture / Oliver Friedrich, A. Al-Hezmi, Stefan Arbanowski, and Thomas Magedanz 429 |
| Session17: Community and Context-Awareness |
| Autonomous Community Integration and Division Technology for High Response Service / Kotaro Hama, Yuji Horikoshi, Hiroyuki Endo, Benjamin Kloester, and Xiaodong Lu 437 |
| A Generic Multipurpose Recommender System for Contextual Recommendations / Christian Rack, Stefan Arbanowski, and Stephan Steglich 445 |
| An Asynchronous Messaging Platform for Development of Context-aware Services Taro Nakao and Shigetoshi Yokoyama 451 |
| A Decision-Theoretic Planner with Dynamic Component Reconfiguration for Distributed Real-Time Applications / John Kinnebrew, Ankit Gupta, Nishanth Shankaran, Gautam Biswas, and Douglas Schmidt 461 |
| Session 18: Algorithm and Control |
| A Hybrid GA-BP Model for Bankruptcy Prediction / Ying Sai, Chenjian Zhong, and Lehong Qu 473 |
| Decomposition of Times Petri Nets for Solving Scheduling Problems with Multiple Entities / Tatsushi Nishi 478 |
| Developing Autonomic Feedback Control for Heterogeneous Systems Using Cascaded Controllers / Wael Hosny Fouad Aly and Hanan Lutfiyya 484 |
| Quantitive Performance Modeling and Evaluation for Servo Control Systems Based on F-AHP / Wang Shou-kun, Wang Jun-zheng, and Shen Wei 492 |
| Panel Session: Is Service-Oriented Archtecture Appropriate for Autonomous Decentralized Systems? |
| The Second International Workshop on Ad Hoc, Sensor and P2P Networks (AHSP2007) |
| AHSP Session 1: Keynote Speech, Topology Control |
| Recent Developments in Wide Area Ubiquitous Network Research / Hiroshi Saito and Koichi Takasugi 503 |
| S-XTC: A Signal-Strength Based Topology Control Algorithm for Sensor Networks / Matthias Dyer, Jan Beutel, and Lothar Thiele 508 |
| AHSP Session 2: Routing |
| Unidirectional Ad Hoc Routing Protocol with Area-Controlled Flooding Using Overhead Neighbor Node Information / Hiroaki Morino, Takumi Miyoshi, and Masakatsu Ogawa 519 |
| An Autonomous Method for Aggregating and Repairing Paths in Sensor Networks / Shinji Inoue, Noriyuki Masuda, and Yoshiaki Kakuda 526 |
| Improving the Accuracy of Passive Duplicate Address Detection Algorithms over MANET On-demand Routing Protocols / Dongkyun Kim, Hong-Jong Jeong, Sutaek Oh, and Juan-Carlos Cano 534 |
| AHSP Session 3: Security, Survivability, Performance Evaluation |
| Preventing Resource Exhaustion Attacks in Ad Hoc Networks / Masao Tanabe and Mmasaki Aida 543 |
| Longer Network Lifetime when Using Energy Efficient GSP for Wireless Sensor Networks / Debdhanit Yupho, Maria Calle, and Joseph Kabara 549 |
| Parallel Downloading Method using HTTP over UDP for High Loss Rate and Delay Networks / Junichi Funasaka, Yusuke Takemoto, and Kenji Ishida 555 |
| A Self-Organizing Communication Mechanism Using Traveling Wave Phenomena for Wireless Sensor Networks / Yoshiaki Taniguchi, Naoki Wakamiya, and Masayuki Murata 562 |
| Author Index 571 |
