22588 search results - page 381 / 4518 » On simulation model complexity |
170
click to vote
WSC
1997
15 years 9 months ago
1997
This paper is part of a focused paper panel discussion addressing the results of an invited workshop conducted in Orlando, Florida in February, 1997. The workshop addressed the qu...
219
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
205
click to vote
WSC
1998
15 years 9 months ago
1998
A method for automatically improving the performance of construction operations was developed by the integration of computer simulation and belief networks. The simulation model i...
154
click to vote
WSC
1998
15 years 9 months ago
1998
This paper presents the development process of the Panama Canal Simulation Model (PCSM). The PCSM was developed by The SABRE Group (SABRE) for the Panama Canal Commission (PCC) to...
210
click to vote
WSC
2001
15 years 9 months ago
2001
This paper reports on continuing work that concerns research into the development of a commercial off the shelf (COTS) distributed simulation environment (federation) using the Ge...