ISADS C

64 papers

YearTitle / Authors
2001A 3D Interface for the Administration of Component-Based, Distributed Systems.
Oliver Stiemerling, Michael Hallenberger, Armin B. Cremers
2001A Decentralized XML Database Approach to Electronic Commerce.
Hiroshi Ishikawa, Manabu Ohta
2001A Dependable Distributed Auction System: Architecture and an Implementation Framework.
Paul D. Ezhilchelvan, Graham Morgan
2001A Distributed Asynchronous Execution Semantics for Programming the Middleware Machine.
Andrew Berry, Simon M. Kaplan
2001A Framework for Developing Reactive Information Agents with Heterogeneous Communication Capabilities.
Dimitris Vyzovitis, Keith L. Clark
2001A High Assurance On-Line Recovery Technology for a Space On-Board Computer.
Hiroyuki Yashiro, Teruo Fujiwara, Kinji Mori
2001A Real-Time Multi-Agent System Architecture for E-Commerce Applications.
Lisa Cingiser DiPippo, Victor Fay Wolfe, Lekshmi Nair, Ethan Hodys, Oleg Uvarov
2001A Stabilizing Search Tree with Availability Properties.
Ted Herman, Toshimitsu Masuzawa
2001A Study of Synthetic Creativity through Behavior Modeling and Simulation of an Ant Colony.
Peter S. Heck, Sumit Ghosh
2001Access Revocation and Prevention of False Repudiation in Secure Email Exchanges.
Li Bai, Ramasubramaniam Achuthanandam, Moshe Kam
2001Adaptive Resource Management in Asynchronous Real-Time Distributed Systems Using Feedback Control Functions.
Binoy Ravindran, Pushkin Kachroo, Tamir Hegazy
2001Agent-Based Auctions.
Lyndon C. Lee
2001Agent-Based Electronic Commerce: Opportunities and Challenges.
Jen-Yao Chung, Juhnyoung Lee
2001Agent-Based Electronic Commerce: Opportunities and Challenges.
Jim Youll
2001An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce.
Haiping Xu, Sol M. Shatz
2001An Architecture for Adaptively Replicating Cooperative Shared Objects.
Zhu Jun, Yong Yu
2001An Automated Client-Driven Approach to Data Extraction Using an Autonomous Decentralized Architecture.
M. Brian Blake, Patricia Liguori
2001An Automated Negotiation Model for Electronic Commerce.
Jo Ueyama, Edmundo R. M. Madeira
2001An Integrated Post-Locking, Multi-Versioning, and Transformation Scheme for Consistency Maintenance in Real-Time Group Editors.
Liyin Xue, Kang Zhang, Chengzheng Sun
2001Analysis of Algorithms for Supporting Disconnected Write Operations in Mobile Client-Server Environments.
Ing-Ray Chen, Ngoc Anh Phan, I-Ling Yen
2001Ant Colony Control for Autonomous Decentralized Shop Floor Routing.
Vincent A. Cicirello, Stephen F. Smith
2001Assurance Technologies for Growing Systems and Their Application to Large-Scale Transport Operation Control Systems.
Kazuo Kera, Keisuke Bekki, Naoki Miwa, Fumio Kitahara, Keiji Kamijyo, Kazuya Seki
2001Autonomous Data Consistency Technique through Fair Evaluation among Heterogeneous Systems.
Isao Kaji, Shohei Kato, Kinji Mori
2001Autonomous Information Provision to Achieve Reliability for Users and Providers.
Hafiz Farooq Ahmad, Guanghe Sun, Kinji Mori
2001Autonomous Navigation in Information Service Systems for Load Balancing User Demands.
Hélène Arfaoui, Kinji Mori
2001Behavior Patterns for Mobile Agent Systems from the Development Process Viewpoint.
Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
2001Brokering Based Self Organizing E-Service Communities.
Abdelsalam Helal, Mei Wang, Arun Jagatheesan, Raja Krithivasan
2001Building Holonic Control Systems with Function Blocks.
Martyn Fletcher
2001Commitment-Based Interoperation for E-Commerce.
Jie Xing, Feng Wan, Sudhir K. Rustogi, Munindar P. Singh
2001Concepts and Architecture of a Security-Centric Mobile Agent Server.
Volker Roth, Mehrdad Jalali-Sohi
2001Cultivating the Agent Economy.
James E. Hanson
2001Data Protection in Mobile Agents: One-time Key-based Approach.
Jong-Youl Park, Dong-Ik Lee, HyungHyo Lee
2001Decentralized Control of Hybrid Systems.
Rainer Palm, Thomas A. Runkler
2001Dependability Modeling of Homogeneous and Heterogeneous Distributed Systems.
Yinong Chen, Zhongshi He
2001Efficiently Announcing Multimedia Information from Mobile Computers with the WOR Toolkit.
Shigeaki Tagashira, Akira Fukuda, Keizo Saisho
2001Embedded Software Development Challenges in the Digital Signal Processing Era.
John Linn
2001Fifth International Symposium on Autonomous Decentralized Systems, ISADS 2001, Dallas, Texas, USA, March 26-28, 2001
2001Flexible Manufacturing Control with PLC, CNC and Software Agents.
Ronald Schoop, Ralf Neubert, Boris Suessmann
2001Formal Analysis of E-Commerce Protocols.
Mauricio Papa, Oliver Bremer, John Hale, Sujeet Shenoi
2001Formal Analysis of Software Security System Architectures.
Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai
2001GDEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems.
Norbert Giambiasi, Bruno Escude, Sumit Ghosh
2001How Agents from Different E-Commerce Enterprises Cooperate.
Qiming Chen, Meichun Hsu, Igor Kleyner
2001Integrating Autonomous Enterprise Systems through Dependable CORBA Objects.
Carlo Marchetti, Antonino Virgillito, Massimo Mecella, Roberto Baldoni
2001Location Transparent Distributed Scripts and Their Execution System on D'Agent.
Osamu Honda, Harumasa Tada, Masahiro Higuchi
2001Mobile Agent Messaging Models.
Dwight Deugo
2001Mobile Agents in Network-Centric Warfare.
Marion G. Cerut
2001Modularized System Architecture for Flexible Clinical Laboratory Systems.
Hiroshi Mitsumaki, Toshiyuki Ikeda, Ryuichiro Kodama, Takeiki Aizono
2001On Godefroid's Stateless Search Technique for Testing Concurrent Programs.
Kuo-Chung Tai, Bengi Karaçali
2001Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework.
Fabíola Greve, Michel Hurfin, Michel Raynal, Frederic Tronel
2001Quorum-Based Locking Protocol for Replicas in Object-Based Systems.
Katsuya Tanaka, Makoto Takizawa
2001Reactive Web Agents with Open Constraint Programming.
Kenny Qili Zhu, Wee-Yeh Tan, Andrew E. Santosa, Roland H. C. Yap
2001Reconfigurable Context-Sensitive Middleware for ADS Applications in Mobile Ad Hoc Network Environments.
Stephen S. Yau, Fariaz Karim
2001Reflective Decision Controls for Autonomous Distributed Objects.
En-Hsin Huang, Tzilla Elrad
2001Rule-Driven Coordination Agents: A Self-Configurable Agent Architecture for Distributed Control.
M. Brian Blake
2001Safety Assurance via On-Line Monitoring.
Shlomi Dolev, Frank A. Stomp
2001Scenario-Based Service Composition Method in the Open Service Environment.
Kazuhiro Kiwata, Atsushi Nakano, Shunsuke Yura, Tomotaka Uchihashi, Atsushi Kanai
2001Service Matching and Collaboration for Electronic Commerce.
Shunsuke Yura, Kazuhiro Kiwata, Atsushi Nakano, Tomotaka Uchihashi, Atsushi Kanai
2001Simulating Agent Based Processing in an ADS Using C++ SIM.
Chiewon Lee, Junghwan Kim, Jerrold F. Stach, Eun Kyo Park
2001TMOES: A CORBA Service Middleware Enabling High-Level Real-Time Object Programming.
K. H. Kim, Juqiang Liu, H. Miyazaki, Eltefaat Shokri
2001The Multi-Agent System for Dynamic Network Routing.
Ryokichi Onishi, Saneyasu Yamaguchi, Hiroaki Morino, Hitoshi Aida, Tadao Saito
2001The Need for Verification and Validation Techniques for Adaptive Control System.
Bojan Cukic
2001The New ATC Systems with an Autonomous Speed Control with On-Board Equipment.
Masayuki Matsumoto, Akiyoshi Hosokawa, Satoru Kitamura, Dai Watanabe, Atsushi Kawabata
2001Type-Safe Trading Proxies Using TORBA.
Raphaël Marvie, Philippe Merle, Jean-Marc Geib, Sylvain Leblanc
2001UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces.
Egidio Astesiano, Gianna Reggio