8141 search results - page 1213 / 1629 » Higher Order Generalization |
179
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
171
Voted
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Data security is well-recognized a vital issue in an information system that is supported in an outsource environment. However, most of conventional XML encryption propos...
158
click to vote
CHES
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes several novel timing attacks against the common table-driven software implementation of the AES cipher. We define a general attack strategy using a simplified ...
189
click to vote
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
Computing systems, ranging from small battery-operated embedded systems to more complex general purpose systems, are designed to satisfy various computation demands in some accept...
177
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
Incremental hierarchical text document clustering algorithms are important in organizing documents generated from streaming on-line sources, such as, Newswire and Blogs. However, ...