1. Home
  2. Proceedings
  3. ISADS
  4. ISADS 2001
Default Cover Image

Proceedings 5th International Symposium on Autonomous Decentralized Systems

Mar. 26 2001 to Mar. 28 2001

Dallas, Texas

ISBN: 0-7695-1065-5

Table of Contents

Proceedings 5th International Symposium on Autonomous Decentralized SystemsFreely available from IEEE.pp. iii-iii
General Chair's MessageFreely available from IEEE.pp. xii
Program Chair's MessageFreely available from IEEE.pp. xiii
Conference OrganizersFreely available from IEEE.pp. xiv
ReviewersFreely available from IEEE.pp. xvi
Keynote Address
New Business Trends in IT ServicesFull-text access may be available. Sign in or learn about subscription options.
by Yuji Inoue, NTT Data Corporation
Session 1: Electronic Commerce: Models and Protocols
A Dependable Distributed Auction System: Architecture and an Implementation FrameworkFull-text access may be available. Sign in or learn about subscription options.pp. 3
by Paul Ezhilchelvan, Graham Morgan
Session 1: Electronic Commerce: Models and Protocols
An Agent-based Petri Net Model with Application to Seller/Buyer Design in Electronic CommerceFull-text access may be available. Sign in or learn about subscription options.pp. 11
by Haiping Xu, Sol M. Shatz
Session 1: Electronic Commerce: Models and Protocols
Formal Analysis of E-Commerce ProtocolsFull-text access may be available. Sign in or learn about subscription options.pp. 19
by M. Papa, O. Bremer, J. Hale, S. Shenoi
Session 1: Electronic Commerce: Models and Protocols
An Automated Negotiation Model for Electronic CommerceFull-text access may be available. Sign in or learn about subscription options.pp. 29
by Jo Ueyama, Edmundo R.M. Madeira
Session 2: High Assurance Systems
Adaptive Resource Management in Asynchronous Real-Time Distributed Systems Using Feedback Control FunctionsFull-text access may be available. Sign in or learn about subscription options.pp. 39
by Binoy Ravindran, Pushkin Kachroo, Tamir Hegazy
Session 2: High Assurance Systems
A High Assurance On-line Recovery Technology for a Space On-board ComputerFull-text access may be available. Sign in or learn about subscription options.pp. 47
by Hiroyuki Yashiro, Teruo Fujiwara, Kinji Mori
Session 2: High Assurance Systems
An Integrated Post-locking, Multi-Versioning, and Transformation Scheme for Consistency Maintenance in Real-Time Group EditorsFull-text access may be available. Sign in or learn about subscription options.pp. 57
by Liyin Xue, Kang Zhang, Chengzheng Sun
Session 2: High Assurance Systems
Autonomous Information Provision to Achieve Reliability for Users and ProvidersFull-text access may be available. Sign in or learn about subscription options.pp. 65
by H. Farooq Ahmad, Guanghe Sun, Kinji Mori
Session 4: Fault Tolerance and Safety Critical Systems
On Godefroid's Stateless Search Technique for Testing Concurrent ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 77
by Kuo-Chung Tai, Bengi Karacali
Session 4: Fault Tolerance and Safety Critical Systems
Assurance Technologies for Growing Systems and their Application to Large-Scale Transport Operation Control SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 85
by Kazuo Kera, Keisuke Bekki, Naoki Miwa, Fumio Kitahara, Keiji Kamijyo, Kazuya Seki
Session 4: Fault Tolerance and Safety Critical Systems
Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement FrameworkFull-text access may be available. Sign in or learn about subscription options.pp. 93
by Fabiola Greve, Michel Hurfin, Michel Raynal, Frederic Tronel
Session 4: Fault Tolerance and Safety Critical Systems
Safety Assurance via On-Line Monitoring (Extended Abstract)Full-text access may be available. Sign in or learn about subscription options.pp. 101
by Shlomi Dolev, Frank Stomp
Session 5: Architectures and Model for Distributed Systems
Modularized System Architecture for Flexible Clinical Laboratory SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 111
by Hiroshi Mitsumaki, Toshiyuki Ikeda, Ryuichiro Kodama, Takeiki Aizono
Session 5: Architectures and Model for Distributed Systems
A 3D Interface for the Administration of Component-Bases, Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 119
by Oliver Stiemerling, Michael Hallenberger, Armin B. Cremers
Session 5: Architectures and Model for Distributed Systems
UML-SPACES: A UML Profile for Distributed Systems Coordinated Via Tuple SpacesFull-text access may be available. Sign in or learn about subscription options.pp. 127
by Egidio Astesiano, Gianna Reggio
Session 5: Architectures and Model for Distributed Systems
Scenario-Based Service Composition Method in the Open Service EnvironmentFull-text access may be available. Sign in or learn about subscription options.pp. 135
by Kazuhiro Kiwata, Atsushi Nakano, Shunsuke Yura, Tomotaka Uchihashi, Atsushi Kanai
Session 6: Panel: Agent-Based Electronic Commerce
Panel on Agent-Based Electronic Commerce: Opportunities and ChallengesFull-text access may be available. Sign in or learn about subscription options.pp. 143
by Jen-Yao Chung, Juhnyoung Lee
Session 6: Panel: Agent-Based Electronic Commerce
Agent-Based AuctionsFull-text access may be available. Sign in or learn about subscription options.pp. 144
by Lyndon Lee
Session 6: Panel: Agent-Based Electronic Commerce
Agent-Based Electronic Commerce: Opportunities and ChallengesFull-text access may be available. Sign in or learn about subscription options.pp. 146
by J. Youll
Session 6: Panel: Agent-Based Electronic Commerce
Cultivating the Agent EconomyFull-text access may be available. Sign in or learn about subscription options.pp. 149
by James E. Hanson
Session 7: Electronic Commerce: Technologies and Architectures
A Decentralized XML Database Approach to Electronic CommerceFull-text access may be available. Sign in or learn about subscription options.pp. 153
by Hiroshi Ishikawa, Manabu Ohta
Session 7: Electronic Commerce: Technologies and Architectures
Commitment-Based Interoperation for E-CommerceFull-text access may be available. Sign in or learn about subscription options.pp. 161
by Jie Xing, Feng Wan, Sudhir K. Rustogi, Munindar P. Singh
Session 7: Electronic Commerce: Technologies and Architectures
Service Matching and Collaboration for Electronic CommerceFull-text access may be available. Sign in or learn about subscription options.pp. 169
by Shunsuke Yura, Kazuhiro Kiwata, Atsushi Nakano, Tomotaka Uchihashi, Atsushi Kanai
Session 7: Electronic Commerce: Technologies and Architectures
Dependability Modelling of Homogeneous and Heterogeneous Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 176
by Yinong Chen, Zhongshi He
Session 8: Distributed Object Management Systems
A Distributed Asynchronous Execution Semantics for Programming the Middleware MachineFull-text access may be available. Sign in or learn about subscription options.pp. 187
by Andrew Berry, Simon Kaplan
Session 8: Distributed Object Management Systems
Quorum-Based Locking Protocol for Replicas in Object-Based SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 196
by Katsuya Tanaka, Makoto Takizawa
Session 8: Distributed Object Management Systems
Integrating Autonomous Enterprise Systems through Dependable CORBA ObjectsFull-text access may be available. Sign in or learn about subscription options.pp. 204
by Carlo Marchetti, Antonino Virgillito, Massimo Mecella, Roberto Baldoni
Session 8: Distributed Object Management Systems
Reflective Decision Controls for Autonomous Distributed ObjectsFull-text access may be available. Sign in or learn about subscription options.pp. 212
by En-Hsin Huang, Tzilla Elrad
Session 9: Short Papers
Location Transparent Distributed Scripts and their Execution System on D'AgentFull-text access may be available. Sign in or learn about subscription options.pp. 223
by Osamu Honda, Harumasa Tada, Masahiro Higuchi
Session 9: Short Papers
Efficiently Announcing Multimedia Information from Mobile Computers with the WOR ToolkitFull-text access may be available. Sign in or learn about subscription options.pp. 227
by Shigeaki Tagashira, Akira Fukuda, Keizo Saisho
Session 9: Short Papers
Simulating Agent Based Processing in an ADS Using C++ SIMFull-text access may be available. Sign in or learn about subscription options.pp. 231
by Chiewon Lee, Junghwan Kim, Jerry Stach, E.K. Park
Session 9: Short Papers
The New ATC System with an Autonomous Speed Control with On-Board EquipmentFull-text access may be available. Sign in or learn about subscription options.pp. 235
by Masayuki Matsumoto, Akiyoshi Hosokawa, Satoru Kitamura, Dai Watanabe, Atsushi Kawabata
Session 9: Short Papers
Behavior Patterns for Mobile Agent Systems from the Development Process ViewpointFull-text access may be available. Sign in or learn about subscription options.pp. 239
by Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
Session 9: Short Papers
Mobile Agents in Network-Centric WarfareFull-text access may be available. Sign in or learn about subscription options.pp. 243
by Marion G. Cerut
Session 9: Short Papers
Building Holonic Control Systems with Function BlocksFull-text access may be available. Sign in or learn about subscription options.pp. 247
by Martyn Fletcher
Session 9: Short Papers
Reactive Web Agents with Open Constraint ProgrammingFull-text access may be available. Sign in or learn about subscription options.pp. 251
by Kenny Q. Zhu, Wee-Yeh Tan, Andrew E. Santosa, Roland H.C. Yap
Session 9: Short Papers
An Architecture for Adaptively Replicating Cooperative Shared ObjectsFull-text access may be available. Sign in or learn about subscription options.pp. 255
by Zhu Jun Yu Yong
Keynote Address
The Wireless World in 2010: New OrientationsFull-text access may be available. Sign in or learn about subscription options.
by Fiona Williams, Ericsson, Sweden
Session 10: Multi-Agent Systems
A Framework for Developing Reactive Information Agents with Heterogeneous Communication CapabilitiesFull-text access may be available. Sign in or learn about subscription options.pp. 263
by Dimitris Vyzovitis, Keith L. Clark
Session 10: Multi-Agent Systems
Rule-Driven Coordination Agents: A Self-Configurable Agent Architecture for Distributed ControlFull-text access may be available. Sign in or learn about subscription options.pp. 271
by M. Brian Blake
Session 10: Multi-Agent Systems
Mobile Agent Messaging ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 278
by Dwight Deugo
Session 10: Multi-Agent Systems
Decentralized Control of Hybrid SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 287
by Rainer Palm, Thomas A. Runkler
Session 11: Panel: Embedded Systems:Chair: F. Bastani, University of Texas at Dallas, USA
The Need for Verification and Validation Techniques for Adaptive Control SystemFull-text access may be available. Sign in or learn about subscription options.pp. 297
by Bojan Cukic
Session 11: Panel: Embedded Systems:Chair: F. Bastani, University of Texas at Dallas, USA
Embedded Software Development Challenges in the Digital Signal Processing EraFull-text access may be available. Sign in or learn about subscription options.pp. 299
by John Linn
Session 12: Middleware Technologies
Type-Safe Trading Proxies Using TORBAFull-text access may be available. Sign in or learn about subscription options.pp. 303
by Raphael Marvie, Philippe Merle, Jean-Marc Geib, Sylvain Leblanc
Session 12: Middleware Technologies
An Automated Client-Driven Approach to Data Extraction using an Autonomous Decentralized ArchitectureFull-text access may be available. Sign in or learn about subscription options.pp. 311
by M. Brian Blake, Patricia Liguori
Session 12: Middleware Technologies
Reconfigurable Context-Sensitive Middleware for ADS Applications in Mobile Ad Hoc Network EnvironmentsFull-text access may be available. Sign in or learn about subscription options.pp. 319
by Stephen S. Yau, Fariaz Karim
Session 12: Middleware Technologies
TMOES: A CORBA Service Middleware Enabling High-Level Real-Time Object ProgrammingFull-text access may be available. Sign in or learn about subscription options.pp. 327
by K.H. (Kane) Kim, J.Q. Liu, H. Miyazaki, E.H. Shokri
Session 14: Agent Technologies for Electronic Commerce
How Agents from Different E-Commerce Enterprises CooperateFull-text access may be available. Sign in or learn about subscription options.pp. 341
by Qiming Chen, Meichun Hsu, Igor Kleyner
Session 14: Agent Technologies for Electronic Commerce
Brokering Based Self Organizing E-Service CommunitiesFull-text access may be available. Sign in or learn about subscription options.pp. 349
by Sumi Helal, Mei Wang, Arun Jagatheesan, Raja Krithivasan
Session 14: Agent Technologies for Electronic Commerce
A Real-Time Multi-Agent System Architecture for E-Commerce ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 357
by Lisa Cingiser DiPippo, Victor Fay-Wolfe, Lekshmi Nair, Ethan Hodys, Oleg Uvarov
Session 14: Agent Technologies for Electronic Commerce
Flexible Manufacturing Control with PLC, CNC, and Software-AgentsFull-text access may be available. Sign in or learn about subscription options.pp. 365
by Ronald Schoop, Ralf Neubert, Boris Suessmann
Session 15: Self-Stabilizing Systems
The Multi-Agent System for Dynamic Network RoutingFull-text access may be available. Sign in or learn about subscription options.pp. 375
by Ryokichi Onishi, Saneyasu Yamaguchi, Hiroaki Morino, Hitoshi Aida, Tadao Saito
Session 15: Self-Stabilizing Systems
Ant Colony Control for Autonomous Decentralized Shop Floor RoutingFull-text access may be available. Sign in or learn about subscription options.pp. 383
by Vincent A. Cicirello, Stephen F. Smith
Session 15: Self-Stabilizing Systems
A Study of Synthetic Creativity through Behavior Modeling and Simulation of an Ant ColonyFull-text access may be available. Sign in or learn about subscription options.pp. 391
by Peter S. Heck, Sumit Ghosh
Session 15: Self-Stabilizing Systems
A Stabilizing Search Tree with Availability PropertiesFull-text access may be available. Sign in or learn about subscription options.pp. 398
by Ted Herman, Toshimitsu Masuzawa
Keynote Address
Decentralized E-Business Applications for Government SystemsFull-text access may be available. Sign in or learn about subscription options.
by Henry Bayard, The MITRE Corporation, Usa
Session 16: Secure Systems and Applications
Data Protection in Mobile Agents: One-Time Key-Based ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 411
by Jong-Youl Park, Dong-Ik Lee, Hyung-Hyo Lee
Session 16: Secure Systems and Applications
Access Revocation and Prevention of False Repudiation in Secure Email ExchangesFull-text access may be available. Sign in or learn about subscription options.pp. 419
by Li Bai, Ramasubramaniam Achuthanandam, Moshe Kam
Session 16: Secure Systems and Applications
Formal Analysis of Software Security System ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 426
by Jeffrey J.P. Tsai, Yi Deng, Jiacun Wang
Session 16: Secure Systems and Applications
Concepts and Architecture of a Security-Centric Mobile Agent ServerFull-text access may be available. Sign in or learn about subscription options.pp. 435
by Volker Roth, Mehrdad Jalali-Sohi
Session 18: Modeling and Performance Analysis
Autonomous Data Consistency Technique through Fair Evaluation among Heterogeneous SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 447
by Isao Kaji, Shohei Kato, Kinji Mori
Session 18: Modeling and Performance Analysis
Analysis of Algorithms for Supporting Disconnected Write Operations in Mobile Client-Server EnvironmentsFull-text access may be available. Sign in or learn about subscription options.pp. 456
by Ing-Ray Chen, Ngoc Anh Phan, I-Ling Yen
Session 18: Modeling and Performance Analysis
GDEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 464
by Norbert Giambasi, Bruno Escude, Sumit Ghosh
Session 18: Modeling and Performance Analysis
Autonomous Navigation in Information Service Systems for Load Balancing User DemandsFull-text access may be available. Sign in or learn about subscription options.pp. 470
by Hélène Arfaoui, Kinji Mori
Panel: Future of Autonomous Decentralized Systems
Author IndexFreely available from IEEE.pp. 483
Showing 72 out of 72