CSDL - Proceedings I

Program Chair's Message (PDF)

pp. xiii

Conference Organizers (PDF)

pp. xiv

Reviewers (PDF)

pp. xvi

Keynote Address

New Business Trends in IT Services

Session 1: Electronic Commerce: Models and Protocols

A Dependable Distributed Auction System: Architecture and an Implementation Framework (Abstract)

Paul Ezhilchelvan, University of Newcastle

Graham Morgan, University of Newcastle

pp. 3

PDF

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

PDF

Formal Analysis of E-Commerce Protocols (Abstract)

M. Papa, University of Tulsa

O. Bremer, University of Tulsa

J. Hale, University of Tulsa

S. Shenoi, University of Tulsa

pp. 19

PDF

An Automated Negotiation Model for Electronic Commerce (Abstract)

Jo Ueyama, UNICAMP - University of Campinas

Edmundo R.M. Madeira, UNICAMP - University of Campinas

pp. 29

PDF

Session 2: High Assurance Systems

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

Binoy Ravindran, Virginia Polytechnic Institute and State University

Pushkin Kachroo, Virginia Polytechnic Institute and State University

Tamir Hegazy, Virginia Polytechnic Institute and State University

pp. 39

PDF

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

PDF

An Integrated Post-locking, Multi-Versioning, and Transformation Scheme for Consistency Maintenance in Real-Time Group Editors (Abstract)

Liyin Xue, Macquarie University

Kang Zhang, University of Texas at Dallas

Chengzheng Sun, Griffith University

pp. 57

PDF

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

H. Farooq Ahmad, Tokyo Institute of Technology

Guanghe Sun, Tokyo Institute of Technology

Kinji Mori, Tokyo Institute of Technology

pp. 65

PDF

Session 3: Panel: XML and E-Business Frameworks

Session 4: Fault Tolerance and Safety Critical Systems

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

Kuo-Chung Tai, North Carolina State University

Bengi Karacali, North Carolina State University

pp. 77

PDF

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

Kazuo Kera, Hitachi Ltd.

Keisuke Bekki, Hitachi Ltd.

Naoki Miwa, Hitachi Ltd.

Fumio Kitahara, East Japan Railway Co.

Keiji Kamijyo, East Japan Railway Co.

Kazuya Seki, East Japan Railway Co.

pp. 85

PDF

Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework (Abstract)

Fabiola Greve, IRISA

Michel Hurfin, IRISA

Michel Raynal, IRISA

Frederic Tronel, IRISA

pp. 93

PDF

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

Shlomi Dolev, Ben-Gurion University of the Negev

Frank Stomp, Wayne State University

pp. 101

PDF

Session 5: Architectures and Model for Distributed Systems

Modularized System Architecture for Flexible Clinical Laboratory Systems (Abstract)

Hiroshi Mitsumaki, Hitachi Ltd.

Toshiyuki Ikeda, Hitachi Ltd.

Ryuichiro Kodama, Hitachi Ltd.

Takeiki Aizono, Hitachi Ltd.

pp. 111

PDF

A 3D Interface for the Administration of Component-Bases, Distributed Systems (Abstract)

Oliver Stiemerling, University of Bonn

Michael Hallenberger, University of Bonn

Armin B. Cremers, University of Bonn

pp. 119

PDF

UML-SPACES: A UML Profile for Distributed Systems Coordinated Via Tuple Spaces (Abstract)

Egidio Astesiano, Universit? di Genova

Gianna Reggio, Universit? di Genova

pp. 127

PDF

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

Kazuhiro Kiwata, NTT Information Sharing Platform Laboratories

Atsushi Nakano, NTT Information Sharing Platform Laboratories

Shunsuke Yura, NTT Information Sharing Platform Laboratories

Tomotaka Uchihashi, NTT Information Sharing Platform Laboratories

Atsushi Kanai, NTT Information Sharing Platform Laboratories

pp. 135

PDF

Session 6: Panel: Agent-Based Electronic Commerce

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

Jen-Yao Chung, IBM T. J. Watson Research Center

Juhnyoung Lee, IBM T. J. Watson Research Center

pp. 143

PDF

Agent-Based Auctions (PDF)

Lyndon Lee, BT Laboratories

pp. 144

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

J. Youll

pp. 146

PDF

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)

Hiroshi Ishikawa, Tokyo Metropolitan University

Manabu Ohta, Tokyo Metropolitan University

pp. 153

PDF

Commitment-Based Interoperation for E-Commerce (Abstract)

Jie Xing, North Carolina State University

Feng Wan, North Carolina State University

Sudhir K. Rustogi, North Carolina State University

Munindar P. Singh, North Carolina State University

pp. 161

