Fifth International Symposium on Autonomous Decentralized Systems, ISADS 2001, 26-28 March 2001, Dallas, Texas, USA. IEEE Computer Society, 2001, online publication: http://computer.org/proceedings/isads/1065/1065toc.htm

Electronic Commerce: Models and Protocols

• 
  Paul D. Ezhilchelvan, Graham Morgan: A Dependable Distributed Auction System: Architecture and an Implementation Framework. 3-10
• 
  Haiping Xu, Sol M. Shatz: An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce. 11-18
• 
  Mauricio Papa, Oliver Bremer, John Hale, Sujeet Shenoi: Formal Analysis of E-Commerce Protocols. 19-28
• 
  Jo Ueyama, Edmundo R. M. Madeira: An Automated Negotiation Model for Electronic Commerce. 29-

High Assurance Systems

• 
  Binoy Ravindran, Pushkin Kachroo, Tamir Hegazy: Adaptive Resource Management in Asynchronous Real-Time Distributed Systems Using Feedback Control Functions. 39-46
• 
  Hiroyuki Yashiro, Teruo Fujiwara, Kinji Mori: A High Assurance On-Line Recovery Technology for a Space On-Board Computer. 47-56
• 
  Liyin Xue, Kang Zhang, Chengzheng Sun: An Integrated Post-Locking, Multi-Versioning, and Transformation Scheme for Consistency Maintenance in Real-Time Group Editors. 57-64
• 
  Hafiz Farooq Ahmad, Guanghe Sun, Kinji Mori: Autonomous Information Provision to Achieve Reliability for Users and Providers. 65-

Panel: XML and E-Business Frameworks

Fault Tolerance and Safety Critical Systems

• 
  Kuo-Chung Tai, Bengi Karaçali: On Godefroid's Stateless Search Technique for Testing Concurrent Programs. 77-84
• 
  Kazuo Kera, Keisuke Bekki, Naoki Miwa, Fumio Kitahara, Keiji Kamijyo, Kazuya Seki: Assurance Technologies for Growing Systems and Their Application to Large-Scale Transport Operation Control Systems. 85-92
• 
  Fabíola Greve, Michel Hurfin, Michel Raynal, Frederic Tronel: Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework. 93-100
• 
  Shlomi Dolev, Frank A. Stomp: Safety Assurance via On-Line Monitoring. 101-

Architectures and Model for Distributed Systems

• 
  Hiroshi Mitsumaki, Toshiyuki Ikeda, Ryuichiro Kodama, Takeiki Aizono: Modularized System Architecture for Flexible Clinical Laboratory Systems. 111-118
• 
  Oliver Stiemerling, Michael Hallenberger, Armin B. Cremers: A 3D Interface for the Administration of Component-Based, Distributed Systems. 119-126
• 
  Egidio Astesiano, Gianna Reggio: UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces. 127-134
• 
  Kazuhiro Kiwata, Atsushi Nakano, Shunsuke Yura, Tomotaka Uchihashi, Atsushi Kanai: Scenario-Based Service Composition Method in the Open Service Environment. 135-

Panel: Agent-Based Electronic Commerce

• 
  Jen-Yao Chung, Juhnyoung Lee: Agent-Based Electronic Commerce: Opportunities and Challenges. 143
• 
  Lyndon C. Lee: Agent-Based Auctions. 144-145
• 
  Jim Youll: Agent-Based Electronic Commerce: Opportunities and Challenges. 146-148
• 
  James E. Hanson: Cultivating the Agent Economy. 149-

Electronic Commerce: Technologies and Architectures

• 
  Hiroshi Ishikawa, Manabu Ohta: A Decentralized XML Database Approach to Electronic Commerce. 153-160
• 
  Jie Xing, Feng Wan, Sudhir K. Rustogi, Munindar P. Singh: Commitment-Based Interoperation for E-Commerce. 161-168
• 
  Shunsuke Yura, Kazuhiro Kiwata, Atsushi Nakano, Tomotaka Uchihashi, Atsushi Kanai: Service Matching and Collaboration for Electronic Commerce. 169-175
• 
  Yinong Chen, Zhongshi He: Dependability Modeling of Homogeneous and Heterogeneous Distributed Systems. 176-

Distributed Object Management Systems

• 
  Andrew Berry, Simon M. Kaplan: A Distributed Asynchronous Execution Semantics for Programming the Middleware Machine. 187-195
• 
  Katsuya Tanaka, Makoto Takizawa: Quorum-Based Locking Protocol for Replicas in Object-Based Systems. 196-203
• 
  Carlo Marchetti, Antonino Virgillito, Massimo Mecella, Roberto Baldoni: Integrating Autonomous Enterprise Systems through Dependable CORBA Objects. 204-211
• 
  En-Hsin Huang, Tzilla Elrad: Reflective Decision Controls for Autonomous Distributed Objects. 212-

Short Papers

• 
  Osamu Honda, Harumasa Tada, Masahiro Higuchi: Location Transparent Distributed Scripts and Their Execution System on D'Agent. 223-226
• 
  Shigeaki Tagashira, Akira Fukuda, Keizo Saisho: Efficiently Announcing Multimedia Information from Mobile Computers with the WOR Toolkit. 227-230
