1338 search results - page 255 / 268 » A Secure Communications Infrastructure for High-Performance ... |
IWCMC
2006
ACM
14 years 2 months ago
2006
ACM
This paper introduces project TITAN, which investigates an alternative construct of residential broadband access. The aim of the project is to increase the utilisation of deployed...
WWW
2004
ACM
14 years 2 months ago
2004
ACM
An increasingly large amount of such applications employ service objects such as Servlets to generate dynamic and personalized content. Existing caching infrastructures are not we...
P2P
2005
IEEE
14 years 2 months ago
2005
IEEE
A mobile ad hoc network (MANET) is a multi-hop wireless network having no infrastructure. Thus, the mobile nodes have to perform basic control tasks, such as routing, and higher-l...
P2P
2005
IEEE
14 years 2 months ago
2005
IEEE
Structured peer-to-peer overlay networks are now an established paradigm for implementing a wide range of distributed services. While the problem of maintaining these networks in ...
CMSB
2006
Springer
14 years 16 days ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...