PDF

Service Matching and Collaboration for Electronic Commerce (Abstract)

Shunsuke Yura, NTT Information Sharing Platform Laboratories

Kazuhiro Kiwata, NTT Information Sharing Platform Laboratories

Atsushi Nakano, NTT Information Sharing Platform Laboratories

Tomotaka Uchihashi, NTT Information Sharing Platform Laboratories

Atsushi Kanai, NTT Information Sharing Platform Laboratories

pp. 169

PDF

Dependability Modelling of Homogeneous and Heterogeneous Distributed Systems (Abstract)

Yinong Chen, University of the Witwatersrand

Zhongshi He, University of the Witwatersrand

pp. 176

PDF

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

PDF

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

Katsuya Tanaka, Tokyo Denki University

Makoto Takizawa, Tokyo Denki University

pp. 196

PDF

Integrating Autonomous Enterprise Systems through Dependable CORBA Objects (Abstract)

Carlo Marchetti, Universit? di Roma "La Sapienza"

Antonino Virgillito, Universit? di Roma "La Sapienza"

Massimo Mecella, Universit? di Roma "La Sapienza"

Roberto Baldoni, Universit? di Roma "La Sapienza"

pp. 204

PDF

Reflective Decision Controls for Autonomous Distributed Objects (Abstract)

En-Hsin Huang, Lucent Technologies, Inc

Tzilla Elrad, Illinois Institute of Technology

pp. 212

PDF

Session 9: Short Papers

Location Transparent Distributed Scripts and their Execution System on D'Agent (Abstract)

Osamu Honda, Osaka University

Harumasa Tada, Osaka University

Masahiro Higuchi, Kinki University

pp. 223

PDF

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

Shigeaki Tagashira, Nara Institute of Science and Technology

Akira Fukuda, Nara Institute of Science and Technology

Keizo Saisho, Kagawa University

pp. 227

PDF

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

Chiewon Lee, University of Missouri

Junghwan Kim, University of Missouri

Jerry Stach, University of Missouri

E.K. Park, University of Missouri

pp. 231

PDF

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

Masayuki Matsumoto, East Japan Railway Company

Akiyoshi Hosokawa, East Japan Railway Company

Satoru Kitamura, East Japan Railway Company

Dai Watanabe, Hitachi, Ltd.

Atsushi Kawabata, Hitachi, Ltd.

pp. 235

PDF

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

Yasuyuki Tahara, TOSHIBA Corporation

Akihiko Ohsuga, TOSHIBA Corporation

Shinichi Honiden, National Institute of Informatics

pp. 239

PDF

Mobile Agents in Network-Centric Warfare (Abstract)

Marion G. Cerut, Space and Naval Warfare Systems Center

pp. 243

PDF

Building Holonic Control Systems with Function Blocks (Abstract)

Martyn Fletcher, University of Calgary

pp. 247

PDF

Reactive Web Agents with Open Constraint Programming (Abstract)

Kenny Q. Zhu, National University of Singapore

Wee-Yeh Tan, National University of Singapore

Andrew E. Santosa, National University of Singapore

Roland H.C. Yap, National University of Singapore

pp. 251

PDF

An Architecture for Adaptively Replicating Cooperative Shared Objects (Abstract)

Zhu Jun Yu Yong, Shanghai JiaoTong University

pp. 255

PDF

The Wireless World in 2010: New Orientations

Session 10: Multi-Agent Systems

A Framework for Developing Reactive Information Agents with Heterogeneous Communication Capabilities (Abstract)

Dimitris Vyzovitis, MIT Media Laboratory

Keith L. Clark, Imperial College

pp. 263

PDF

Rule-Driven Coordination Agents: A Self-Configurable Agent Architecture for Distributed Control (Abstract)

M. Brian Blake, Georgetown University

pp. 271

PDF

Mobile Agent Messaging Models (Abstract)

Dwight Deugo, Carleton University

pp. 278

PDF

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

PDF

The Need for Verification and Validation Techniques for Adaptive Control System (PDF)

Session 11: Panel: Embedded Systems:Chair: F. Bastani, University of Texas at Dallas, USA

Panelists:

Bojan Cukic, West Virginia University

pp. 297

Embedded Software Development Challenges in the Digital Signal Processing Era (PDF)

John Linn, Texas Instruments Inc.

pp. 299

Session 12: Middleware Technologies

Type-Safe Trading Proxies Using TORBA (Abstract)

Raphael Marvie, UPRESA CNRS 8022

Philippe Merle, UPRESA CNRS 8022

Jean-Marc Geib, UPRESA CNRS 8022

Sylvain Leblanc, UPRESA CNRS 8022

pp. 303

PDF

