10156 search results - page 57 / 2032 » Step by Step to Histories |
183
click to vote
NEUROSCIENCE
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Finite-state machines are the most pervasive models of computation, not only in theoretical computer science, but also in all of its applications to real-life problems, a...
CVPR
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper presents an approach for establishing correspondencesin time and in space between two differentvideo sequences of the same dynamic scene, recorded by stationary uncalib...
ICPR
2000
IEEE
15 years 4 months ago
2000
IEEE
100
click to vote
NDSS
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
NDSS
2000
IEEE
15 years 4 months ago
2000
IEEE
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection...