1737 search results - page 189 / 348 » Hardware Support for Secure Processing in Embedded Systems |
116
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
This paper presents a novel Mod-4 steganographic method in discrete cosine transform (DCT) domain. A group of 2?2 quantized DCT coefficients (GQC) is selected as the valid embeddi...
150
click to vote
CAV
1998
Springer
15 years 8 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
124
click to vote
ICSEA
2006
IEEE
15 years 10 months ago
2006
IEEE
The construction and maintenance of large and complex software systems depend on the existence of global principles describing the structure and the interaction among its various ...
136
click to vote
EUROPKI
2004
Springer
15 years 10 months ago
2004
Springer
The use of PKI in large scale environments suffers some inherent problems concerning the options to adopt for the optimal cost-centered operation of the system. In this paper a Mar...
124
Voted
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
— Data centers accumulate corporate and personal data at a rapid pace. Driven by economy of scale and the high bandwidth of today’s network connections, more and more businesse...