1451 search results - page 150 / 291 » Case Studies in Model Manipulation for Scientific Computing |
183
click to vote
EDOC
2008
IEEE
16 years 26 days ago
2008
IEEE
Enterprise Architecture is a model-based approach to business-oriented IT management. To promote good IT decision making, an Enterprise Architecture framework needs to explicate w...
163
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
158
click to vote
CN
1998
15 years 6 months ago
1998
The main aim of our work is to create a realistic model of the behaviour of the upper airways during laryngoscopy. In this procedure the anaesthetist uses a rigid blade to displac...
169
click to vote
SFM
2007
Springer
16 years 15 days ago
2007
Springer
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
173
click to vote
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...