6608 search results - page 124 / 1322 » On the Completeness of Model Checking |
164
click to vote
IANDC
2006
15 years 4 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
148
click to vote
IFIP
2009
Springer
15 years 2 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
148
click to vote
ECML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We consider the problem of predicting how a user will continue a given initial text fragment. Intuitively, our goal is to develop a “tab-complete” function for natura...
142
click to vote
AAAI
2012
13 years 6 months ago
2012
Given a monochrome image and some manually labeled pixels, the colorization problem is a computer-assisted process of adding color to the monochrome image. This paper proposes a n...
130
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...