2470 search results - page 72 / 494 » Liveness-Preserving Simulation Relations |
100
click to vote
WSC
2004
15 years 1 months ago
2004
The Virtual Test Bed (VTB) is a prototype of a virtual engineering environment to study operations of current and future space vehicles, spaceports, and ranges. The HighLevel Arch...
112
Voted
CORR
2010
Springer
15 years 20 days ago
2010
Springer
The quality of a simulator equipped with a haptic interface is given by the dynamical properties of its components: haptic interface, simulator and control system. Some applicatio...
JOCN
2010
14 years 7 months ago
2010
According to embodied theories of language, people understand a verb like throw, at least in part, by mentally simulating throwing. This implicit simulation is often assumed to be...
ENTCS
2008
15 years 19 days ago
2008
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an atomic action as a family of transitions with a common before-state, and differ...
122
click to vote
GI
2007
Springer
15 years 6 months ago
2007
Springer
: Agent-based simulation can be viewed as methodical advancement and generalization of microscopic modelling styles in object-oriented and discrete event simulation well suited for...