1663 search results - page 117 / 333 » Validation and Verification of Simulation Models |
132
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
144
click to vote
WSC
2000
15 years 5 months ago
2000
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...
161
click to vote
APCCM
2008
15 years 5 months ago
2008
The work presented in this paper targets the software integration on the level of business process models. The goal is to create the behavioural description of an integrated syste...
145
click to vote
ITS
2000
Springer
15 years 7 months ago
2000
Springer
To meet the needs for large-scale, high-quality learning contents, needless to say, we have to sharpen authoring tools. Authoring process can be roughly divided into two phases, a ...
153
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...