44 search results - page 5 / 9 » Range Allocation for Separation Logic |
VTC
2010
IEEE
13 years 6 months ago
2010
IEEE
—This paper exploits the use of location information of wireless terminals to improve the performance of a beamforming system and support multiple access. Based on a system provi...
OSDI
2006
ACM
14 years 8 months ago
2006
ACM
We have developed Ceph, a distributed file system that provides excellent performance, reliability, and scalability. Ceph maximizes the separation between data and metadata manage...
ICN
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we propose an architecture to regulate the bandwidth usage of multimedia streams in networked virtual environments. In this architecture, intelligent proxies are pla...
DSN
2009
IEEE
14 years 2 months ago
2009
IEEE
Dynamic Information Flow Tracking (DIFT) is a promising security technique. With hardware support, DIFT prevents a wide range of attacks on vulnerable software with minimal perfor...
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...