1399 search results - page 188 / 280 » Verification of Test Suites |
109
click to vote
WSC
2004
15 years 7 months ago
2004
This paper describes the validation of the Enlisted Grade model gradebreaks and describes a current application of simulation in operations research. The Enlisted Grade model is p...
114
click to vote
WSC
1997
15 years 7 months ago
1997
This paper describes the Integrated Medical Analysis System. This evolving system consists of an integrated suite of models and tools providing quantitative and dynamic analysis f...
128
click to vote
WCE
2007
15 years 7 months ago
2007
—Although the current E-Learning systems have many merits, many of them only treat advanced information technology as simple communication tools, and release some learning conten...
176
click to vote
HICSS
2010
IEEE
15 years 7 months ago
2010
IEEE
Mobile learning exposes learning to the natural environment. If this environment is large, the learners have to navigate to find the learning objects or to explore the environment...
145
click to vote
ENTCS
2008
15 years 6 months ago
2008
The better known methods of semantic tableaux for deciding satisfiability in propositional linear temporal logic generate graphs in addition to classical trees. The test of satisf...