854 search results - page 61 / 171 » Addressing Dynamic Issues of Program Model Checking |
CAV
2010
Springer
15 years 6 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
112
click to vote
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
: Nowadays information systems are required to adapt themselves dynamically to the ever changing environment and requirements. Architectural reflection represents a principled mean...
151
Voted
CVPR
2009
IEEE
2009
IEEE
Switching Gaussian Process Dynamic Models for simultaneous composite motion tracking and recognition
15 years 6 months ago
Traditional dynamical systems used for motion tracking cannot effectively handle high dimensionality of the motion states and composite dynamics. In this paper, to address both is...
108
click to vote
HICSS
2002
IEEE
15 years 7 months ago
2002
IEEE
Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of...
121
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...