14779 search results - page 2894 / 2956 » On Ultrametric Algorithmic Information |
CCS
2006
ACM
15 years 3 months ago
2006
ACM
In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes...
DSN
2004
IEEE
15 years 3 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
CHES
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper we describe two differential fault attack techniques against Advanced Encryption Standard (AES). We propose two models for fault occurrence; we could find a...
FGR
2004
IEEE
15 years 3 months ago
2004
IEEE
Due to variations of lighting conditions, camera hardware settings, and the range of skin coloration among human beings, a pre-defined skin-color model cannot accurately capture t...
104
click to vote
CCGRID
2001
IEEE
15 years 3 months ago
2001
IEEE
- With the progress of research on cluster computing, more and more universities have begun to offer various courses covering cluster computing. A wide variety of content can be ta...