24529 search results - page 195 / 4906 » Computing on Authenticated Data |
113
click to vote
TPDS
2008
15 years 3 months ago
2008
High Performance Computing data centers have been rapidly growing, both in number and size. Thermal management of data centers can address dominant problems associated with cooling...
117
click to vote
SIMULATION
2002
15 years 2 months ago
2002
- In this paper, a new scheme for the simulation of tactical communications systems is introduced where the mobility, call and availability patterns for the communications equipmen...
120
click to vote
FSTTCS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
262
click to vote
ICDCS
2011
IEEE
14 years 2 months ago
2011
IEEE
—In cloud computing, clients usually outsource their data to the cloud storage servers to reduce the management costs. While those data may contain sensitive personal information...