3925 search results - page 405 / 785 » Measuring software evolution |
124
click to vote
TLDI
2009
ACM
16 years 1 months ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
119
click to vote
CBMS
2008
IEEE
15 years 11 months ago
2008
IEEE
Multi-observer segmentation evaluation is useful in the imaging community. We have developed a web-based software application for automatic performance evaluation of multiple imag...
124
click to vote
PIMRC
2008
IEEE
15 years 11 months ago
2008
IEEE
—In this paper we present an algorithm that measures the round trip times of IEEE 802.11 MAC packets in order to trilaterate WLAN nodes. We show that if we use packet sequences (...
109
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
We present a model of adaptive side-channel attacks which we combine with information-theoretic metrics to quantify the information revealed to an attacker. This allows us to expr...
146
click to vote
CIKM
2007
Springer
15 years 10 months ago
2007
Springer
Ontology evaluation is a maturing discipline with methodologies and measures being developed and proposed. However, evaluation methods that have been proposed have not been applie...