Sciweavers

2067 search results - page 50 / 414
» Modeling and Simulation of Operating System Behavior
Sort
View
70
Voted
WSC
2000
14 years 11 months ago
Simulation in a box: a generic reusable maintenance model
Simulation models can be time-consuming to build and often multiple models are built to simulate similar systems that have small differences. While developing a model to evaluate ...
Nancy Brown, Steve Powers
73
Voted
WSC
2001
14 years 11 months ago
Hybrid agent-based simulation for analyzing the national airspace system
Hybrid agent-based simulation is required to provide a mechanism for analyzing large-scale complex systems, such as the National Airspace System (NAS). The dynamic behavior of man...
Seungman Lee, Amy R. Pritchett, David Goldsman
FASE
2004
Springer
15 years 1 months ago
An Operational Semantics for Stateflow
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
Grégoire Hamon, John M. Rushby
58
Voted
WSC
1998
14 years 11 months ago
Modeling a Controlled Conveyor Network with Merging Configuration
Simulation with Arena is used to analyze a controlled conveyor network with merging configuration (CNMC). We use simulation to realize the logic in a queueingtheoretic model (QTM)...
Gary Gang Jing, W. David Kelton, José C. Ar...
CHI
2006
ACM
15 years 10 months ago
Design of a role-playing game to study the trajectories of health care workers in an operating room
Drawing on an ethnographic study of hospital work in an operating room, we present the design and implementation of a web-based role-playing application of a master schedule. We s...
Elisa Mattarelli, Kelly J. Fadel, Suzanne P. Weisb...