440 search results - page 23 / 88 » Local reasoning for abstraction and sharing |
113
click to vote
MMMACNS
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. To share information and retain control (share-but-protect) is a classic cyber security problem for which effective solutions continue to be elusive. Where the patterns o...
190
click to vote
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
Abstract-- With fast paced growth of digital data and exploding storage management costs, enterprises are looking for new ways to effectively manage their data. One such cost-effec...
127
click to vote
HPCA
2002
IEEE
16 years 2 months ago
2002
IEEE
Clusters of high-end workstations and PCs are currently used in many application domains to perform large-scale computations or as scalable servers for I/O bound tasks. Although c...
125
click to vote
WOMPAT
2001
Springer
15 years 6 months ago
2001
Springer
Clusters of high-end workstations and PCs are currently used in many application domains to perform large-scale computations or as scalable servers for I/O bound tasks. Although cl...
182
click to vote
PLPV
2011
ACM
14 years 4 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...