2539 search results - page 332 / 508 » Debugging Method Names |
114
Voted
CRYPTO
2004
Springer
15 years 7 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...
133
click to vote
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
139
Voted
WCNC
2010
IEEE
15 years 6 months ago
2010
IEEE
—Inter-cell interference (ICI) is always a big obstacle to attain wide area coverage and high spectral efficiency in cellular systems. In this work we make a study of two well-kn...
131
click to vote
DAGSTUHL
2007
15 years 3 months ago
2007
Local tag structures have become frequent through Web 2.0: Users "tag" their data without specifying the underlying semantics. Every user annotates items in an individual...
122
Voted
ECIR
2008
Springer
15 years 3 months ago
2008
Springer
We propose a new approach to a music search engine that can be accessed via natural language queries. As with existing approaches, we try to gather as much contextual information a...