1833 search results - page 56 / 367 » Mechanized Verification with Sharing |
104
click to vote
BDIM
2007
IEEE
15 years 7 months ago
2007
IEEE
Utility services providers offer on-demand services for multiple users and applications from a shared resource pool. The utility computing environment provider manages resources th...
119
Voted
SDMW
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Due to the growing interest in XML security, various access control schemes have been proposed recently. However, little effort has been put forth to facilitate a unifor...
102
click to vote
NETWORKING
2010
15 years 2 months ago
2010
Embedding of virtual network (VN) requests on top of a shared physical network poses an intriguing combination of theoretical and practical challenges. Two major problems with the ...
101
Voted
CCS
2009
ACM
15 years 7 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
88
Voted
WISE
2002
Springer
15 years 5 months ago
2002
Springer
With the flurry of research on P2P computing, many P2P technical challenges have emerged, one of which is how to efficiently locate desired resources. Advances have been made in...