323 search results - page 2 / 65 » Verify Your Runs |
EEE
2005
IEEE
13 years 10 months ago
2005
IEEE
Open and fair elections are paramount to modern democracy. Although some people claim that the penciland-paper systems used in countries such as Canada and UK are still the best m...
FSEN
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
KDD
2009
ACM
14 years 5 months ago
2009
ACM
Controlled experiments, also called randomized experiments and A/B tests, have had a profound influence on multiple fields, including medicine, agriculture, manufacturing, and adv...
SC
2004
ACM
13 years 10 months ago
2004
ACM
Active Harmony is an automated runtime performance tuning system. In this paper we describe a parameter prioritizing tool to help focus on those parameters that are performance cr...
RAID
2010
Springer
13 years 3 months ago
2010
Springer
Software keyloggers are a fast growing class of malware often used to harvest confidential information. One of the main reasons for this rapid growth is the possibility for unpriv...