10038 search results - page 209 / 2008 » Model Checking for Managers |
197
click to vote
AGP
2003
IEEE
15 years 11 months ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
171
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
187
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
182
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper studies algorithms for the Disjunctive Temporal Problem (DTP) a quite general temporal reasoning problem introduced in [12]. This problem involves the satisfac...
149
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Software component reuse is the software engineering practice of developing new software products from existing components. A reuse library or component reuse repository organizes...