The Community for Technology Leaders
2013 IEEE Eleventh International Symposium on Autonomous Decentralized Systems (ISADS) (2001)
Dallas, Texas
Mar. 26, 2001 to Mar. 28, 2001
ISBN: 0-7695-1065-5
TABLE OF CONTENTS

Reviewers (PDF)

pp. xvi
Keynote Address
Session 1: Electronic Commerce: Models and Protocols

An Agent-based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce (Abstract)

Haiping Xu , The University of Illinois at Chicago
Sol M. Shatz , The University of Illinois at Chicago
pp. 11

Formal Analysis of E-Commerce Protocols (Abstract)

S. Shenoi , University of Tulsa
J. Hale , University of Tulsa
M. Papa , University of Tulsa
O. Bremer , University of Tulsa
pp. 19

An Automated Negotiation Model for Electronic Commerce (Abstract)

Edmundo R.M. Madeira , UNICAMP - University of Campinas
Jo Ueyama , UNICAMP - University of Campinas
pp. 29
Session 2: High Assurance Systems

Adaptive Resource Management in Asynchronous Real-Time Distributed Systems Using Feedback Control Functions (Abstract)

Pushkin Kachroo , Virginia Polytechnic Institute and State University
Binoy Ravindran , Virginia Polytechnic Institute and State University
Tamir Hegazy , Virginia Polytechnic Institute and State University
pp. 39

A High Assurance On-line Recovery Technology for a Space On-board Computer (Abstract)

Hiroyuki Yashiro , IHI Aerospace Co., Ltd.,
Teruo Fujiwara , IHI Aerospace Co., Ltd.,
Kinji Mori , Tokyo Institute of Technology
pp. 47

Autonomous Information Provision to Achieve Reliability for Users and Providers (Abstract)

H. Farooq Ahmad , Tokyo Institute of Technology
Kinji Mori , Tokyo Institute of Technology
Guanghe Sun , Tokyo Institute of Technology
pp. 65
Session 4: Fault Tolerance and Safety Critical Systems

On Godefroid's Stateless Search Technique for Testing Concurrent Programs (Abstract)

Bengi Karacali , North Carolina State University
Kuo-Chung Tai , North Carolina State University
pp. 77

Assurance Technologies for Growing Systems and their Application to Large-Scale Transport Operation Control Systems (Abstract)

Kazuo Kera , Hitachi Ltd.
Naoki Miwa , Hitachi Ltd.
Fumio Kitahara , East Japan Railway Co.
Keiji Kamijyo , East Japan Railway Co.
Kazuya Seki , East Japan Railway Co.
Keisuke Bekki , Hitachi Ltd.
pp. 85

Safety Assurance via On-Line Monitoring (Extended Abstract) (Abstract)

Shlomi Dolev , Ben-Gurion University of the Negev
Frank Stomp , Wayne State University
pp. 101
Session 5: Architectures and Model for Distributed Systems

Scenario-Based Service Composition Method in the Open Service Environment (Abstract)

Atsushi Kanai , NTT Information Sharing Platform Laboratories
Kazuhiro Kiwata , NTT Information Sharing Platform Laboratories
Tomotaka Uchihashi , NTT Information Sharing Platform Laboratories
Atsushi Nakano , NTT Information Sharing Platform Laboratories
Shunsuke Yura , NTT Information Sharing Platform Laboratories
pp. 135
Session 6: Panel: Agent-Based Electronic Commerce

Panel on Agent-Based Electronic Commerce: Opportunities and Challenges (Abstract)

Juhnyoung Lee , IBM T. J. Watson Research Center
Jen-Yao Chung , IBM T. J. Watson Research Center
pp. 143

Agent-Based Auctions (PDF)

Lyndon Lee , BT Laboratories
pp. 144

Cultivating the Agent Economy (PDF)

James E. Hanson , IBM Thomas J. Watson Research Center
pp. 149
Session 7: Electronic Commerce: Technologies and Architectures

A Decentralized XML Database Approach to Electronic Commerce (Abstract)

