14331 search results - page 56 / 2867 » On the modeling and analysis of obligations |
126
click to vote
CAV
2012
Springer
13 years 4 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
108
click to vote
VLSID
2007
IEEE
16 years 2 months ago
2007
IEEE
Accurate electrical masking modeling represents a significant challenge in soft error rate analysis for combinational logic circuits. In this paper, we use table lookup MOSFET mode...
152
click to vote
TOG
2012
13 years 4 months ago
2012
Large collections of 3D models from the same object class (e.g., chairs, cars, animals) are now commonly available via many public repositories, but exploring the range of shape v...
115
click to vote
ITCC
2005
IEEE
15 years 7 months ago
2005
IEEE
models evolve at different levels of abstraction, from the requirements specification to development of the source code. The models underlying this process are related and their ...
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
The Rosetta system specification language will require a variety of analysis capabilities to assist system designers. The language’s generality prohibits the development of a s...