2873 search results - page 504 / 575 » Model Checking and the Mu-calculus |
TPHOL
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
ATVA
2007
Springer
14 years 2 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
BPM
2007
Springer
14 years 2 months ago
2007
Springer
Historically, business process design has been driven by business objectives, specifically process improvement. However this cannot come at the price of control objectives which s...
CAV
2007
Springer
14 years 2 months ago
2007
Springer
lued Abstraction for Continuous-Time Markov Chains⋆ Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 RWTH Aachen University1 , TU Munich2 , University of...
DAGM
2007
Springer
14 years 2 months ago
2007
Springer
Magnetic resonance spectral images provide information on metabolic processes and can thus be used for in vivo tumor diagnosis. However, each single spectrum has to be checked manu...