640 search results - page 80 / 128 » Discovering State Invariants |
105
click to vote
WS
2006
ACM
15 years 5 months ago
2006
ACM
In this paper, we propose a formal notion of network security for ad hoc networks. We adopt a probabilistic security framework, that is, security is defined by a polynomially bou...
103
click to vote
CCCG
2003
15 years 1 months ago
2003
Morphing algorithms aim to construct visually pleasing interpolations (morphs) between 2D or 3D shapes. One of the desirable properties of a morph is avoiding selfintersections of...
176
click to vote
POPL
2002
ACM
16 years 4 days ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
ISW
2007
Springer
15 years 6 months ago
2007
Springer
The stream ciphers Py, Py6 designed by Biham and Seberry were promising candidates in the ECRYPT-eSTREAM project because of their impressive speed. Since their publication in Apri...
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
We introduce an exemplar model that can learn and generate a region of interest around class instances in a training set, given only a set of images containing the visual class. T...