6704 search results - page 151 / 1341 » Testing Scenario-Based Models |
182
click to vote
IJNSEC
2008
15 years 6 months ago
2008
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE)...
177
click to vote
ET
2000
15 years 6 months ago
2000
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...
189
click to vote
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
An operational framework is developed for testing stationarity relatively to an observation scale. The proposed method makes use of a family of stationary surrogates for defining ...
147
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Within the framework of long memory multivariate processes, fractal connectivity is a particular model, in which the low frequencies (coarse scales) of the interspectrum of each p...
135
click to vote
METRICS
2003
IEEE
15 years 11 months ago
2003
IEEE
When it is impractical to rigorously assess all parts of complex systems, test engineers use defect detectors to focus their limited resources. In this article, we define some pr...