4276 search results - page 241 / 856 » Techniques for Empirical Validation |
157
click to vote
ENTCS
2007
15 years 6 months ago
2007
Fault tolerance is one of the most important means to avoid service failure in the presence of faults, so to guarantee they will not interrupt the service delivery. Software testi...
184
click to vote
ENTCS
2010
15 years 4 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
146
click to vote
ICML
2003
IEEE
16 years 7 months ago
2003
IEEE
As text corpora become larger, tradeoffs between speed and accuracy become critical: slow but accurate methods may not complete in a practical amount of time. In order to make the...
132
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
The increasing integration of education and technology has led to the development of a range of note-taking applications. Our project's goal is to provide empirical data to g...
198
click to vote
ICSM
2008
IEEE
16 years 1 months ago
2008
IEEE
Change impact analysis is a useful technique for software evolution. It determines the effects of a source editing session and provides valuable feedbacks to the programmers for m...