Sciweavers

3605 search results - page 73 / 721
» System and simulation modeling using SysML
Sort
View
CN
1998
77views more  CN 1998»
14 years 9 months ago
Modelling and simulation of the tongue during laryngoscopy
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...
Maria Andréia F. Rodrigues, Duncan Fyfe Gil...
WSC
2000
14 years 11 months ago
Optimizing production work flow using OpEMCSS
A graphical discrete event simulation library is proposed for system simulation that is based on interacting concurrent processes. This library works with EXTEND (Imagine That Inc...
John R. Clymer
CAV
2007
Springer
227views Hardware» more  CAV 2007»
15 years 1 months ago
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
Martin Ouimet, Kristina Lundqvist
PARLE
1994
15 years 1 months ago
Modelling Photochemical Pollution using Parallel and Distributed Computing Platforms
Scientists are increasingly turning to numerical simulation in order to investigate and model complex environmental systems. Numerical simulation has enormous advantages over labor...
David Abramson, M. Cope, R. McKenzie
WSC
2008
15 years 4 days ago
Establishing the credibility of a biotech simulation model
One of the key goals for a simulation model is to accurately replicate the real system under consideration. A protocol is proposed to add credibility to the outputs of a simulatio...
Lenrick Johnston, Lee Schruben, Arden Yang, David ...