Preface (PDF)
Preface (PDF)
Committees (PDF)
A Comparative Analysis of Object-Oriented and Other Methods For Modeling Computer Based Systems (Abstract)
Modeling and Simulation of Stability and Support Operations (SASO) (Abstract)
Domain Independent Generative Modeling (Abstract)
The Scheduling Algorithms in Software Architecture Modeling (Abstract)
An Explicit Definition of Connectors for Component-Based Software Architecture (Abstract)
Closing the Gap Between Software Modelling and Code (Abstract)
Performance Analysis of Embedded Systems in the Virtual Component Co-Design Environment (Abstract)
Enabling Optimisation in the Design of Complex Computer based Systems (Abstract)
Gradient Method with Topology Discovery for Load-Balancing in Active Networks (Abstract)
WICCAP: From Semi-structured Data to Structured Data (Abstract)
Suffix Caching Techniques of Streaming Media Based On Batch Patching (Abstract)
Advanced Bayesian Optimization Algorithms Applied in Decomposition Problems (Abstract)
A Design Framework for Internet-Based Embedded Distributed Systems (Abstract)
WASP: A Radio Geolocation System on Highly Resource Constrained Mobile Platforms (Abstract)
Efficient SOAP Processing in Embedded Systems (Abstract)
DVTG and Test Harnessing using Rosetta Specifications (Abstract)
Applying Model Checking to Workflow Verification (Abstract)
Validation of Reactive Embedded Systems against Temporal Requirements (Abstract)
The Survey Of Some Aspects Of European Higher Education At The Beginning Of The Third Millennium (Abstract)
Non-Functional Refinement of Computer Based Systems Architecture (Abstract)
Architectural Description with Integrated Data Consistency Models (Abstract)
Theory and Applications of Evolvable Embedded Systems (Abstract)
An Approach for the Verification of UML Models Using B (Abstract)
Formal Abstract Architecture for Use Case Specifications (Abstract)
Formal Specification of Shared Variables Using CSP (Abstract)
Improving CBS Tool Development with Technological Spaces (Abstract)
A Concept of an Integrated Development Environment for Reactive Systems (Abstract)
Simulation and Verification Tool for Hierarchical Real-Time Systems (Abstract)
A Methodology for Requirements Engineering Process Development (Abstract)
IRIS: A Semi-Formal Approach for Detecting Requirements Interactions (Abstract)
Requirements Trade-offs During UML Design (Abstract)
Network Virtual Laboratory for External Devices Programming (Abstract)
Contracts and Games in Controller Synthesis for Discrete Systems (Abstract)
Induction in Time-Varying Domains: Motivation, Origins, and Encouragements (Abstract)
Features with Fuzzy Probability (Abstract)
Hand-written vs. MOF-based Metadata Repositories: The SOFA Experience (Abstract)
Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach (Abstract)
Formal Approach to Synthesis of a Test Controller (Abstract)
An Efficient Implementation of the 1D DCT using FPGA Technology (Abstract)
Particle Rendering Engine in DSP and FPGA (Abstract)
Supporting Evolutionary Development by Feature Models and Traceability Links (Abstract)
Functional and Object-Oriented Views in Embedded Software Modeling (Abstract)
Tool Support for DFD-UML Model-based Transformations (Abstract)
A Foundation for Tool-Supported Critical Systems Development with UML (Abstract)
Using Feature Modeling for Program Comprehension and Software Architecture Recovery (Abstract)
Evolution of Software for Embedded Systems in Processor Expert (Abstract)
The Networked Photo-Enforcement and Traffic Monitoring System Unicam (Abstract)
ADC Position-Sense Interface (Abstract)
A Modular Approach to SystemC-Based Codesign Promoting Reuse of High-Level Legacy C-Models (Abstract)
Verification of Emergent Behaviors in Swarm-based Systems (Abstract)
A Model-Based Self-Adaptive Approach to Image Processing (Abstract)
COTS (Commercial Off The Shelf) Distributed System for Critical Application (Abstract)
Design and Optimization of Distributed Control System using UML Model (Abstract)
Model Based Self Adaptive Behavior Language for Large Scale Real time Embedded Systems (Abstract)
Asteroid Exploration with Autonomic Systems (Abstract)
Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT (Abstract)
Towards a Model-Driven Architecture for Autonomic Systems (PDF)
Personal Autonomic Computing Self-Healing Tool (Abstract)
Applications for Mobile Agents in Peer-to-Peer-Networks (Abstract)
Migration of Mobile Agents in Ad-hoc, Wireless Networks (Abstract)
An Implementation of Self-Protected Mobile Agents (Abstract)
A Service-oriented Software Architecture for Mobile Agent Toolkits (Abstract)
Author Index (PDF)