1816 search results - page 50 / 364 » Case study in modeling and simulation validation methodology |
ICRE
1998
IEEE
15 years 1 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
HPDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Cloud computing has emerged as a new approach to large scale computing and is attracting a lot of attention from the scientific and research computing communities. Despite its gro...
BIBE
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract—Recent improvements in high-throughput genotyping technology make possible genome-wide association studies and status prediction (classification) for common complex dis...
70
Voted
WSC
2008
15 years 39 min ago
2008
This paper discusses information fusion methodologies, selection of one of these methodologies, and application of these fusion methodologies to underwater sonar simulation. Bayes...
DKE
2008
14 years 9 months ago
2008
Knowledge validation, as part of knowledge base verification and validation is a critical process in knowledge engineering. The ultimate goal of this process is to make the knowle...