4305 search results - page 171 / 861 » The Test of Time |
180
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
- The advanced metering infrastructure (AMI) is revolutionizing electrical grids. Intelligent AMI "smart meters" report real time usage data that enables efficient energy...
209
click to vote
FM
2005
Springer
16 years 1 days ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
200
click to vote
AIME
2009
Springer
15 years 10 months ago
2009
Springer
We use the concept of conditional mutual information (MI) to approach problems involving the selection of variables in the area of medical diagnosis. Computing MI requires estimate...
172
click to vote
QSIC
2005
IEEE
16 years 3 days ago
2005
IEEE
Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...
170
click to vote
FASE
2006
Springer
15 years 10 months ago
2006
Springer
We present an algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication and Web services. Specifically, we assume that a prog...