809 search results - page 118 / 162 » Requirements by Contracts allow Automated System Testing |
QEST
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
123
click to vote
ADAEUROPE
2006
Springer
15 years 5 months ago
2006
Springer
When a middleware layer is designed for providing semi-transparent distribution facilities to real-time applications, a trade-off must be made between the expressiveness and contro...
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— High-dimensional problems arising from complex robotic systems test the limits of current motion planners and require the development of efficient distributed motion p...
FPL
2004
Springer
15 years 5 months ago
2004
Springer
Several implementations of Artificial Neural Networks have been reported in scientific papers. Nevertheless, these implementations do not allow the direct use of off-line trained n...
ITC
2002
IEEE
15 years 4 months ago
2002
IEEE
The continued market demand for GHz processors and high-capacity communication systems results in an increasing number of low-cost high volume ICs with multi-GHz clocks and/or mul...