3771 search results - page 63 / 755 » Subobject Transformation Systems |
ICMCS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper proposes an RST-invariant multi-bit watermarking system based on LPM and DFT. This system embeds the watermark in a rotation and translation invariant domain obtained b...
107
click to vote
CC
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Efficient implementation of DSP applications are critical for embedded systems. However, current applications written in C, make extensive use of pointer arithmetic maki...
126
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
It has been shown that secret information can be leaked to external observers through covert timing channels. In this paper we are concerned with a kind of timing attack that want...
110
Voted
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
118
Voted
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor...