Sciweavers

2838 search results - page 55 / 568
» Verifying Controlled Components
Sort
View
HASE
1998
IEEE
14 years 1 months ago
Analytical Partition of Software Components for Evolvable and Reliable MEMS Design Tools
Transforming software requirements into a software design involves the iterative partition of a solution into software components. The process is human-intensive and does not guar...
Carol L. Hoover, Pradeep K. Khosla
IAAI
2003
13 years 10 months ago
Infrastructure Components for Large-Scale Information Extraction Systems
Large-scale systems for information extraction include many different classifiers and extractors. Experience in building such systems shows that finding an appropriate architect...
William W. Cohen
SIES
2007
IEEE
14 years 3 months ago
Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm
Abstract— The number of electronic systems in cars is continuously growing. Electronic systems, consisting of so-called electronic control units (ECUs) interconnected by a commun...
Thomas M. Galla, Dietmar Schreiner, Wolfgang Forst...
IRI
2005
IEEE
14 years 2 months ago
Issues of hierarchical heterogeneous modeling in component reusability
Heterogeneous systems are systems that obey different functioning laws. For instance, during the design of embedded systems, it is generally necessary to study both the controller...
Aimé Mokhoo Mbobi, Frédéric B...
GI
2004
Springer
14 years 2 months ago
A LEGO-like Lightweight Software Component Architecture for Organic Computing
Abstract: The goals of organic computing are difficult to achieve due to the heterogenity of current software components. We believe that in the long term more advanced software a...
Thomas Schöbel-Theuer