486 search results - page 57 / 98 » Sound Methods and Effective Tools for Engineering Modeling a... |
FMICS
2006
Springer
14 years 15 days ago
2006
Springer
Behrmann et al. posed the question whether "To Store or Not To Store" [1] states during reachability analysis, in order to counter the effects of the well-known state spa...
IJIT
2004
13 years 10 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...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
ECCV
2000
Springer
14 years 10 months ago
2000
Springer
The initialisation of segmentation methods aiming at the localisation of biological structures in medical imagery is frequently regarded as a given precondition. In practice, howev...
OR
2010
Springer
13 years 3 months ago
2010
Springer
Abstract With potential application to a variety of industries, fleet sizing problems present a prevalent and significant challenge for engineers and managers. This is especially t...