1663 search results - page 156 / 333 » Validation and Verification of Simulation Models |
109
click to vote
ICDS
2009
IEEE
15 years 11 months ago
2009
IEEE
Existing traffic flow modeling theory lacks of guidelines to construct traffic flow models from scratch. In addition, traffic flow models are mainly analyzed with computer simulat...
129
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
160
Voted
ICDAR
1999
IEEE
15 years 8 months ago
1999
IEEE
We propose a two-state Markov chain model of degraded document images. The model generates random and burst noise to simulate isolated pixel reversal as well as blurring of a larg...
139
click to vote
SIGMETRICS
1993
ACM
15 years 8 months ago
1993
ACM
As disk arrays become widely used, tools for understanding and analyzing their performance become increasingly important. In particular, performance models can be invaluable in bo...
132
click to vote
ISER
2004
Springer
15 years 9 months ago
2004
Springer
As a flexible needle with a bevel tip is pushed through soft tissue, the asymmetry of the tip causes the needle to bend. We propose that, by using nonholonomic kinematics, contro...