27913 search results - page 402 / 5583 » Simulation |
139
click to vote
ESOA
2006
15 years 7 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...
111
click to vote
APSEC
2003
IEEE
15 years 7 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 ...
141
click to vote
KES
2000
Springer
15 years 7 months ago
2000
Springer
Agent-based computational economic modeling requires demanding work on computer programming. Usually, the publications as outcomes of running these programs do not provide readers ...
152
Voted
VW
2000
Springer
15 years 7 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...
144
click to vote
KBSE
1997
IEEE
15 years 7 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...