Sciweavers

1886 search results - page 94 / 378
» Verifying and Validating Simulation Models
Sort
View
JMS
2010
65views more  JMS 2010»
14 years 8 months ago
A Tree-Based Decision Model to Support Prediction of the Severity of Asthma Exacerbations in Children
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...
Ken Farion, Wojtek Michalowski, Szymon Wilk, Dympn...
ENTCS
2006
112views more  ENTCS 2006»
14 years 10 months ago
Modeling Web Applications by the Multiple Levels of Integrity Policy
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
Gianluca Amato, Massimo Coppola, Stefania Gnesi, F...
ISMS
2004
Springer
15 years 3 months ago
Coherent Scene Generation for Surgical Simulators
The idea of using computer-based surgical simulators for training of prospective surgeons has been a topic of research for more than a decade. However, surgical simulation is still...
Raimundo Sierra, Michael Bajka, Celalettin Karadog...
RE
2010
Springer
14 years 4 months ago
A goal-based framework for contextual requirements modeling and analysis
Abstract Requirements Engineering (RE) research often ignores, or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerg...
Raian Ali, Fabiano Dalpiaz, Paolo Giorgini
DFT
2005
IEEE
90views VLSI» more  DFT 2005»
15 years 3 months ago
On the Modeling and Analysis of Jitter in ATE Using Matlab
This paper presents a new jitter component analysis method for mixed mode VLSI chip testing in Automatic Test Equipment (ATE). The separate components are analyzed individually an...
Kyung Ki Kim, Jing Huang, Yong-Bin Kim, Fabrizio L...