3302 search results - page 547 / 661 » Software Is More Than Code |
175
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
147
click to vote
CHES
2009
Springer
16 years 4 months ago
2009
Springer
Algebraic side-channel attacks have been recently introduced as a powerful cryptanalysis technique against block ciphers. These attacks represent both a target algorithm and its ph...
145
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Video surrogates are meant to help people quickly make sense of the content of a video before downloading or seeking more detailed information. In this paper we present the result...
262
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...
154
click to vote
ISBRA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Accurate inference of local ancestry from whole-genome genetic variation data is critical for understanding the history of admixed human populations and detecting SNPs as...