6704 search results - page 90 / 1341 » Testing Scenario-Based Models |
113
click to vote
PTS
2008
15 years 3 months ago
2008
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
124
click to vote
MSWIM
2006
ACM
15 years 8 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
123
click to vote
CSDA
2010
15 years 2 months ago
2010
Linear regression models for de facto exchange rate regime classification are complemented by inferential techniques for evaluating the stability of the regimes. To simultaneously...
145
Voted
MA
2011
Springer
14 years 9 months ago
2011
Springer
The asymptotic properties of the quasi-maximum likelihood estimator (QMLE) of vector autoregressive moving-average (VARMA) models are derived under the assumption that the errors ...
119
click to vote
IAAI
2001
15 years 3 months ago
2001
ADIOP is an application for Automated Diagnosis of InterOperability Problems. Interoperability testing involves checking the degree of compatibility between two networking devices...