2880 search results - page 219 / 576 » context 2007 |
154
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
154
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Many software systems contained cloned code, i.e., segments of code that are highly similar to each other, typically because one has been copied from the other, and then possibly m...
159
click to vote
ESANN
2004
15 years 7 months ago
2004
Abstract. In the context of nonlinear regression, we consider the problem of explaining a variable y from a vector x of explanatory variables and from a vector t of conditionning v...
144
click to vote
ECEH
2006
15 years 7 months ago
2006
: The KVB Data Warehouse enables the Bavarian Association of Statutory Health Insurance (SHI) Physicians to track public health data in a centralised way. In a sophisticated proces...
157
click to vote
FORTE
2004
15 years 7 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...