7766 search results - page 1295 / 1554 » Testing Nondeterminate Systems |
100
click to vote
RE
2004
Springer
15 years 6 months ago
2004
Springer
Jackson’s Problem Frames provide a means of analysing and decomposing problems. They emphasise the world outside the computer helping the developer to focus on the problem domai...
133
Voted
SETN
2004
Springer
15 years 6 months ago
2004
Springer
We present novel intelligent tools for mining 3D medical images. We focus on detecting discriminative Regions of Interest (ROIs) and mining associations between their spatial distr...
135
Voted
SOFTCO
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. An artificial neural network with all its elements is a rather complex structure, not easily constructed and/or trained to perform a particular task. Consequently, severa...
ACSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
86
Voted
ACSD
2003
IEEE
15 years 6 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...