16725 search results - page 2642 / 3345 » Engineering Software Correctness |
187
click to vote
DSVIS
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
187
click to vote
GRAPHITE
2004
ACM
16 years 22 days ago
2004
ACM
This article introduces a new class of constraints for spline variational modeling, which allows more flexible user specification, as a constrained point can ”slide” along a...
194
click to vote
DFG
2004
Springer
16 years 20 days ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
169
Voted
ICBA
2004
Springer
16 years 20 days ago
2004
Springer
The open set recognition task, most challenging among the biometric tasks, operates under the assumption that not all the probes have mates in the gallery. It requires the availabi...
199
Voted
ISER
2004
Springer
16 years 20 days ago
2004
Springer
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...