3082 search results - page 24 / 617 » Deviation Analysis: A New Use of Model Checking |
121
click to vote
BPM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Enterprises are finding limitations with current modelling and hierarchical methodologies which have human agents as a key component. By requiring a priori knowledge of b...
289
click to vote
VLDB
2007
ACM
16 years 5 months ago
2007
ACM
Whenever an intrusion occurs, the security and value of a computer system is compromised. Network-based attacks make it difficult for legitimate users to access various network ser...
118
click to vote
ICECCS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
141
Voted
ICIP
2010
IEEE
15 years 3 months ago
2010
IEEE
In confocal microscopy imaging, target objects are labeled with fluorescent markers in the living specimen, and usually appear as spots in the observed images. Spot detection and ...
147
Voted
FDL
2003
IEEE
15 years 10 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...