default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th ICECCS 2000: Tokyo, Japan
- 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan. IEEE Computer Society 2000, ISBN 0-7695-0583-X
Invited Speech
- John Alexander McDermid:
Complexity: Concept, Causes and Control. 2-
Reactive Systems
- Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng:
Managing Complexity in Real-Time Reactive Systems. 12-24 - Pierfrancesco Bellini, Mario Andres Bruno
, Paolo Nesi:
Verification Criteria for a Compositional Model for Reactive Systems. 25-35 - Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart:
Dependability Engineering of Complex Computing Systems. 36-
System Modeling
- Hassan Gomaa, Larry Kerschberg, Ghulam A. Farrukh:
Domain Modeling of Software Process Models. 50-60 - Hassan Gomaa, Shaoying Liu, Michael E. Shin:
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. 61-71 - Christopher A. Rouff, James L. Rash, Michael G. Hinchey:
Experience Using Formal Methods for Specifying a Multi-Agent System. 72-
Systems Development
- Yasuhiro Sugiyama:
Distributed Development of Complex Software Systems with Object Make. 82-93 - Plamen V. Petrov, Alexander D. Stoyen:
An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application. 94-104 - William G. Howerton, Michael G. Hinchey:
Using the Right Tool for the Job. 105-
Special Session: Network Software II
- Ryo Takeuchi, Akira Miura, Masanobu Yoshimi:
Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their Applications. 118-119 - Takeshi Ihara, Hiroyuki Ohnishi, Yasushi Takagi:
Mobile IP Route Optimization Method for a Carrier-Scale IP Network. 120-121 - Shinji Inoue, Yoshiaki Kakuda:
Multiple Backup Virtual Paths Reservation Problem and Its Solution. 122-
Invited Speech
- Tosiyasu L. Kunii, Masayuki Hisada:
Overcoming Software Complexity by Constructing Abstraction Hierarchies - The Principles and Applications. 126-
Embedded, Concurrent, and Distributed Systems
- Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Definitions of Equivalence for Transformational Synthesis of Embedded Systems. 134-142 - Hideaki Hirayama, Hiroki Honda, Toshitsugu Yuba:
Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing. 143-150 - Rafael Ramírez, Andrew E. Santosa, Roland H. C. Yap:
Concurrent Programming Made Easy. 151-
Invited Speech
- David Notkin:
Dynamically Detecting Relevant Program Invariants. 162-
Testing and Verification
- Huaikou Miao, Ling Liu:
A Test Class Framework for Generating Test Cases from Z Specifications. 164-171 - A. Jefferson Offutt, Aynur Abdurazik, Roger T. Alexander:
An Analysis Tool for Coupling-Based Integration Testing. 172-178 - Aynur Abdurazik, Paul Ammann, Wei Ding, A. Jefferson Offutt:
Evaluation of Three Specification-Based Testing Criteria. 179-187 - Balkhis Abu Bakar, Tomasz Janowski:
Automated Result Verification with AWK. 188-
Invited Speech
- Takuya Katayama:
Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles. 200-
Communication and Control Systems
- Tae Yoneda, Tadashi Ohta:
Reduction of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommuncation Services. 202-209 - Fuminori Nakanishi, Shinnya Hiraike, Shinji Inoue, Yoshiaki Kakuda, Kenji Toda:
A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation. 210-217 - Shinji Inoue, Yoshiaki Kakuda, Masahiro Terabe:
New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks. 218-228 - Jakob Axelsson:
Cost Models for Electronic Architecture Trade Studies. 229-
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-12-30 19:36 CET 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:
