1833 search results - page 44 / 367 » Mechanized Verification with Sharing |
WWW
2003
ACM
14 years 11 months ago
2003
ACM
We propose a novel structure, the data-sharing graph, for characterizing sharing patterns in large-scale data distribution systems. We analyze this structure in two such systems a...
PACT
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. It has been already verified that hardware-supported finegrain synchronization provides a significant performance improvement over coarse-grained synchronization mecha...
CIMCA
2005
IEEE
14 years 4 months ago
2005
IEEE
Access control for shared resources is a complex and challenging task, in particular if the access control policy should be able to cope with different kind of sharing and collabo...
EDBTW
2004
Springer
14 years 4 months ago
2004
Springer
In this work, we investigate mechanisms to support data sharing and querying in a peer-to-peer data management system, that is, a peer-to-peer system where each peer manages its ow...
ICPPW
1999
IEEE
14 years 3 months ago
1999
IEEE
This paper describes the Multicast Shared Tree Protocol MSTP that has been designed to support the delivery of multicast packets in a mobile ad hoc network. MSTP uses a shared tre...