799 search results - page 10 / 160 » Refinement and Separation Contexts |
ICECCS
2007
IEEE
14 years 14 days ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
We refine and extend an earlier MDL denoising criterion for wavelet-based denoising. We start by showing that the denoising problem can be reformulated as a clustering problem, whe...
POS
1994
Springer
14 years 20 days ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
ENTCS
2002
13 years 8 months ago
2002
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...
AMT
2010
Springer
13 years 10 months ago
2010
Springer
One of the major problems for search at Web scale is that the search results on the large scale data might be huge and the users have to browse to find the most relevant ones. Plus...