10072 search results - page 159 / 2015 » Composition of Model Programs |
164
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
145
click to vote
EPEW
2005
Springer
15 years 11 months ago
2005
Springer
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...