1336 search results - page 32 / 268 » codes 2005 |
PADL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
59
Voted
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper, we propose a rewritable data embedding scheme on MPEG coded data domain for content managements including DRM, content controlling and indexing. Data embedding is p...
IWIA
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper proposes a methodology to develop countermeasures against code injection attacks, and validates the methodology by working out a specific countermeasure. This methodol...
60
Voted
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
In order to compress stereo image pairs effectively, disparity compensation is the most widely used method. In this paper we examined the effects of using different disparity maps...
DCC
2005
IEEE
15 years 9 months ago
2005
IEEE
When losses occur in a transmission of compressed video, the decoder can attempt to conceal the loss by using spatial or temporal methods to estimate the missing macroblocks. We c...