2661 search results - page 230 / 533 » Model Checking Performability Properties |
121
click to vote
SIGSAND
2008
15 years 4 months ago
2008
: Conceptual business process models such as Event-driven Process Chains (EPCs) play an important role in the business process management life cycle. The problem in this context is...
115
click to vote
DAGM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This contribution presents a novel approach to the challenging problem of model selection in motion estimation from sequences of images. New light is cast on parametric m...
110
click to vote
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...
125
click to vote
AMAI
2010
Springer
15 years 13 days ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
159
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...