4930 search results - page 112 / 986 » Testing a Safety-Critical Application |
144
click to vote
FLAIRS
2009
15 years 2 months ago
2009
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...
141
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Traditional binary hypothesis testing relies on the precise knowledge of the probability density of an observed random vector conditioned on each hypothesis. However, for many app...
130
Voted
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Relying on optimally distinguishable distributions (ODD), it was defined very recently a new framework for the composite hypothesis testing. We resort to the linear model to inve...
128
click to vote
DFT
2007
IEEE
15 years 11 months ago
2007
IEEE
In the paper, a methodology of developing checkers for communication protocol testing is presented. It was used to develop checker to test IP cores communication protocol implemen...
139
Voted
UML
2001
Springer
15 years 9 months ago
2001
Springer
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...