905 search results - page 113 / 181 » The Case Against Micropayments |
GECCO
2009
Springer
14 years 1 months ago
2009
Springer
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...
AUSAI
2001
Springer
14 years 1 months ago
2001
Springer
: Other work has shown that adaptive learning can be highly successful in developing programs which are able to play games at a level similar to human players and, in some cases, e...
CCS
2001
ACM
14 years 1 months ago
2001
ACM
Abstract. A device that performs private key operations (signatures or decryptions), and whose private key operations are protected by a password, can be immunized against offline...
CP
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Computing lower bounds to the best-cost extension of a tuple is an ubiquous task in constraint optimization. A particular case of special interest is the computation of l...
EUROCRYPT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We present a new algorithm for upper bounding the maximum average linear hull probability for SPNs, a value required to determine provable security against linear cryptan...