8431 search results - page 1657 / 1687 » Algorithmically Independent Sequences |
132
click to vote
CRYPTO
2004
Springer
15 years 10 months ago
2004
Springer
We study both distinguishing and key-recovery attacks against E0, the keystream generator used in Bluetooth by means of correlation. First, a powerful computation method of correla...
127
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
151
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper describes the new e-learning tool CHESt that allows students to search in a knowledge base for short (teaching) multimedia clips by using a semantic search eng...
196
click to vote
KELSI
2004
Springer
15 years 9 months ago
2004
Springer
There is an overwhelming increase in submissions to genomic databases, posing a problem for database maintenance, especially regarding annotation of fields left blank during submi...
165
click to vote
CCGRID
2003
IEEE
15 years 9 months ago
2003
IEEE
The availability of digital imagers inside hospitals and their ever growing inspection capabilities have established digital medical images as a key component of many pathologies ...