1833 search results - page 341 / 367 » Mechanized Verification with Sharing |
EUC
2007
Springer
14 years 5 months ago
2007
Springer
Cooperative caching is an important technique to support efficient data dissemination and sharing in Mobile Ad hoc Networks (MANETs). In order to ensure valid data access, the cach...
GCC
2007
Springer
14 years 5 months ago
2007
Springer
Coordinates-based distance prediction algorithms can improve the performance of many Internet applications, especially in the peer-to-peer architecture and overlay construction. B...
ISW
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Today, digital content is routinely distributed over the Internet, and consumed in devices based on open platforms. However, on open platforms users can run exploits, rec...
RAID
2007
Springer
14 years 5 months ago
2007
Springer
Spyware infections are becoming extremely pervasive, posing a grave threat to Internet users’ privacy. Control of such an epidemic is increasingly difficult for the existing def...
ICRA
2006
IEEE
14 years 5 months ago
2006
IEEE
— This paper presents a comparative analysis relative to the experimental performances of an asymptotically fast and incremental algorithm, recently developed to compute collisio...