4156 search results - page 391 / 832 » Modeling and simulation of retrieving process |
143
Voted
QEST
2006
IEEE
15 years 9 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
148
click to vote
WSC
1997
15 years 4 months ago
1997
A methodology is presented which allows comparison between models under different modeling paradigms. Consider the following situation: Two models have been constructed to study d...
121
Voted
WSC
2000
15 years 4 months ago
2000
Circumstance Descriptors are offered as a way to organize spatial and other military knowledge that may be difficult to formulate, particularly the kinds of details that are most ...
120
click to vote
WSC
2001
15 years 4 months ago
2001
The purpose of this research was to identify the factors in a wafer fabrication facility that significantly affect the cycle times of two main technologies that are currently in p...
WSC
2004
15 years 4 months ago
2004
Hospitals today are investing time and money to expand and improve their Emergency Departments (ED). Using simulation to test their many improvement ideas can necessitate running ...