Sciweavers

2303 search results - page 147 / 461
» The Cryptographic Abstract Machine
Sort
View
EUROCRYPT
2003
Springer
15 years 11 months ago
Facts and Myths of Enigma: Breaking Stereotypes
In spite of a relatively large number of publications about breaking Enigma by the Allies before and during the World War II, this subject remains relatively unknown not only to th...
Kris Gaj, Arkadiusz Orlowski
AMAST
2004
Springer
15 years 11 months ago
Counting Votes with Formal Methods
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
Bart Jacobs
CC
2004
Springer
134views System Software» more  CC 2004»
15 years 10 months ago
Widening Integer Arithmetic
Abstract. Some codes require computations to use fewer bits of precision than are normal for the target machine. For example, Java requires 32-bit arithmetic even on a 64-bit targe...
Kevin Redwine, Norman Ramsey
ECML
2006
Springer
15 years 10 months ago
Learning in One-Shot Strategic Form Games
Abstract. We propose a machine learning approach to action prediction in oneshot games. In contrast to the huge literature on learning in games where an agent's model is deduc...
Alon Altman, Avivit Bercovici-Boden, Moshe Tennenh...
VLDB
1987
ACM
93views Database» more  VLDB 1987»
15 years 9 months ago
FAD, a Powerful and Simple Database Language
FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...
François Bancilhon, Ted Briggs, Setrag Khos...