5. ISADS 2001:
Dallas,
Texas,
USA
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
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
Electronic Commerce:
Technologies and Architectures
Distributed Object Management Systems
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
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
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
Secure Systems and Applications
Modeling and Performance Analysis
Last update Fri May 25 08:23:38 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
