2028 search results - page 347 / 406 » Differential Power Analysis Model and Some Results |
122
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
122
click to vote
ICAIL
2003
ACM
15 years 7 months ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
132
click to vote
ISMB
1998
15 years 3 months ago
1998
Existing query interfaces for biological databases are either based on fixed forms or textual query languages. Users of a fixed form-based query interface are limited to performin...
138
click to vote
IJCNN
2000
IEEE
15 years 6 months ago
2000
IEEE
eresting web-available abstracts and papers on clustering: An Analysis of Recent Work on Clustering Algorithms (1999), Daniel Fasulo : This paper describes four recent papers on cl...
114
click to vote
LOPSTR
2007
Springer
15 years 8 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...