3335 search results - page 123 / 667 » Grid result checking |
128
Voted
RAID
2010
Springer
15 years 1 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...
140
Voted
DAC
2006
ACM
16 years 4 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...
129
Voted
PERCOM
2009
ACM
15 years 10 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...
131
Voted
HVC
2005
Springer
15 years 9 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 ...
125
Voted
ICBA
2004
Springer
15 years 8 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...