


default search action
8th ECBS 2001: Washington, DC, USA
- 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 17-20 April 2001, Washington, DC, USA. IEEE Computer Society 2001, ISBN 0-7695-1086-8

Modeling
- Eugene Xavier:

Using Extensible Query Language (XQL) for Database Applications. 2-9 - Eugene Xavier:

XML based Security for E-Commerce Applications. 10-17 - Jakob Axelsson:

Unified Modeling of Real-Time Control Systems and Their Physical Environments Using UML. 18-
Panel: System Composition Strategies
- Stephanie M. White:

System Composition Strategies, Panel Introduction. 28-29 - John Leaney:

System Composition Strategies, A Position Paper for an ECBS Panel - My Position: Analogy Questionable, Intentions Estimable. 30-31 - John Salasin:

Habitats - Infrastructure for Knowledge-Centric Operations (KO). 32-
Tools and Technology
- Alison Chisholm, S. Smith:

Strategies for Developing Distributed Computing Solutions for Industrial Environments. 36-44 - Tim O'Neill, John Leaney:

Risk Management for an Open CBS Project. 45-53 - Ying-Wen Bai:

Optimum Information Queue Lengths in Semi-Batch Power Management Methods for a Palmtop Multimedia Terminal. 54-61
Testing and Web-Based Systems
- John K. Debenham:

An Agent for Web-Based Process Management. 62-67 - Jyhjong Lin, Huammi Tsai, Yalei Chu:

Object-Oriented Analysis and Design of Web-Based Information Systems. 68-75 - P. Gupta, Steven J. Cunning, Jerzy W. Rozenblit:

Synthesis of High-Level Requirements Models for Automatic Test Generation. 76-82 - Sanjai Rayadurgam, Mats Per Erik Heimdahl:

Coverage Based Test-Case Generation Using Model Checkers. 83-
Real-Time
- Robert W. Schwanke:

Toward a Real-time Event Flow Architecture Style. 94-102 - Alan Grigg, Neil C. Audsley:

Reservation-Based Timing Analysis -A Practical Engineering Approach for Distributed Real-Time Systems. 103-110 - Christer Norström, Kristian Sandström, Jukka Mäki-Turja, Mikael Gustafsson, Nils-Erik Bånkesta:

Experiences from Introducing State-of-the-Art Real-Time Techniques in the Automotive Industry. 111-118 - Binoy Ravindran, Baoping Zhang:

On Adaptive Communication in Asynchronous Real-Time Distributed Systems. 119-
Architecture
- Ilka Philippow, Matthias Riebisch:

Systematic Definition of Reusable Architectures. 128-135 - Erik Herzog, Anders Törne:

Information Modelling for System Specification Representation and Data Exchange. 136-143 - K. Suzanne Barber, Thomas J. Graser, John Silva:

Developing a Traceable Domain Reference Architecture to Support Clinical Trials at the National Cancer Institute - An Experience Report. 144-151 - H. G. Mendelbaum, Raphael B. Yehezkael:

Using 'Parallel Automaton' as a Single Notation to Specify, Design and Control Small Computer Based Systems. 152-
Quality and Measurement
- Soufiane Noureddine, Axel Lehmann:

Effective Values: An Approach for Characterizing Dependability Parameters. 162-170 - Atsushi Kobayashi, Mamoru Maekawa:

Need-Based Requirements Change Management. 171-178 - John Leaney, David Rowe, Tim O'Neill, Steve Hoye, Petros Gionis:

Measuring the Effectiveness of Computer Based Systems: An Open System Measurement Example. 179-
Fault Tolerance and Emulation
- Roy Sterritt

:
Discovering Rules for Fault Management. 190-196 - Diamantino Costa, Tiago Rilho, Marco Vieira, Henrique Madeira:

ESFFI - A Novel Technique for the Emulation of Coftware Faults in COTS Components. 197-204 - Gabor Karsai, Gautam Biswas, Tal Pasternak, Sriram Narasimhan, Gábor Péceli, Gyula Simon, Tamás Kovácsházy:

Fault-Adaptive Control: A CBS Application. 205-
Tools and Technology II
- Giorgio Bruno, Marco Torchiano

:
Developing Instance Model-Based Applications. 214-221 - Thomas Olsson, Per Runeson

:
System Level Mutation Analysis Applied to a State-Based Language. 222-228 - Perry Alexander, Cindy Kong, David Schonberger:

A Practical Semantics for Design Facet Interaction. 229-
Agents
- Michael Newton, Bonnie E. Melhart:

Implementation of Object-Oriented Protocol Agents in Communication Devices. 238-246 - John Pikoulas, William J. Buchanan, Mike Mannion, Kostas Triantafyllopoulos:

An Agent-Based Bayesian Forecasting Model for Enhanced Network Security. 247-254 - Peter Braun, Jan Eismann, Christian Erfurth, Wilhelm R. Rossak:

TRACY - A Prototype of an Architected Middleware to support Mobile Agents. 255-
Tools and Technology III
- Miroslav Svéda, Radimir Vrba:

Sensor Networking. 262-268 - Greg Nordstrom, James R. Davis, Mark Briski:

A Graduate-Level Course on CBS Design Tool Development. 269-274 - Jonathan Sprinkle

, Ákos Lédeczi, Gabor Karsai, Greg Nordstrom:
The New Metamodeling Generation. 275-
Analysis and Experimentation
- Gabriele Luculli, Alberto L. Sangiovanni-Vincentelli:

Analysis of DSP-Kernel Software by Implicit Cache Simulation. 282-288 - Harold W. Lawson, Sivert Wallin, Berit Bryntse, Bertil Friman:

Twenty Years of Safe Train Control in Sweden. 289-297 - Yasushi Sugimura, Seiichi Ido:

A Super Tracer and an Analyzer for Analyzing Detailed Behavior of a Linux on a Pentium Family Processor (STDB). 298-
Composition and CBS
- Kurt Verschaeve, Bart Wydaeghe, Frans Westerhuis:

Visual Composition with SDL Beans. 308-314 - (Withdrawn) Software Components Adaptive Integration. 315-321

- Wim Vanderperren, Bart Wydaeghe:

Towards a New Component Composition Process. 322-
Working Group Reports
- Darren Dalcher

:
Forensic ECBS: The Way Forward. 332-336 - Darren Dalcher

:
Ambulance Despatch Systems: The Melbourne Story. 337-342 - Harold W. Lawson:

Report of the Standards Working Group. 343-343 - Darren Dalcher, Mike Mannion, Jonah Z. Lavi, Reuven Gallant, Bonnie E. Melhart, Regina M. Gonzales:

Engineering of Computer-Based Systems -A Proposed Curriculum for a Degree Program at Bachelor Level. 344-356 - Miroslav Svéda, Charles Rattray:

Formal Specifications of Computer-Based Systems. 357-358

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














