6800 search results - page 523 / 1360 » Testing with Functions as Specifications |
203
click to vote
ATC
2006
Springer
15 years 11 months ago
2006
Springer
Self-healing relies on correct diagnosis of system malfunctioning. This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-s...
189
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
184
click to vote
IFL
2000
Springer
15 years 11 months ago
2000
Springer
Sac is a functional array processing language particularly designed with numerical applications in mind. In this field the runtime performance of programs critically depends on the...
225
click to vote
CBSE
2008
Springer
15 years 9 months ago
2008
Springer
Component-based software engineering proposes building complex applications from COTS (Commercial Off-The-Shelf) organized into component markets. Therefore, the main development e...
168
click to vote
ECBS
2005
IEEE
15 years 9 months ago
2005
IEEE
Monitoring critical events such as constraints violations is one of the key issues of Autonomic Systems. This paper presents an interceptor based approach of constraint violation ...