1829 search results - page 184 / 366 » Towards Validation of Requirements Models |
177
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
In motion-compensated wavelet based video coders (MCWT), it is known that a precise motion estimation is necessary to minimize the wavelet coefficients energy. However, a motion v...
180
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
170
click to vote
CLOUD
2010
ACM
15 years 11 months ago
2010
ACM
Evaluating the resiliency of stateful Internet services to significant workload spikes and data hotspots requires realistic workload traces that are usually very difficult to obt...
199
click to vote
GRAPHICSINTERFACE
2003
15 years 8 months ago
2003
Modeling complex realistic objects is a difficult and time consuming process. Nevertheless, with improvements in rendering speed and quality, more and more applications require s...
172
click to vote
CSDA
2007
15 years 6 months ago
2007
Vector autoregressive (VAR) modelling is one of the most popular approaches in multivariate time series analysis. The parameters interpretation is simple, and provide an intuitive...