611 search results - page 77 / 123 » Relative simulation and model checking of real-time processe... |
SIMUTOOLS
2008
13 years 10 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
WSC
1998
13 years 10 months ago
1998
The fast growth in airline passenger traffic combined with the slow growth in airport capacity worldwide is putting a severe strain on the capability of airlines to adapt their pr...
CG
2007
Springer
13 years 9 months ago
2007
Springer
We present an efficient compression scheme for animated sequences of triangular meshes of the same connectivity. The proposed algorithm exploits the temporal coherence of the geo...
WSCG
2004
13 years 10 months ago
2004
A conceptual model of a virtual world is a high-level representation of how the objects behave and how they are related to each other. The conceptual models identify the most esse...
CCGRID
2009
IEEE
14 years 7 days ago
2009
IEEE
The understanding of H diffusion in materials is pivotal to designing suitable processes. Though a nudged elastic band (NEB)+molecular dynamics (MD)/quantum mechanics (QM) algori...