2695 search results - page 302 / 539 » The Complexity of Forecast Testing |
135
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Previous work proposed a technique for predicting problems resulting from replacing one version of a software component by another. The technique reports, before performing the rep...
145
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
An important application of both data abstraction and plan execution is the execution of clinical guidelines and protocols (CGP), both to validate them against a large set of test ...
136
click to vote
ECML
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Many complex control problems are not amenable to traditional controller design. Not only is it difficult to model real systems, but often it is unclear what kind of beha...
152
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
144
click to vote
WIA
2000
Springer
15 years 8 months ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...