3088 search results - page 17 / 618 » A Teleradiology System Design Case |
143
click to vote
EWCBR
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Case-Based Design CBD applies a knowledge-based process to the knowledge commonly associated with Case-Based Reasoning CBR systems the library of exemplars. This paper in...
205
click to vote
DSVIS
1998
Springer
15 years 10 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
143
click to vote
SEFM
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the modular nature of component-based designs to allev...
170
click to vote
ASPLOS
2012
ACM
14 years 1 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
158
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...