1663 search results - page 277 / 333 » Verification and validation of simulation models |
ECMDAFA
2010
Springer
15 years 1 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
ENVSOFT
2008
14 years 9 months ago
2008
In this study we investigated the perspective offered by coupling a simple vegetation growth model and ground-based remotely-sensed data for the monitoring of wheat production. A ...
185
click to vote
ICDE
2003
IEEE
15 years 11 months ago
2003
IEEE
In moving object environments, it is infeasible for the database tracking the movement of objects to store the exact locations of objects at all times. Typically, the location of a...
163
click to vote
ICDE
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a general model for estimating access times of serpentine tape drives. The model is used to schedule I/O requests in order to minimize the total access time. W...
DCC
2004
IEEE
15 years 9 months ago
2004
IEEE
We study the entropy rate of a hidden Markov process (HMP) defined by observing the output of a binary symmetric channel whose input is a first-order binary Markov process. Despit...