2673 search results - page 493 / 535 » Guided Static Analysis |
128
Voted
OIR
2007
15 years 9 days ago
2007
Purpose – The purpose of this paper is to evaluate Help features in digital libraries and identify problems related to their design. Design/methodology/approach – This study s...
106
click to vote
ISSRE
2010
IEEE
14 years 11 months ago
2010
IEEE
—Database-centric applications (DCAs) are common in enterprise computing, and they use nontrivial databases. Testing of DCAs is increasingly outsourced to test centers in order t...
112
Voted
IMC
2010
ACM
14 years 10 months ago
2010
ACM
Current large-scale topology mapping systems require multiple days to characterize the Internet due to the large amount of probing traffic they incur. The accuracy of maps from ex...
133
click to vote
AND
2009
14 years 10 months ago
2009
In this paper, we propose a new comprehensive methodology in order to evaluate the performance of noisy historical document recognition techniques. We aim to evaluate not only the...
153
Voted
FAST
2009
14 years 10 months ago
2009
The scale of today's storage systems has made it increasingly difficult to find and manage files. To address this, we have developed Spyglass, a file metadata search system t...