Table of Contents

• A Dependable Distributed Auction System: Architecture and an Implementation FrameworkPaul D. Ezhilchelvan, Graham Morgan. 3-10 [doi]
• An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic CommerceHaiping Xu, Sol M. Shatz. 11-18 [doi]
• Formal Analysis of E-Commerce ProtocolsMauricio Papa, Oliver Bremer, John Hale, Sujeet Shenoi. 19-28 [doi]
• An Automated Negotiation Model for Electronic CommerceJo Ueyama, Edmundo R. M. Madeira. 29 [doi]
• Adaptive Resource Management in Asynchronous Real-Time Distributed Systems Using Feedback Control FunctionsBinoy Ravindran, Pushkin Kachroo, Tamir Hegazy. 39-46 [doi]
• A High Assurance On-Line Recovery Technology for a Space On-Board ComputerHiroyuki Yashiro, Teruo Fujiwara, Kinji Mori. 47-56 [doi]
• An Integrated Post-Locking, Multi-Versioning, and Transformation Scheme for Consistency Maintenance in Real-Time Group EditorsLiyin Xue, Kang Zhang, Chengzheng Sun. 57-64 [doi]
• Autonomous Information Provision to Achieve Reliability for Users and ProvidersHafiz Farooq Ahmad, Guanghe Sun, Kinji Mori. 65 [doi]
• On Godefroid s Stateless Search Technique for Testing Concurrent ProgramsKuo-Chung Tai, Bengi Karaçali. 77-84 [doi]
• Assurance Technologies for Growing Systems and Their Application to Large-Scale Transport Operation Control SystemsKazuo Kera, Keisuke Bekki, Naoki Miwa, Fumio Kitahara, Keiji Kamijyo, Kazuya Seki. 85-92 [doi]
• Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement FrameworkFabíola Greve, Michel Hurfin, Michel Raynal, Frederic Tronel. 93-100 [doi]
• Safety Assurance via On-Line MonitoringShlomi Dolev, Frank A. Stomp. 101 [doi]
• A 3D Interface for the Administration of Component-Based, Distributed SystemsOliver Stiemerling, Michael Hallenberger, Armin B. Cremers. 119-126 [doi]
• UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple SpacesEgidio Astesiano, Gianna Reggio. 127-134 [doi]
• Scenario-Based Service Composition Method in the Open Service EnvironmentKazuhiro Kiwata, Atsushi Nakano, Shunsuke Yura, Tomotaka Uchihashi, Atsushi Kanai. 135 [doi]
• Agent-Based AuctionsLyndon C. Lee. 144-145 [doi]
• Agent-Based Electronic Commerce: Opportunities and ChallengesJim Youll. 146-148 [doi]
• Cultivating the Agent EconomyJames E. Hanson. 149 [doi]
• A Decentralized XML Database Approach to Electronic CommerceHiroshi Ishikawa, Manabu Ohta. 153-160 [doi]
• Commitment-Based Interoperation for E-CommerceJie Xing, Feng Wan, Sudhir K. Rustogi, Munindar P. Singh. 161-168 [doi]
• Service Matching and Collaboration for Electronic CommerceShunsuke Yura, Kazuhiro Kiwata, Atsushi Nakano, Tomotaka Uchihashi, Atsushi Kanai. 169-175 [doi]
• Dependability Modeling of Homogeneous and Heterogeneous Distributed SystemsYinong Chen, Zhongshi He. 176 [doi]
• A Distributed Asynchronous Execution Semantics for Programming the Middleware MachineAndrew Berry, Simon M. Kaplan. 187-195 [doi]
• Quorum-Based Locking Protocol for Replicas in Object-Based SystemsKatsuya Tanaka, Makoto Takizawa. 196-203 [doi]
• Integrating Autonomous Enterprise Systems through Dependable CORBA ObjectsCarlo Marchetti, Antonino Virgillito, Massimo Mecella, Roberto Baldoni. 204-211 [doi]
• Reflective Decision Controls for Autonomous Distributed ObjectsEn-Hsin Huang, Tzilla Elrad. 212 [doi]
• Location Transparent Distributed Scripts and Their Execution System on D AgentOsamu Honda, Harumasa Tada, Masahiro Higuchi. 223-226 [doi]
• Efficiently Announcing Multimedia Information from Mobile Computers with the WOR ToolkitShigeaki Tagashira, Akira Fukuda, Keizo Saisho. 227-230 [doi]
• Simulating Agent Based Processing in an ADS Using C++ SIMChiewon Lee, Junghwan Kim, Jerrold F. Stach, Eun Kyo Park. 231-234 [doi]
• The New ATC Systems with an Autonomous Speed Control with On-Board EquipmentMasayuki Matsumoto, Akiyoshi Hosokawa, Satoru Kitamura, Dai Watanabe, Atsushi Kawabata. 235-238 [doi]
• A Framework for Developing Reactive Information Agents with Heterogeneous Communication CapabilitiesDimitris Vyzovitis, Keith L. Clark. 263-270 [doi]
• Rule-Driven Coordination Agents: A Self-Configurable Agent Architecture for Distributed ControlM. Brian Blake. 271-277 [doi]
• Mobile Agent Messaging ModelsDwight Deugo. 278-286 [doi]
• Decentralized Control of Hybrid SystemsRainer Palm, Thomas A. Runkler. 287 [doi]
• The Need for Verification and Validation Techniques for Adaptive Control SystemBojan Cukic. 297-298 [doi]
• Embedded Software Development Challenges in the Digital Signal Processing EraJohn Linn. 299 [doi]
• Type-Safe Trading Proxies Using TORBARaphaël Marvie, Philippe Merle, Jean-Marc Geib, Sylvain Leblanc. 303-310 [doi]
• An Automated Client-Driven Approach to Data Extraction Using an Autonomous Decentralized ArchitectureM. Brian Blake, Patricia Liguori. 311-318 [doi]
• Reconfigurable Context-Sensitive Middleware for ADS Applications in Mobile Ad Hoc Network EnvironmentsStephen S. Yau, Fariaz Karim. 319-326 [doi]
• How Agents from Different E-Commerce Enterprises CooperateQiming Chen, Meichun Hsu, Igor Kleyner. 341-348 [doi]
• Brokering Based Self Organizing E-Service CommunitiesAbdelsalam Helal, Mei Wang, Arun Jagatheesan, Raja Krithivasan. 349-356 [doi]
• A Real-Time Multi-Agent System Architecture for E-Commerce ApplicationsLisa Cingiser DiPippo, Victor Fay Wolfe, Lekshmi Nair, Ethan Hodys, Oleg Uvarov. 357-364 [doi]
• Flexible Manufacturing Control with PLC, CNC and Software AgentsRonald Schoop, Ralf Neubert, Boris Suessmann. 365 [doi]
• Ant Colony Control for Autonomous Decentralized Shop Floor RoutingVincent A. Cicirello, Stephen F. Smith. 383-390 [doi]
• A Stabilizing Search Tree with Availability PropertiesTed Herman, Toshimitsu Masuzawa. 398 [doi]
• Data Protection in Mobile Agents: One-time Key-based ApproachJong-Youl Park, Dong-Ik Lee, HyungHyo Lee. 411-418 [doi]
• Access Revocation and Prevention of False Repudiation in Secure Email ExchangesLi Bai, Ramasubramaniam Achuthanandam, Moshe Kam. 419-425 [doi]
• Formal Analysis of Software Security System ArchitecturesYi Deng, Jiacun Wang, Jeffrey J. P. Tsai. 426-434 [doi]
• Autonomous Data Consistency Technique through Fair Evaluation among Heterogeneous SystemsIsao Kaji, Shohei Kato, Kinji Mori. 447-455 [doi]
• Analysis of Algorithms for Supporting Disconnected Write Operations in Mobile Client-Server EnvironmentsIng-Ray Chen, Ngoc Anh Phan, I-Ling Yen. 456-463 [doi]
• Autonomous Navigation in Information Service Systems for Load Balancing User DemandsHélène Arfaoui, Kinji Mori. 470 [doi]