379 search results - page 28 / 76 » The AGEDIS Tools for Model Based Testing |
100
Voted
HPCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
135
Voted
AIED
2005
Springer
15 years 9 months ago
2005
Springer
Intelligent Tutoring Systems are notoriously costly to construct [1], and require PhD level experience in cognitive science and rule based programming. The goal of this research wa...
131
Voted
FATES
2004
Springer
15 years 9 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
138
Voted
IJIT
2004
15 years 5 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
153
Voted
SSPR
2010
Springer
15 years 2 months ago
2010
Springer
Many approaches to learning classifiers for structured objects (e.g., shapes) use generative models in a Bayesian framework. However, state-of-the-art classifiers for vectorial d...