6059 search results - page 31 / 1212 » A Technique for Verifying Measurements |
ISSTA
2000
ACM
15 years 1 months ago
2000
ACM
ions for concise and precise specification of such control, but balance this with visualization support to help users also obtain intuitive insights. The underlying complexhese con...
USS
2008
15 years 7 days ago
2008
Commercial electronic voting systems have experienced many high-profile software, hardware, and usability failures in real elections. While it is tempting to abandon electronic vo...
150
click to vote
CLIMA
2011
13 years 9 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
ASPDAC
2008
ACM
14 years 12 months ago
2008
ACM
This paper presents an all digital measurement circuit called "gated oscillator" for capturing waveforms of dynamic power supply noise. The gated oscillator is constructe...
ECIR
2008
Springer
14 years 11 months ago
2008
Springer
This paper is concerned with the evaluation of distributed and peer-to-peer information retrieval systems. A new measure is introduced that compares results of a distributed retrie...