1414 search results - page 190 / 283 » Randomness and Universal Machines |
158
click to vote
ICMI
2009
Springer
16 years 1 days 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...
158
click to vote
IWANN
2009
Springer
16 years 21 hour 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...
133
click to vote
ICIC
2007
Springer
15 years 11 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...
146
click to vote
TCC
2007
Springer
15 years 11 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...
145
click to vote
CCS
2005
ACM
15 years 11 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...