1886 search results - page 22 / 378 » Verifying and validating a simulation model |
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...
IPPS
1999
IEEE
15 years 1 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
TC
1998
14 years 9 months ago
1998
ion Techniques for Validation Coverage Analysis and Test Generation Dinos Moundanos, Jacob A. Abraham, Fellow, IEEE, and Yatin V. Hoskote —The enormous state spaces which must be...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Crowd simulation models are currently lacking a commonly accepted validation method. In this paper, we propose level of presence achieved by a human in a virtual environment (VE) ...
WSC
2004
14 years 11 months ago
2004
We present a conceptual framework for validating reusable behavioral models. The setting for this work is a modern product development environment in which design is performed by ...