Sciweavers

27913 search results - page 178 / 5583
» Simulation
Sort
View
WSC
2008
15 years 4 months ago
A Pi-calculus formalism for discrete event simulation
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation...
Jianrui Wang, Richard A. Wysk
166
Voted
ISBMS
2010
Springer
15 years 3 months ago
A Point-Based Simulation Framework for Minimally Invasive Surgery
In this paper, we present a physically-based simulation framework to build up real-time Minimally invasive surgery (MIS) simulators using pointbased techniques. In our framework, s...
Bo Zhu, Lixu Gu, Xiaopeng Peng, Zhe Zhou
GRAPHITE
2007
ACM
15 years 3 months ago
Mode-splitting for highly detailed, interactive liquid simulation
This work introduces a new technique for highly detailed, interactive liquid simulations. Similar to the mode-splitting method (used e.g. in oceanography), we separate the simulat...
H. Cords
EUMAS
2006
15 years 3 months ago
E*plore-ing the Simulation Design Space
One of the major puzzles in performing multi-agent-based simulations is the validity of their results. Optimisation of simulation parameters can lead to results that can be deceit...
Luis Antunes, Helder Coelho, João Balsa
WSC
2001
15 years 3 months ago
Case study in modeling and simulation validation methodology
The military develops simulations to analyze nearly every aspect of defense. How accurate are these simulations and to what extent do they produce dependable results? Most guidanc...
Scott D. Simpkins, Eugene P. Paulo, Lyn R. Whitake...