Sciweavers

923 search results - page 5 / 185
» Component-based software engineering for embedded systems
Sort
View
113
Voted
FASE
2003
Springer
15 years 6 months ago
A Logical Basis for the Specification of Reconfigurable Component-Based Systems
Nazareno Aguirre, T. S. E. Maibaum
94
Voted
CBSE
2008
Springer
15 years 3 months ago
Model Checking of Control-User Component-Based Parametrised Systems
Pavlína Vareková, Ivana Cerná
143
Voted
ECBS
2011
IEEE
271views Hardware» more  ECBS 2011»
14 years 28 days ago
MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokha...