1886 search results - page 3 / 378 » Verifying and Validating Simulation Models |
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
WSC
2007
13 years 7 months ago
2007
ExtendSim 7 is a proven simulation environment capable of modeling a wide range of systems. ExtendSim 7 is used to model continuous, discrete event, discrete rate, and agent based...
WSC
2007
13 years 7 months ago
2007
In this paper we discuss verification and validation of simulation models. Four different approaches to deciding model validity are described; two different paradigms that relate ...
AUTOMATICA
2008
13 years 5 months ago
2008
: The standard prediction error framework provides many theoretical results under the assumption that the true system is in the model class. An important example is the expression ...