1890 search results - page 42 / 378 » Model-Based Testing in Practice |
107
click to vote
VTC
2008
IEEE
15 years 6 months ago
2008
IEEE
— In this paper, a new method for AOA estimation, based on the synthetic ESPRIT algorithm is described and tested with actual CDMA signals. Physical size constraints of handheld ...
104
click to vote
ICNP
2006
IEEE
15 years 5 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
111
click to vote
ICSE
1999
IEEE-ACM
15 years 4 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
102
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: In the analysis of microarray data one generally produces a vector of p-values that for each gene give the likelihood of obtaining equally strong evidence of change by...
ICWE
2005
Springer
15 years 5 months ago
2005
Springer
: Web-portal application development needs to be improved by comprehensive testing processes and practices. Building the initial knowledge by evaluating and improving the state of ...