3425 search results - page 400 / 685 » A Model Driven Approach for Software Systems Reliability |
245
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
141
click to vote
CSIE
2009
IEEE
15 years 11 months ago
2009
IEEE
The tendency for Non-Functional Requirements (NFRs) to have a wide-ranging impact on a software system, and the strong interdependencies and tradeoffs that exist between NFRs and ...
133
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
118
click to vote
DAGM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A vision based head tracking approach is presented, combining foreground information with an elliptical head model based on the integration of gradient and skin-color inf...
143
click to vote
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents AOKell, a framework for engineering component-based systems. This framework implements the Fractal model, a hierarchical and dynamic component model. The novelt...