5775 search results - page 257 / 1155 » A Rationale-based Analysis Tool |
293
click to vote
EUROCRYPT
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. In this paper we construct several tools for manipulating pools of biases in the analysis of RC4. Then, we show that optimized strategies can break WEP based on 4000 pack...
201
click to vote
ASPDAC
2012
ACM
14 years 2 months ago
2012
ACM
—In both pre-silicon and post-silicon validation, the detection of design errors requires both stimulus capable of activating the errors and checkers capable of detecting the beh...
211
click to vote
WIFT
1998
IEEE
15 years 11 months ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
207
click to vote
DSVIS
1998
Springer
15 years 11 months ago
1998
Springer
Many different task modeling methods exist. In this paper, we discuss 1) ingredients common to most task models, 2) how task modeling relates to the design of user interfaces, and ...
184
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...