27913 search results - page 464 / 5583 » Simulation |
140
click to vote
VVEIS
2008
15 years 5 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
126
click to vote
CARS
2004
15 years 5 months ago
2004
In this article we address the problem of blood flow simulation in realistic vascular objects. The anatomical surfaces are extracted by means of Level-Sets methods that accurately ...
144
click to vote
ECIS
2004
15 years 5 months ago
2004
This article analyzes the impact of a computer simulation (business game) on the users' perceived learning. The theoretical model developed in this paper is derived from the ...
134
click to vote
SODA
2004
ACM
15 years 5 months ago
2004
ACM
Simulated tempering and swapping are two families of sampling algorithms in which a parameter representing temperature varies during the simulation. The hope is that this will ove...
123
click to vote
WICSA
2001
15 years 5 months ago
2001
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) ...