• 
  Chiewon Lee, Junghwan Kim, Jerrold F. Stach, Eun Kyo Park: Simulating Agent Based Processing in an ADS Using C++ SIM. 231-234
• 
  Masayuki Matsumoto, Akiyoshi Hosokawa, Satoru Kitamura, Dai Watanabe, Atsushi Kawabata: The New ATC Systems with an Autonomous Speed Control with On-Board Equipment. 235-238
• 
  Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden: Behavior Patterns for Mobile Agent Systems from the Development Process Viewpoint. 239-242
• 
  Marion G. Cerut: Mobile Agents in Network-Centric Warfare. 243-246
• 
  Martyn Fletcher: Building Holonic Control Systems with Function Blocks. 247-250
• 
  Kenny Qili Zhu, Wee-Yeh Tan, Andrew E. Santosa, Roland H. C. Yap: Reactive Web Agents with Open Constraint Programming. 251-254
• 
  Zhu Jun, Yong Yu: An Architecture for Adaptively Replicating Cooperative Shared Objects. 255-

Multi-Agent Systems

• 
  Dimitris Vyzovitis, Keith L. Clark: A Framework for Developing Reactive Information Agents with Heterogeneous Communication Capabilities. 263-270
• 
  M. Brian Blake: Rule-Driven Coordination Agents: A Self-Configurable Agent Architecture for Distributed Control. 271-277
• 
  Dwight Deugo: Mobile Agent Messaging Models. 278-286
• 
  Rainer Palm, Thomas A. Runkler: Decentralized Control of Hybrid Systems. 287-

Panel: Embedded Systems

• 
  Bojan Cukic: The Need for Verification and Validation Techniques for Adaptive Control System. 297-298
• 
  John Linn: Embedded Software Development Challenges in the Digital Signal Processing Era. 299-

Middleware Technologies

• 
  Raphaël Marvie, Philippe Merle, Jean-Marc Geib, Sylvain Leblanc: Type-Safe Trading Proxies Using TORBA. 303-310
• 
  M. Brian Blake, Patricia Liguori: An Automated Client-Driven Approach to Data Extraction Using an Autonomous Decentralized Architecture. 311-318
• 
  Stephen S. Yau, Fariaz Karim: Reconfigurable Context-Sensitive Middleware for ADS Applications in Mobile Ad Hoc Network Environments. 319-326
• 
  K. H. Kim, Juqiang Liu, H. Miyazaki, Eltefaat Shokri: TMOES: A CORBA Service Middleware Enabling High-Level Real-Time Object Programming. 327-

Agent Technologies for Electronic Commerce

• 
  Qiming Chen, Meichun Hsu, Igor Kleyner: How Agents from Different E-Commerce Enterprises Cooperate. 341-348
• 
  Abdelsalam Helal, Mei Wang, Arun Jagatheesan, Raja Krithivasan: Brokering Based Self Organizing E-Service Communities. 349-356
• 
  Lisa Cingiser DiPippo, Victor Fay Wolfe, Lekshmi Nair, Ethan Hodys, Oleg Uvarov: A Real-Time Multi-Agent System Architecture for E-Commerce Applications. 357-364
• 
  Ronald Schoop, Ralf Neubert, Boris Suessmann: Flexible Manufacturing Control with PLC, CNC and Software Agents. 365-

Self-Stabilizing Systems

• 
  Ryokichi Onishi, Saneyasu Yamaguchi, Hiroaki Morino, Hitoshi Aida, Tadao Saito: The Multi-Agent System for Dynamic Network Routing. 375-382
• 
  Vincent A. Cicirello, Stephen F. Smith: Ant Colony Control for Autonomous Decentralized Shop Floor Routing. 383-390
• 
  Peter S. Heck, Sumit Ghosh: A Study of Synthetic Creativity through Behavior Modeling and Simulation of an Ant Colony. 391-397
• 
  Ted Herman, Toshimitsu Masuzawa: A Stabilizing Search Tree with Availability Properties. 398-

Secure Systems and Applications

• 
  Jong-Youl Park, Dong-Ik Lee, HyungHyo Lee: Data Protection in Mobile Agents: One-time Key-based Approach. 411-418
• 
  Li Bai, Ramasubramaniam Achuthanandam, Moshe Kam: Access Revocation and Prevention of False Repudiation in Secure Email Exchanges. 419-425
• 
  Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai: Formal Analysis of Software Security System Architectures. 426-434
• 
  Volker Roth, Mehrdad Jalali-Sohi: Concepts and Architecture of a Security-Centric Mobile Agent Server. 435-

Modeling and Performance Analysis

• 
  Isao Kaji, Shohei Kato, Kinji Mori: Autonomous Data Consistency Technique through Fair Evaluation among Heterogeneous Systems. 447-455
• 
  Ing-Ray Chen, Ngoc Anh Phan, I-Ling Yen: Analysis of Algorithms for Supporting Disconnected Write Operations in Mobile Client-Server Environments. 456-463
• 
  Norbert Giambiasi, Bruno Escude, Sumit Ghosh: GDEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems. 464-469
• 
  Hélène Arfaoui, Kinji Mori: Autonomous Navigation in Information Service Systems for Load Balancing User Demands. 470-