3428 search results - page 94 / 686 » Making the Case |
102
click to vote
RSP
2003
IEEE
15 years 3 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
DSN
2007
IEEE
15 years 5 months ago
2007
IEEE
Assurance Based Development (ABD) is the synergistic construction of a critical computing system and an assurance case that sets out the dependabilit...
EWCBR
1998
Springer
15 years 2 months ago
1998
Springer
This paper presents the results of an investigation into the suitability of a Virtual Reality (VR) environment for case-based reasoning (CBR). The paper will show that for problem ...
109
click to vote
GLOBECOM
2007
IEEE
15 years 5 months ago
2007
IEEE
— In this paper we evaluate outage performance of a cooperative transmission protocol over fading channels that requires a number of relaying nodes to employ a distributed space-...
CONCUR
2001
Springer
15 years 3 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...