1104 search results - page 68 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
WSC
2004
13 years 10 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...
MCS
2008
Springer
13 years 8 months ago
2008
Springer
The purpose of this paper is to present some numerical tools which facilitate the interpretation of simulation or data fitting results and which allow to compute optimal experimen...
JMS
2010
13 years 7 months ago
2010
This paper describes the development of a tree-based decision model to predict the severity of pediatric asthma exacerbations in the emergency department (ED) at two hours followi...
VL
2003
IEEE
14 years 2 months ago
2003
IEEE
The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation...
WSC
2007
13 years 11 months ago
2007
ExtendSim 7 is a proven simulation environment capable of modeling a wide range of systems. ExtendSim 7 is used to model continuous, discrete event, discrete rate, and agent based...