263 search results - page 50 / 53 » A Generic Storage API |
CCS
2004
ACM
14 years 22 days ago
2004
ACM
Access control can be used to ensure that database queries pertaining to sensitive information are not answered. This is not enough to prevent users from learning sensitive inform...
SPIN
2004
Springer
14 years 20 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
COMPSAC
2009
IEEE
14 years 1 days ago
2009
IEEE
Matrices are essential in many fields of computer science, especially when large amounts of data must be handled efficiently. Despite this demand for matrix software, we were una...
MSS
2000
IEEE
13 years 11 months ago
2000
IEEE
The CEDARS∗ project within UK academia seeks to develop a demonstrator system to recommend techniques for long-term storage of digital data primarily within the research library...
DSN
2007
IEEE
13 years 11 months ago
2007
IEEE
Peer-to-peer technique has now become one of the major techniques to exchange digital content between peers of the same interest. However, as the amount of peer-topeer traffic inc...