Default Cover Image

Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer-Based Systems-ECBS 2001

April 20 2001 to April 20 2001

Washington, DC, USA

Table of Contents

Steering CommitteeFreely available from IEEE.pp. viii
Modeling
Using Extensible Query Language (XQL) for Database ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 0002
Modeling
XML based Security for E-Commerce ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 0010
Modeling
Unified Modeling of Real-Time Control Systems and Their Physical Environments Using UMLFull-text access may be available. Sign in or learn about subscription options.pp. 0018
Panel: System Composition Strategies
System Composition Strategies, Panel IntroductionFreely available from IEEE.pp. 0028
Panel: System Composition Strategies
System Composition Strategies, A Position Paper for an ECBS Panel - My Position: Analogy Questionable, Intentions EstimableFull-text access may be available. Sign in or learn about subscription options.pp. 0030
Panel: System Composition Strategies
Habitats - Infrastructure for Knowledge-Centric Operations (KO)Full-text access may be available. Sign in or learn about subscription options.pp. 0032
Tools and Technology
Strategies for Developing Distributed Computing Solutions for Industrial EnvironmentsFull-text access may be available. Sign in or learn about subscription options.pp. 0036
Tools and Technology
Risk Management for an Open CBS ProjectFull-text access may be available. Sign in or learn about subscription options.pp. 0045
Tools and Technology
Optimum Information Queue Lengths in Semi-Batch Power Management Methods for a Palmtop Multimedia TerminalFull-text access may be available. Sign in or learn about subscription options.pp. 0054
Testing and Web-Based Systems
An Agent for Web-Based Process ManagementFull-text access may be available. Sign in or learn about subscription options.pp. 0062
Testing and Web-Based Systems
Object-Oriented Analysis and Design of Web-Based Information SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 0068
Testing and Web-Based Systems
Synthesis of High-Level Requirements Models for Automatic Test GenerationFull-text access may be available. Sign in or learn about subscription options.pp. 0076
Testing and Web-Based Systems
Coverage Based Test-Case Generation Using Model CheckersFull-text access may be available. Sign in or learn about subscription options.pp. 0083
Real-Time
Toward a Real-time Event Flow Architecture StyleFull-text access may be available. Sign in or learn about subscription options.pp. 0094
Real-Time
Reservation-Based Timing Analysis -A Practical Engineering Approach for Distributed Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 0103
Real-Time
On Adaptive Communication in Asynchronous Real-Time Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 0119
Architecture
Systematic Definition of Reusable ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 0128
Architecture
Information Modelling for System Specification Representation and Data ExchangeFull-text access may be available. Sign in or learn about subscription options.pp. 0136
Architecture
Using 'Parallel Automaton' as a Single Notation to Specify, Design and Control Small Computer Based SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 0152
Quality and Measurement
Effective Values: An Approach for Characterizing Dependability ParametersFull-text access may be available. Sign in or learn about subscription options.pp. 0162
Quality and Measurement
Need-Based Requirements Change ManagementFull-text access may be available. Sign in or learn about subscription options.pp. 0171
Quality and Measurement
Measuring the Effectiveness of Computer Based Systems: An Open System Measurement ExampleFull-text access may be available. Sign in or learn about subscription options.pp. 0179
Notice of Violation of IEEE Publication Principles: Software components adaptive integrationFull-text access may be available. Sign in or learn about subscription options.pp. 315-321
Fault Tolerance and Emulation
Discovering Rules for Fault ManagementFull-text access may be available. Sign in or learn about subscription options.pp. 0190
Fault Tolerance and Emulation
ESFFI - A Novel Technique for the Emulation of Coftware Faults in COTS ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 0197
Fault Tolerance and Emulation
Fault-Adaptive Control: A CBS ApplicationFull-text access may be available. Sign in or learn about subscription options.pp. 0205
Tools and Technology II
Developing Instance Model-Based ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 0214
Tools and Technology II
System Level Mutation Analysis Applied to a State-Based LanguageFull-text access may be available. Sign in or learn about subscription options.pp. 0222
Tools and Technology II
A Practical Semantics for Design Facet InteractionFull-text access may be available. Sign in or learn about subscription options.pp. 0229
Agents
Implementation of Object-Oriented Protocol Agents in Communication DevicesFull-text access may be available. Sign in or learn about subscription options.pp. 0238
Agents
An Agent-Based Bayesian Forecasting Model for Enhanced Network SecurityFull-text access may be available. Sign in or learn about subscription options.pp. 0247
Agents
TRACY A Prototype of an Architected Middleware to support Mobile AgentsFull-text access may be available. Sign in or learn about subscription options.pp. 0255
Tools and Technology III
Sensor NetworkingFull-text access may be available. Sign in or learn about subscription options.pp. 0262
Tools and Technology III
A Graduate-Level Course on CBS Design Tool DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 0269
Tools and Technology III
The New Metamodeling GenerationFull-text access may be available. Sign in or learn about subscription options.pp. 0275
Analysis and Experimentation
Analysis of DSP-Kernel Software by Implicit Cache SimulationFull-text access may be available. Sign in or learn about subscription options.pp. 0282
Analysis and Experimentation
Twenty Years of Safe Train Control in SwedenFull-text access may be available. Sign in or learn about subscription options.pp. 0289
Analysis and Experimentation
A Super Tracer and an Analyzer for Analyzing Detailed Behavior of a Linux on a Pentium Family Processor (STDB)Full-text access may be available. Sign in or learn about subscription options.pp. 0298
Composition and CBS
Visual Composition with SDL BeansFull-text access may be available. Sign in or learn about subscription options.pp. 0308
Composition and CBS
Software Components Adaptive IntegrationFull-text access may be available. Sign in or learn about subscription options.pp. 0315
Composition and CBS
Towards a New Component Composition ProcessFull-text access may be available. Sign in or learn about subscription options.pp. 0322
Working Group Reports
Forensic ECBS: The Way ForwardFull-text access may be available. Sign in or learn about subscription options.pp. 0332
Working Group Reports
Ambulance Despatch Systems: The Melbourne StoryFull-text access may be available. Sign in or learn about subscription options.pp. 0337
Working Group Reports
Report of the Standards Working GroupFull-text access may be available. Sign in or learn about subscription options.pp. 0343
Working Group Reports
Formal Specifications of Computer-Based SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 0357
Working Group Reports
Author IndexFreely available from IEEE.pp. 0359
Showing 51 out of 51