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 |