3335 search results - page 123 / 667 » Grid result checking |
154
click to vote
RAID
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Over the past few years, virtualization has been employed to environments ranging from densely populated cloud computing clusters to home desktop computers. Security rese...
169
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
This paper describes a novel engine, called PE-ICE (Parallelized Encryption and Integrity Checking Engine), enabling to guarantee confidentiality and integrity of data exchanged b...
165
click to vote
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
—Contexts, the pieces of information that capture the characteristics of computing environments, are often inconsistent in the dynamic and uncertain pervasive computing environme...
158
click to vote
HVC
2005
Springer
15 years 11 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
159
click to vote
ICBA
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we propose the iris recognition system, which can select the good quality data between left and right eye images of same person. Although iris recognition system has...