91 search results - page 12 / 19 » Runtime Validation of Behavioural Contracts for Component So... |
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
CIMCA
2008
IEEE
14 years 1 months ago
2008
IEEE
Complex and long-lived software need to be upgraded at runtime. Replacing a software component with a newer version is the basic evolution operation that has to be supported. It i...
SOQUA
2007
13 years 8 months ago
2007
Failure detection is a difficult and often expensive task. The principle of self-healing addresses this cost issue, but poses new research questions. This work focuses on detectin...
EUROMICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
— The usage of dynamic languages is increasing among developers. As components are static entities, the usage of scripting languages, which are usually dynamically typed and inte...
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper addresses the problem of predicting timing properties of multi-tasking component assemblies during the design phase. For real-time applications, it is of vital importan...