400 search results - page 25 / 80 » Moving Proofs-As-Programs into Practice |
IH
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. We present attacks on the anonymity and pseudonymity provided by a “lonely hearts” dating service and by the HushMail encrypted email system. We move on to discuss so...
CP
2000
Springer
13 years 12 months ago
2000
Springer
Random Noise and Random Walk algorithms are local search strategies that have been used for the problem of satisfiability testing (SAT). We present a Markov-chain based analysis o...
CN
1999
13 years 7 months ago
1999
We present a hit inflation attack on pay-per-click Web advertising schemes. Our attack is virtually impossible for the program provider to detect conclusively, regardless of wheth...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— This paper introduces a Bayesian filter that is specifically designed for counting targets that move outside of the field of view while performing a sensor sweep. Informatio...
NICSO
2010
Springer
13 years 6 months ago
2010
Springer
t] A realistic replacement of the general imitation rule in the Iterated Prisoner Dilemma (IPD) is investigated with simulation on square lattice, whereby the player, with finite m...