336 search results - page 6 / 68 » Enhancing Dependability of Component-Based Systems |
FMCO
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
MICRO
2006
IEEE
13 years 8 months ago
2006
IEEE
Since processor performance scalability will now mostly be achieved through thread-level parallelism, there is a strong incentive to parallelize a broad range of applications, inc...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— In this paper we introduce an analysis of dependability of an elementary yet critical component of robotic systems designed to operate in environments shared with human...
FTCS
1997
13 years 10 months ago
1997
Fast turnaroundtime independabilityevaluation iscrucialfor e cient fault-tolerant system design and dependability of the resulting product since timely feedbacks will allow more i...
AAECC
2007
Springer
13 years 8 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...