Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th ISADS 2001: Dallas, Texas, USA
- Fifth International Symposium on Autonomous Decentralized Systems, ISADS 2001, Dallas, Texas, USA, March 26-28, 2001. IEEE Computer Society 2001, ISBN 0-7695-1065-5
Electronic Commerce: Models and Protocols
- Paul D. Ezhilchelvan
, Graham Morgan:
A Dependable Distributed Auction System: Architecture and an Implementation Framework. 3-10 - Haiping Xu, Sol M. Shatz:
An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce. 11-18 - Mauricio Papa, Oliver Bremer, John Hale, Sujeet Shenoi:
Formal Analysis of E-Commerce Protocols. 19-28 - Jo Ueyama, Edmundo R. M. Madeira:
An Automated Negotiation Model for Electronic Commerce. 29-38
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-76
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-110
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-142
Panel: Agent-Based Electronic Commerce
- Jen-Yao Chung, Juhnyoung Lee:
Agent-Based Electronic Commerce: Opportunities and Challenges. 143 - Lyndon C. Lee:
Agent-Based Auctions. 144-145 - Jim Youll:
Agent-Based Electronic Commerce: Opportunities and Challenges. 146-148 - James E. Hanson:
Cultivating the Agent Economy. 149-152
Electronic Commerce: Technologies and Architectures
- Hiroshi Ishikawa, Manabu Ohta:
A Decentralized XML Database Approach to Electronic Commerce. 153-160 - Jie Xing, Feng Wan, Sudhir K. Rustogi, Munindar P. Singh:
Commitment-Based Interoperation for E-Commerce. 161-168 - Shunsuke Yura, Kazuhiro Kiwata, Atsushi Nakano, Tomotaka Uchihashi, Atsushi Kanai:
Service Matching and Collaboration for Electronic Commerce. 169-175 - Yinong Chen, Zhongshi He:
Dependability Modeling of Homogeneous and Heterogeneous Distributed Systems. 176-186
Distributed Object Management Systems
- Andrew Berry, Simon M. Kaplan:
A Distributed Asynchronous Execution Semantics for Programming the Middleware Machine. 187-195 - Katsuya Tanaka, Makoto Takizawa:
Quorum-Based Locking Protocol for Replicas in Object-Based Systems. 196-203 - Carlo Marchetti, Antonino Virgillito, Massimo Mecella, Roberto Baldoni:
Integrating Autonomous Enterprise Systems through Dependable CORBA Objects. 204-211 - En-Hsin Huang, Tzilla Elrad:
Reflective Decision Controls for Autonomous Distributed Objects. 212-222
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-262
Multi-Agent Systems
- Dimitris Vyzovitis, Keith L. Clark:
A Framework for Developing Reactive Information Agents with Heterogeneous Communication Capabilities. 263-270 - M. Brian Blake:
Rule-Driven Coordination Agents: A Self-Configurable Agent Architecture for Distributed Control. 271-277 - Dwight Deugo:
Mobile Agent Messaging Models. 278-286 - Rainer Palm, Thomas A. Runkler:
Decentralized Control of Hybrid Systems. 287-296
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-302
Middleware Technologies
- Raphaël Marvie, Philippe Merle, Jean-Marc Geib, Sylvain Leblanc:
Type-Safe Trading Proxies Using TORBA. 303-310 - M. Brian Blake, Patricia Liguori:
An Automated Client-Driven Approach to Data Extraction Using an Autonomous Decentralized Architecture. 311-318 - Stephen S. Yau, Fariaz Karim:
Reconfigurable Context-Sensitive Middleware for ADS Applications in Mobile Ad Hoc Network Environments. 319-326 - K. H. Kim, Juqiang Liu, H. Miyazaki, Eltefaat Shokri:
TMOES: A CORBA Service Middleware Enabling High-Level Real-Time Object Programming. 327-340
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-374
Self-Stabilizing Systems
- Ryokichi Onishi, Saneyasu Yamaguchi, Hiroaki Morino, Hitoshi Aida, Tadao Saito:
The Multi-Agent System for Dynamic Network Routing. 375-382 - Vincent A. Cicirello, Stephen F. Smith:
Ant Colony Control for Autonomous Decentralized Shop Floor Routing. 383-390 - Peter S. Heck, Sumit Ghosh:
A Study of Synthetic Creativity through Behavior Modeling and Simulation of an Ant Colony. 391-397 - Ted Herman, Toshimitsu Masuzawa:
A Stabilizing Search Tree with Availability Properties. 398-410
Secure Systems and Applications
- Jong-Youl Park, Dong-Ik Lee, HyungHyo Lee:
Data Protection in Mobile Agents: One-time Key-based Approach. 411-418 - Li Bai, Ramasubramaniam Achuthanandam, Moshe Kam:
Access Revocation and Prevention of False Repudiation in Secure Email Exchanges. 419-425 - Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai:
Formal Analysis of Software Security System Architectures. 426-434 - Volker Roth, Mehrdad Jalali-Sohi:
Concepts and Architecture of a Security-Centric Mobile Agent Server. 435-446
Modeling and Performance Analysis
- Isao Kaji, Shohei Kato, Kinji Mori:
Autonomous Data Consistency Technique through Fair Evaluation among Heterogeneous Systems. 447-455 - Ing-Ray Chen, Ngoc Anh Phan, I-Ling Yen:
Analysis of Algorithms for Supporting Disconnected Write Operations in Mobile Client-Server Environments. 456-463 - Norbert Giambiasi, Bruno Escude, Sumit Ghosh:
GDEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems. 464-469 - Hélène Arfaoui, Kinji Mori:
Autonomous Navigation in Information Service Systems for Load Balancing User Demands. 470-482
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-18 20:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
