964 search results - page 75 / 193 » Scenario-driven modeling and validation of requirements mode... |
ATAL
2004
Springer
14 years 3 months ago
2004
Springer
Adaptation is an essential requirement for self–organizing multi–agent systems functioning in unknown dynamic environments. Adaptation allows agents, e.g., robots, to change th...
ICIP
2006
IEEE
14 years 11 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...
FATES
2003
Springer
14 years 3 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) ...
CLOUD
2010
ACM
14 years 3 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...
EPEW
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. RAID systems are ubiquitously deployed in storage environments, both as standalone storage solutions and as fundamental components of virtualised storage platforms. Accur...