Sciweavers

317 search results - page 8 / 64
» Model-Based Design of ECU Software - A Component Based Appro...
Sort
View
CODES
2010
IEEE
13 years 8 months ago
Improving platform-based system synthesis by satisfiability modulo theories solving
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
Felix Reimann, Michael Glaß, Christian Haube...
IUI
1999
ACM
14 years 2 months ago
Towards a General Computational Framework for Model-Based Interface Development Systems
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
Angel R. Puerta, Jacob Eisenstein
ASWEC
2000
IEEE
14 years 2 months ago
Storing and Retrieving Software Components: A Component Description Manager
The aim of the paper is to present the results of research into Component-Based software development by providing a specification mechanism allowing searching for components in a ...
Rune Meling, E. James Montgomery, Pon Sudha Ponnus...
IWSAS
2001
Springer
14 years 2 months ago
Model-Based Diagnosis for Information Survivability
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the sur...
Howard E. Shrobe
SEFM
2003
IEEE
14 years 3 months ago
Component-Based Design and Analysis: A Case Study
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the modular nature of component-based designs to allev...
Yan Jin, Charles Lakos, Robert Esser