2896 search results - page 503 / 580 » Curricula Modeling and Checking |
179
click to vote
ATVA
2007
Springer
15 years 12 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...
161
click to vote
BPM
2007
Springer
15 years 12 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...
134
click to vote
CAV
2007
Springer
15 years 12 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...
146
click to vote
DAGM
2007
Springer
15 years 12 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...
148
click to vote
FSEN
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...