6608 search results - page 45 / 1322 » On the Completeness of Model Checking |
120
Voted
AIL
2007
15 years 27 days ago
2007
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...
135
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
135
Voted
CAISE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Traditionally, process mining has been used to extract models from event logs and to check or extend existing models. This has shown to be useful for improving processes ...
INFORMATICALT
2010
14 years 11 months ago
2010
To suitably complete an image without seams, block effects, and artifacts, a novel exemplar-based image completion model employing partial differential equation (PDE) is proposed. ...
120
click to vote
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...