334 search results - page 34 / 67 » A parametric analysis of the state-explosion problem in mode... |
104
Voted
SCVMA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper, several important issues related to visual motion analysis are addressed with a focus on the type of motion information to be estimated and the way context...
100
Voted
CC
2001
Springer
15 years 5 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
109
click to vote
ICECCS
2005
IEEE
15 years 6 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
114
Voted
FMICS
2009
Springer
15 years 7 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
90
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...