3001 search results - page 432 / 601 » Recursive type generativity |
149
click to vote
PKC
2005
Springer
15 years 12 months ago
2005
Springer
We present an attack on DSA smart-cards which combines physical fault injection and lattice reduction techniques. This seems to be the first (publicly reported) physical experimen...
154
click to vote
TGC
2005
Springer
15 years 12 months ago
2005
Springer
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
159
click to vote
WABI
2005
Springer
15 years 12 months ago
2005
Springer
We give a new algorithm for the genotype phasing problem. Our solution is based on a hidden Markov model for haplotypes. The model has a uniform structure, unlike most solutions pr...
162
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
Layout refers to the process of determining the size and position of the visual objects in an information presentation. We introduce the WeightMap, a bitmap representation of the ...
144
click to vote
NSPW
2004
ACM
15 years 12 months ago
2004
ACM
(by Victor Raskin) This panel will address users’ perceptions and misperceptions of the risk/benefit and benefit/nuisance ratios associated with information security products, an...