10275 search results - page 23 / 2055 » Case Studies of Autonomy |
120
click to vote
PERCOM
2010
ACM
14 years 9 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
130
click to vote
SAC
2011
ACM
14 years 2 months ago
2011
ACM
Regression testing is often performed with a time budget and it does not allow executing all test cases. Test case prioritization techniques re-order test cases to increase the ra...
107
click to vote
AGTIVE
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we describe the Ludo case, one of the case studies of the AGTIVE 2007 Tool Contest (see [22]). After summarising the case description, we give an overview of the subm...
ACMSE
2007
ACM
15 years 3 months ago
2007
ACM
Testing is an essential but often under-utilized area of software engineering. A variety of software testing techniques have been developed to effectively identify bugs in source ...
101
click to vote
EWCBR
2006
Springer
15 years 3 months ago
2006
Springer
The complexity and high construction cost of case bases make it very difficult, if not impossible, to evaluate a CBR system, especially a knowledge-intensive CBR system, using stat...