Manabu Ohta , Tokyo Metropolitan University
Hiroshi Ishikawa , Tokyo Metropolitan University
pp. 153

Commitment-Based Interoperation for E-Commerce (Abstract)

Feng Wan , North Carolina State University
Sudhir K. Rustogi , North Carolina State University
Jie Xing , North Carolina State University
Munindar P. Singh , North Carolina State University
pp. 161

Service Matching and Collaboration for Electronic Commerce (Abstract)

Shunsuke Yura , NTT Information Sharing Platform Laboratories
Kazuhiro Kiwata , NTT Information Sharing Platform Laboratories
Tomotaka Uchihashi , NTT Information Sharing Platform Laboratories
Atsushi Kanai , NTT Information Sharing Platform Laboratories
Atsushi Nakano , NTT Information Sharing Platform Laboratories
pp. 169

Dependability Modelling of Homogeneous and Heterogeneous Distributed Systems (Abstract)

Zhongshi He , University of the Witwatersrand
Yinong Chen , University of the Witwatersrand
pp. 176
Session 8: Distributed Object Management Systems

A Distributed Asynchronous Execution Semantics for Programming the Middleware Machine (Abstract)

Andrew Berry , The University of Queensland
Simon Kaplan , The University of Queensland
pp. 187

Quorum-Based Locking Protocol for Replicas in Object-Based Systems (Abstract)

Makoto Takizawa , Tokyo Denki University
Katsuya Tanaka , Tokyo Denki University
pp. 196

Integrating Autonomous Enterprise Systems through Dependable CORBA Objects (Abstract)

Antonino Virgillito , Universit? di Roma "La Sapienza"
Roberto Baldoni , Universit? di Roma "La Sapienza"
Carlo Marchetti , Universit? di Roma "La Sapienza"
Massimo Mecella , Universit? di Roma "La Sapienza"
pp. 204

Reflective Decision Controls for Autonomous Distributed Objects (Abstract)

En-Hsin Huang , Lucent Technologies, Inc
Tzilla Elrad , Illinois Institute of Technology
pp. 212
Session 9: Short Papers

Efficiently Announcing Multimedia Information from Mobile Computers with the WOR Toolkit (Abstract)

Keizo Saisho , Kagawa University
Shigeaki Tagashira , Nara Institute of Science and Technology
Akira Fukuda , Nara Institute of Science and Technology
pp. 227

Simulating Agent Based Processing in an ADS Using C++ SIM (Abstract)

Chiewon Lee , University of Missouri
E.K. Park , University of Missouri
Jerry Stach , University of Missouri
Junghwan Kim , University of Missouri
pp. 231

The New ATC System with an Autonomous Speed Control with On-Board Equipment (Abstract)

Satoru Kitamura , East Japan Railway Company
Atsushi Kawabata , Hitachi, Ltd.
Masayuki Matsumoto , East Japan Railway Company
Dai Watanabe , Hitachi, Ltd.
Akiyoshi Hosokawa , East Japan Railway Company
pp. 235

Behavior Patterns for Mobile Agent Systems from the Development Process Viewpoint (Abstract)

Yasuyuki Tahara , TOSHIBA Corporation
Shinichi Honiden , National Institute of Informatics
Akihiko Ohsuga , TOSHIBA Corporation
pp. 239

Mobile Agents in Network-Centric Warfare (Abstract)

Marion G. Cerut , Space and Naval Warfare Systems Center
pp. 243

Reactive Web Agents with Open Constraint Programming (Abstract)

Roland H.C. Yap , National University of Singapore
Kenny Q. Zhu , National University of Singapore
Wee-Yeh Tan , National University of Singapore
Andrew E. Santosa , National University of Singapore
pp. 251
Keynote Address
Session 10: Multi-Agent Systems

Mobile Agent Messaging Models (Abstract)

Dwight Deugo , Carleton University
pp. 278

Decentralized Control of Hybrid Systems (Abstract)

Rainer Palm , Siemens AG, Corporate Technology, Information and Communications
Thomas A. Runkler , Siemens AG, Corporate Technology, Information and Communications
pp. 287
Session 11: Panel: Embedded Systems:Chair: F. Bastani, University of Texas at Dallas, USA

