396 search results - page 69 / 80 » Using Refinement Checking as System Testing |
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
E-science experiments typically involve many distributed services maintained by different organisations. After an experiment has been executed, it is useful for a scientist to ver...
100
click to vote
SIGUCCS
2003
ACM
15 years 2 months ago
2003
ACM
Managing operating systems and campus-supported software can be a daunting challenge. Many colleges and universities handle these challenges by using disk imaging software to crea...
ISBI
2006
IEEE
15 years 3 months ago
2006
IEEE
Automated detection of stable fracture points in a sequence of Computed Tomography (CT) images is found to be a challenging task. In this paper, an innovative scheme for automatic...
86
Voted
ML
2006
ACM
15 years 3 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
66
Voted
ICLP
1989
Springer
15 years 1 months ago
1989
Springer
The generation of efficient code for Prolog programs requires sophisticated code transformation and optimization systems. Much of the recent work in this area has focussed on hig...