852 search results - page 80 / 171 » Understanding How the Requirements Are Implemented in Source... |
141
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
140
click to vote
HIPC
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes the motivation, architecture and implementation of iSAN, an “intelligent” storage area network. The main contributions of this work are: (1) how to archite...
142
click to vote
VL
1992
IEEE
15 years 8 months ago
1992
IEEE
In software visualization and algorithm animation it is important that advances in system technologies are accompanied by corresponding advances in animation presentations. In thi...
126
click to vote
AAAI
2004
15 years 5 months ago
2004
A wide variety of techniques for visual navigation using robot-mounted cameras have been described over the past several decades, yet adoption of optical flow navigation technique...
182
click to vote
EDBT
2012
ACM
13 years 6 months ago
2012
ACM
Many stream processing applications require access to a multitude of streaming as well as stored data sources. Yet there is no clear semantics for correct continuous query executi...