Panelists: (PDF)

pp. null
Session 12: Middleware Technologies

Type-Safe Trading Proxies Using TORBA (Abstract)

Sylvain Leblanc , UPRESA CNRS 8022
Jean-Marc Geib , UPRESA CNRS 8022
Raphael Marvie , UPRESA CNRS 8022
Philippe Merle , UPRESA CNRS 8022
pp. 303
Session 14: Agent Technologies for Electronic Commerce

Brokering Based Self Organizing E-Service Communities (Abstract)

Raja Krithivasan , University of Florida
Mei Wang , University of Florida
Arun Jagatheesan , University of Florida
Sumi Helal , University of Florida
pp. 349

A Real-Time Multi-Agent System Architecture for E-Commerce Applications (Abstract)

Ethan Hodys , The University of Rhode Island
Oleg Uvarov , The University of Rhode Island
Lisa Cingiser DiPippo , The University of Rhode Island
Lekshmi Nair , The University of Rhode Island
Victor Fay-Wolfe , The University of Rhode Island
pp. 357

Flexible Manufacturing Control with PLC, CNC, and Software-Agents (Abstract)

Boris Suessmann , Schneider Electric, Development Central
Ronald Schoop , Schneider Electric, Development Central
Ralf Neubert , Schneider Electric, Development Central
pp. 365
Session 15: Self-Stabilizing Systems

The Multi-Agent System for Dynamic Network Routing (Abstract)

Saneyasu Yamaguchi , The University of Tokyo
Ryokichi Onishi , The University of Tokyo
Hitoshi Aida , The University of Tokyo
Hiroaki Morino , The University of Tokyo
Tadao Saito , The University of Tokyo
pp. 375

Ant Colony Control for Autonomous Decentralized Shop Floor Routing (Abstract)

Vincent A. Cicirello , Carnegie Mellon University
Stephen F. Smith , Carnegie Mellon University
pp. 383

A Stabilizing Search Tree with Availability Properties (Abstract)

Toshimitsu Masuzawa , Osaka University
Ted Herman , University of Iowa
pp. 398
Keynote Address
Session 16: Secure Systems and Applications

Data Protection in Mobile Agents: One-Time Key-Based Approach (Abstract)

Dong-Ik Lee , Kwang-Ju Institute of Science and Technology (K-JIST)
Jong-Youl Park , Kwang-Ju Institute of Science and Technology (K-JIST)
Hyung-Hyo Lee , Kwang-Ju Institute of Science and Technology (K-JIST)
pp. 411

Formal Analysis of Software Security System Architectures (Abstract)

Jeffrey J.P. Tsai , University of Illinois at Chicago
Jiacun Wang , Florida International University
Yi Deng , University of Texas at Dallas
pp. 426

Concepts and Architecture of a Security-Centric Mobile Agent Server (Abstract)

Mehrdad Jalali-Sohi , Fraunhofer Institut fur Graphische Datenverarbeitung
Volker Roth , Fraunhofer Institut fur Graphische Datenverarbeitung
pp. 435
Session 18: Modeling and Performance Analysis

Autonomous Data Consistency Technique through Fair Evaluation among Heterogeneous Systems (Abstract)

Shohei Kato , Tokyo Institute of Technology
Kinji Mori , Tokyo Institute of Technology
Isao Kaji , Miyagi University
pp. 447

GDEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems (Abstract)

Sumit Ghosh , Arizona State University
Bruno Escude , Domaine Universitaire de St J?r?
Norbert Giambasi , Domaine Universitaire de St J?r?
pp. 464

Autonomous Navigation in Information Service Systems for Load Balancing User Demands (Abstract)

Hélène Arfaoui , Tokyo Institute of Technology
Kinji Mori , Tokyo Institute of Technology
pp. 470
Panel: Future of Autonomous Decentralized Systems

Author Index (PDF)

pp. 483
95 ms
(Ver 3.3 (11022016))