| GENERAL CHAIR'S MESSAGE |
| PROGRAM CHAIR'S MESSAGE |
| CONFERENCE ORGANIZERS |
| REVIEWERS |
| KEYNOTE ADDRESS |
| New Business Trends in IT Services Yuji Inoue, NTT Data Corporation |
| SESSION 1: ELECTRONIC COMMERCE: MODELS AND PROTOCOLS |
| A Dependable Distributed Auction System: Architecture and an Implementation Framework P. Ezhilchelvan and G. Morgan 3 |
| An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce H. Xu and S. Shatz 11 |
| Formal Analysis of E-Commerce Protocols M. Papa, O. Bremer, J. Hale, and S. Shenoi 19 |
| An Automated Negotiation Model for Electronic Commerce J. Ueyama and E. Madeira 29 |
| SESSION 2: HIGH ASSURANCE SYSTEMS |
| Adaptive Resource Management in Asynchronous Real-Time Distributed Systems Using Feedback Control Functions B. Ravindran, P. Kachroo, and T. Hegazy 39 |
| A High Assurance On-Line Recovery Technology for a Space On-Board Computer H. Yashiro, T. Fujiwara, and K. Mori 47 |
| An Integrated Post-Locking, Multi-Versioning, and Transformation Scheme for Consistency Maintenance in Real-Time Group Editors L. Xue, K. Zhang, and C. Sun 57 |
| Autonomous Information Provision to Achieve Reliability for Users and Providers H. Ahmad, G. Sun, and K. Mori 65 |
| SESSION 3: PANEL: XML AND E-BUSINESS FRAMEWORKS |
| Chair: M. Heller |
| Panelists: E. Ferari, J. Putman, T. Gannon |
| SESSION 4: FAULT TOLERANCE AND SAFETY CRITICAL SYSTEMS |
| On Godefroid's Stateless Search Technique for Testing Concurrent Programs K-C. Tai and B. Karacali 77 |
| Assurance Technologies for Growing Systems and Their Application to Large-Scale Transport Operation Control Systems K. Kera, K. Bekki, N. Miwa, F. Kitahara, K. Kamijyo, and K. Seki 85 |
| Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework F. Greve, M. Hurfin, M. Raynal, and F. Tronel 93 |
| Safety Assurance via On-Line Monitoring S. Dolev and F. Stomp 101 |
| SESSION 5: ARCHITECTURES AND MODEL FOR DISTRIBUTED SYSTEMS |
| Modularized System Architecture for Flexible Clinical Laboratory Systems H. Mitsumaki, T. Ikeda, R. Kodama, and T. Aizono 111 |
| A 3D Interface for the Administration of Component-Based, Distributed Systems O. Stiemerling, M. Hallenberger, and A. Cremers 119 |
| UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces E. Astesiano and G. Reggio 127 |
| Scenario-Based Service Composition Method in the Open Service Environment K. Kiwata, A. Nakano, S. Yura, T. Uchihashi, and A. Kanai 135 |
| SESSION 6: PANEL: AGENT-BASED ELECTRONIC COMMERCE |
| Chairs: J-Y. Chung and J. Lee |
| Panelists: L. Lee, C. Priest, J. Youll, J. Hanson, M. Hsu |
| Agent-Based Electronic Commerce: Opportunities and Challenges J-Y. Chung and J. Lee 143 |
| Agent-Based Auctions L. Lee 144 |
| Agent-Based Electronic Commerce: Opportunities and Challenges J. Youll 146 |
| Cultivating the Agent Economy J. Hanson 149 |
| SESSION 7: ELECTRONIC COMMERCE: TECHNOLOGIES AND ARCHITECTURES |
| A Decentralized XML Database Approach to Electronic Commerce H. Ishikawa and M. Ohta 153 |
| Commitment-Based Interoperation for E-Commerce J. Xing, F. Wan, S. Rustogi, and M. Singh 161 |
| Service Matching and Collaboration for Electronic Commerce S. Yura, K. Kiwata, A. Nakano, T. Uchihashi, and A. Kanai 169 |
| Dependability Modeling of Homogeneous and Heterogeneous Distributed Systems Y. Chen and Z. He 176 |
| SESSION 8: DISTRIBUTED OBJECT MANAGEMENT SYSTEMS |
| A Distributed Asynchronous Execution Semantics for Programming the Middleware Machine A. Berry and S. Kaplan 187 |
| Quorum-Based Locking Protocol for Replicas in Object-Based Systems K. Tanaka and M. Takizawa 196 |
| Integrating Autonomous Enterprise Systems through Dependable CORBA Objects C. Marchetti, A. Virgillito, M. Mecella, and R. Baldoni 204 |
| Reflective Decision Controls for Autonomous Distributed Objects E-H. Huang and T. Elrad 212 |
| SESSION 9: SHORT PAPERS |
| Location Transparent Distributed Scripts and Their Execution Systems on D'Agent O. Honda, H. Tada, and M. Higuchi 223 |
| Efficiently Announcing Multimedia Information from Mobile Computers with the WOR Toolkit S. Tagashira, K. Saisho, and A. Fukuda 227 |
| Simulating Agent Based Processing in an ADS Using C++ SIM C. Lee, J. Kim, J. Stach, and E. Park 231 |
| The New ATC Systems with an Autonomous Speed Control with On-Board Equipment M. Matsumoto, A. Hosokawa, S. Kitamura, D. Watanabe, and A. Kawabata 235 |
| Behavior Patterns for Mobile Agent Systems from the Development Process Viewpoint Y. Tahara, A. Ohsuga, and S. Honiden 239 |
| Mobile Agents in Network-Centric Warfare M. Ceruti 243 |
| Building Holonic Control Systems with Function Blocks M. Fletcher 247 |
| Reactive Web Agents with Open Constraint Programming K. Zhu, W-Y. Tan, A. Santosa, and R. Yap 251 |
| An Architecture for Adaptively Replicating Cooperative Shared Objects Z. Jun and Y. Yong 255 |
| The Wireless World in 2010: New Orientations Fiona Williams |
| SESSION 10: MULTI-AGENT SYSTEMS |
| A Framework for Developing Reactive Information Agents with Heterogeneous Communication Capabilities D. Vyzovitis and K. Clark 263 |
| Rule-Driven Coordination Agents: A Self-Configurable Agent Architecture for Distributed Control M. Blake 271 |
| Mobile Agent Messaging Models D. Deugo 278 |
| Decentralized Control of Hybrid Systems R. Palm and T. Runkler 287 |
| SESSION 11: PANEL: EMBEDDED SYSTEMS |
| Chair: F. Bastani |
| Panelists: B. Cukic, T. Labbe, A. Lee, J. Linn, R. Paul, V. Winter |
| The Need for Verification and Validation Techniques for Adaptive Control System B. Cukic 297 |
| Embedded Software Development Challenges in the Digital Signal Processing Era J. Linn 299 |
| SESSION 12: MIDDLEWARE TECHNOLOGIES |
| Type-Safe Trading Proxies Using TORBA R. Marvie, P. Merle, J-M. Geib, and S. Leblanc 303 |
| An Automated Client-Driven Approach to Data Extraction Using an Autonomous Decentralized Architecture M. Blake and P. Liguori 311 |
| Reconfigurable Context-Sensitive Middleware for ADS Applications in Mobile Ad Hoc Network Environments S. Yau and F. Karim 319 |
| TMOES: A CORBA Service Middleware Enabling High-Level Real-Time Object Programming K. Kim, J. Liu, H. Miyazaki, and E. Shokri 327 |
| SESSION 13: PANEL: MOBILE COMPUTING AND COMMUNICATION |
| Chair: Janice Putman |
| Panelists: W. Ruh, L. Strick, T. Wheeler |
| SESSION 14: AGENT TECHNOLOGIES FOR ELECTRONIC COMMERCE |
| How Agents from Different E-Commerce Enterprises Cooperate Q. Chen, M. Hsu, and I. Kleyner 341 |
| Brokering Based Self Organizing E-Service Communities S. Helal, M. Wang, A. Jagatheesan, and R. Krithivasan 349 |
| A Real-Time Multi-Agent System Architecture for E-Commerce Applications L. DiPippo, V. Fay-Wolfe, L. Nair, E. Hodys, and O. Uvarov 357 |
| Flexible Manufacturing Control with PLC, CNC and Software Agents R. Schoop, R. Neubert, and B. Suessmann 365 |
| SESSION 15: SELF-STABILIZING SYSTEMS |
| The Multi-Agent System for Dynamic Network Routing R. Onishi, S. Yamaguchi, H. Morino, H. Aida, and T. Saito 375 |
| Ant Colony Control for Autonomous Decentralized Shop Floor Routing V. Cicirello and S. Smith 383 |
| A Study of Synthetic Creativity through Behavior Modeling and Simulation of an Ant Colony P. Heck and S. Ghosh 391 |
| A Stabilizing Search Tree with Availability Properties T. Herman and T. Masuzawa 398 |
| Decentralized E-Business Applications for Government Systems Henry Bayard |
| SESSION 16: SECURE SYSTEMS AND APPLICATIONS |
| Data Protection in Mobile Agents: One-time Key-based Approach J-Y. Park, D-I. Lee, and H-H. Lee 411 |
| Access Revocation and Prevention of False Repudiation in Secure Email Exchanges L. Bai, R. Achuthanandam, and M. Kam 419 |
| Formal Analysis of Software Security System Architectures Y. Deng, J. Wang, and J. Tsai 426 |
| Concepts and Architecture of a Security-Centric Mobile Agent Server V. Roth and M. Jalali-Sohi 435 |
| SESSION 17: PANEL: ROBOTICS FOR EDUCATION AND ENTERTAINMENT |
| Chairs: M. Fujita, R. Arkin |
| Panelists: M. Veloso, T. Shibata, J. Yamato |
| SESSION 18: MODELING AND PERFORMANCE ANALYSIS |
| Autonomous Data Consistency Technique through Fair Evaluation among Heterogeneous Systems I. Kaji, S. Kato, and K. Mori 447 |
| Analysis of Algorithms for Supporting Disconnected Write Operations in Mobile Client-Server Environments I-R. Chen, N. Phan, and I-L. Yen 456 |
| GDEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems N. Giambiasi, B. Escude, and S. Ghosh 464 |
| Autonomous Navigation in Information Service Systems for Load Balancing User Demands H. Arfaoui and K. Mori 470 |
| SESSION 19: PANEL: SECURITY FOR THE WEB AND E-COMMERCE SYSTEMS |
| Chair: Bhavani Thuraisingham |
| Panelists: E. Bertino, T.Y. Lin, S. Shenoi, A. Ghosh |
| PANEL: FUTURE OF AUTONOMOUS DECENTRALIZED SYSTEMS |
| Chair: Steven Yau |
| Panelists: K. Mori, R. Popescu-Zeletin, B. Thuraisingham, J. Tsai, L. Strick, M. Imase |
| GENERAL CHAIR'S MESSAGE |
| PROGRAM CHAIR'S MESSAGE |
| CONFERENCE ORGANIZERS |
| REVIEWERS |
| KEYNOTE ADDRESS |
| New Business Trends in IT Services Yuji Inoue, NTT Data Corporation |
