556 search results - page 53 / 112 » Checking Interval Properties of Computations |
169
click to vote
TIME
2006
IEEE
15 years 10 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
105
click to vote
ISI
2006
Springer
15 years 4 months ago
2006
Springer
Security of civil aviation has become a major concern in recent years, leading to a variety of protective measures related to airport and aircraft security to be established by re...
114
click to vote
LCPC
2001
Springer
15 years 8 months ago
2001
Springer
This paper deals with the problem of statically inferring the shape of an array in languages such as MATLAB. Inferring an array’s shape is desirable because it empowers better co...
251
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
119
click to vote
JCS
2002
15 years 4 months ago
2002
Vulnerability analysis is concerned with the problem of identifying weaknesses in computer systems that can be exploited to compromise their security. In this paper we describe a ...