4447 search results - page 793 / 890 » Model Checking Games |
148
click to vote
EUROMICRO
2007
IEEE
16 years 21 days ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
129
click to vote
SCAM
2007
IEEE
16 years 19 days ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...
177
click to vote
TPHOL
2007
IEEE
16 years 19 days 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...
191
click to vote
ATVA
2007
Springer
16 years 17 days 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...
176
click to vote
BPM
2007
Springer
16 years 17 days 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...