9067 search results - page 644 / 1814 » Adaptive Model Checking |
225
click to vote
BERTINORO
2005
Springer
16 years 25 days ago
2005
Springer
Current computing environments are becoming increasingly complex in nature and exhibit unpredictable workloads. These environments create challenges to the design of systems that c...
180
Voted
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
The relationships between the work products of a security engineering process can be hard to understand, even for persons with a strong technical background but little knowledge o...
216
click to vote
COORDINATION
2008
Springer
15 years 9 months ago
2008
Springer
Context-aware applications adapt their behavior depending on changes in their environment context. Programming such applications in a modular way requires to modularize the global ...
205
click to vote
JDCTA
2010
15 years 2 months ago
2010
On clinical applications, many magnetic resonance (MR) Images obtained directly by the instruments are not satisfied by doctors. For example, there are some noises and poor contra...
153
click to vote
ICIP
2004
IEEE
16 years 9 months ago
2004
IEEE
An error corruption model (ECM) to describe the interframe error propagation phenomenon in a motion-compensated predictive video codec using fluid flow characteristics is proposed...