12131 search results - page 518 / 2427 » Introduction to Modeling and Simulation |
188
click to vote
ESOA
2006
15 years 10 months ago
2006
This paper describes a car traffic control simulation realised in a decentralised way by message propagations: congested nodes (roads intersections) send speed-up or slow-down mess...
157
click to vote
APSEC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
199
click to vote
VW
2000
Springer
15 years 10 months ago
2000
Springer
A three-dimensional virtual world simulation is described, where evolution takes place and it is possible to investigate behaviors of creatures in real-time. Bodies of these creatu...
198
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper discusses our approach to the problem of refining high-level simulation specifications. Our domain is simulated combat training for tank platoon members. Our input is a...
187
click to vote
CSE
2008
IEEE
15 years 8 months ago
2008
IEEE
Parallel computing is widely used for large scale threedimensional simulation of seismic wave propagation. One particularity of most of these simulations is to consider a finite c...