359 search results - page 31 / 72 » A Formal Model of the Process of Wayfinding in Built Environ... |
WSC
2008
13 years 11 months ago
2008
In this tutorial we present techniques for building valid and credible simulation models. Ideas to be discussed include the importance of a definitive problem formulation, discuss...
ICSE
1999
IEEE-ACM
14 years 29 days ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
JCC
2010
13 years 7 months ago
2010
Molecular dynamics (MD) simulation involves solving Newton’s equations of motion for a system of atoms, by calculating forces and updating atomic positions and velocities over a...
BPM
2005
Springer
14 years 2 months ago
2005
Springer
With the new middleware IT technologies such as Web Services and peer-to-peer computing facilities, a Virtual Enterprise can be built easier achieving some problems of interoperabi...
HPDC
2000
IEEE
14 years 1 months ago
2000
IEEE
Split execution is a common model for providing a friendly environment on a foreign machine. In this model, a remotely executing process sends some or all of its system calls back...