Sciweavers

1663 search results - page 15 / 333
» Verification and validation of simulation models
Sort
View
WSC
2008
14 years 12 months ago
How to build valid and credible simulation models
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...
Averill M. Law
64
Voted
WSC
2001
14 years 11 months ago
Practical approaches for validating a construction simulation
This paper presents three methods implemented in the activity-based construction modeling and simulation (ABC) system for validating a construction simulation. The first method re...
Jonathan Jingsheng Shi
HASE
2008
IEEE
14 years 9 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
DATE
1999
IEEE
172views Hardware» more  DATE 1999»
15 years 1 months ago
An Object-Based Executable Model for Simulation of Real-Time Hw/Sw Systems
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
Olivier Pasquier, Jean Paul Calvez
CSE
2009
IEEE
15 years 28 days ago
Development and Validation of an Agent-Based Simulation Model of Juvenile Delinquency
This paper describes the development and validation of a dynamic multi-agent model to simulate social learning of adolescence-limited criminal behaviour. The parameters of the age...
Tibor Bosse, Charlotte Gerritsen, Michel C. A. Kle...