3082 search results - page 37 / 617 » Deviation Analysis: A New Use of Model Checking |
160
click to vote
CPM
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Protein structure analysis is one of the most important research issues in the post-genomic era, and faster and more accurate query data structures for such 3-D structure...
143
click to vote
SPIN
1999
Springer
15 years 9 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
160
click to vote
DSN
2006
IEEE
15 years 11 months ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
133
click to vote
JCS
2002
15 years 5 months ago
2002
Vulnerability analysis is concerned with the problem of identifying weaknesses in computer systems that can be exploited to compromise their security. In this paper we describe a ...
142
click to vote
BPM
2009
Springer
15 years 12 months ago
2009
Springer
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and o...