9067 search results - page 270 / 1814 » Adaptive Model Checking |
184
click to vote
CSREASAM
2006
15 years 8 months ago
2006
The major concern for a computer system is its security and integrity. It is necessary to check the security level of your system and keep it updated. This can be best achieved by ...
192
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
197
click to vote
CEC
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...
147
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
A motion compensated de-interlacing method wirh adaptive global motion estimation and compensation is proposed to recover the defects of interlaced video sequence with camera pann...
183
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
In [1], Adaptive Prediction Error Coding (APEC) in spatial and frequency domain is proposed and significantly improves the coding efficiency of video coders. However, this approac...