1414 search results - page 190 / 283 » Randomness and Universal Machines |
130
click to vote
ICMI
2009
Springer
15 years 10 months ago
2009
Springer
One of many skills required to engage properly in a conversation is to know the appropiate use of the rules of engagement. In order to engage properly in a conversation, a virtual...
136
Voted
IWANN
2009
Springer
15 years 10 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
114
Voted
ICIC
2007
Springer
15 years 9 months ago
2007
Springer
Driven by new regulations and animal welfare, the need to develop in silico models has increased recently as alternative approaches to safety assessment of chemicals without animal...
117
click to vote
TCC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We construct an intrusion-resilient symmetric-key authenticated key exchange (AKE) protocol in the bounded retrieval model. The model employs a long shared private key to...
120
Voted
CCS
2005
ACM
15 years 9 months ago
2005
ACM
We examine the problem of keyboard acoustic emanations. We present a novel attack taking as input a 10-minute sound recording of a user typing English text using a keyboard, and t...