Sciweavers

1663 search results - page 15 / 333
» Validation and Verification of Simulation Models
Sort
View
WSC
2008
13 years 9 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
WSC
2001
13 years 8 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
13 years 7 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»
13 years 11 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
13 years 10 months 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...