An Automated Client-Driven Approach to Data Extraction using an Autonomous Decentralized Architecture (Abstract)

M. Brian Blake, The MITRE Corporation

Patricia Liguori, The MITRE Corporation

pp. 311

PDF

Reconfigurable Context-Sensitive Middleware for ADS Applications in Mobile Ad Hoc Network Environments (Abstract)

Stephen S. Yau, Arizona State University

Fariaz Karim, Arizona State University

pp. 319

PDF

TMOES: A CORBA Service Middleware Enabling High-Level Real-Time Object Programming (Abstract)

K.H. (Kane) Kim, UC Irvine

J.Q. Liu, UC Irvine

H. Miyazaki, UC Irvine

E.H. Shokri, Sun Microsystems

pp. 327

PDF

Session 13: Panel: Mobile Computing and Communication

Session 14: Agent Technologies for Electronic Commerce

How Agents from Different E-Commerce Enterprises Cooperate (Abstract)

Qiming Chen, HP Labs

Meichun Hsu, HP Labs

Igor Kleyner, HP Labs

pp. 341

PDF

Brokering Based Self Organizing E-Service Communities (Abstract)

Sumi Helal, University of Florida

Mei Wang, University of Florida

Arun Jagatheesan, University of Florida

Raja Krithivasan, University of Florida

pp. 349

PDF

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

Lisa Cingiser DiPippo, The University of Rhode Island

Victor Fay-Wolfe, The University of Rhode Island

Lekshmi Nair, The University of Rhode Island

Ethan Hodys, The University of Rhode Island

Oleg Uvarov, The University of Rhode Island

pp. 357

PDF

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

Ronald Schoop, Schneider Electric, Development Central

Ralf Neubert, Schneider Electric, Development Central

Boris Suessmann, Schneider Electric, Development Central

pp. 365

PDF

Session 15: Self-Stabilizing Systems

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

Ryokichi Onishi, The University of Tokyo

Saneyasu Yamaguchi, The University of Tokyo

Hiroaki Morino, The University of Tokyo

Hitoshi Aida, The University of Tokyo

Tadao Saito, The University of Tokyo

pp. 375

PDF

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

Vincent A. Cicirello, Carnegie Mellon University

Stephen F. Smith, Carnegie Mellon University

pp. 383

PDF

A Study of Synthetic Creativity through Behavior Modeling and Simulation of an Ant Colony (Abstract)

Peter S. Heck, Arizona State University

Sumit Ghosh, Arizona State University

pp. 391

PDF

A Stabilizing Search Tree with Availability Properties (Abstract)

Ted Herman, University of Iowa

Toshimitsu Masuzawa, Osaka University

pp. 398

PDF

Decentralized E-Business Applications for Government Systems

Session 17: Panel: Robotics for Education and Entertainment

Session 16: Secure Systems and Applications

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

Jong-Youl Park, Kwang-Ju Institute of Science and Technology (K-JIST)

Dong-Ik Lee, Kwang-Ju Institute of Science and Technology (K-JIST)

Hyung-Hyo Lee, Kwang-Ju Institute of Science and Technology (K-JIST)

pp. 411

PDF

Access Revocation and Prevention of False Repudiation in Secure Email Exchanges (Abstract)

Li Bai, Drexel University

Ramasubramaniam Achuthanandam, Drexel University

Moshe Kam, Drexel University

pp. 419

PDF

Formal Analysis of Software Security System Architectures (Abstract)

Jeffrey J.P. Tsai, University of Illinois at Chicago

Yi Deng, University of Texas at Dallas

Jiacun Wang, Florida International University

pp. 426

PDF

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

Volker Roth, Fraunhofer Institut fur Graphische Datenverarbeitung

Mehrdad Jalali-Sohi, Fraunhofer Institut fur Graphische Datenverarbeitung

pp. 435

PDF

Session 18: Modeling and Performance Analysis

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

Isao Kaji, Miyagi University

Shohei Kato, Tokyo Institute of Technology

Kinji Mori, Tokyo Institute of Technology

pp. 447

PDF

Analysis of Algorithms for Supporting Disconnected Write Operations in Mobile Client-Server Environments (PDF)

Ing-Ray Chen, Virginia Tech

Ngoc Anh Phan, America Online

I-Ling Yen, University of Texas at Dallas

pp. 456

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

Norbert Giambasi, Domaine Universitaire de St J?r?

Bruno Escude, Domaine Universitaire de St J?r?

Sumit Ghosh, Arizona State University

pp. 464

PDF

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

PDF

Session 19: Panel: Security for the Web and E-Commerce Systems

Panel: Future of Autonomous Decentralized Systems

Author Index (PDF)

pp. 483