13383 search results - page 2438 / 2677 » Abstractions from proofs |
136
Voted
PERCOM
2008
ACM
15 years 23 days ago
2008
ACM
Integrating p2p services in multi-hop ad hoc networks is today a hot topic. General multi-hop , and pervasive systems in particular, can greatly benefit from high-level middleware...
95
Voted
IEEESP
2007
15 years 22 days ago
2007
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...
113
Voted
SCN
2008
Springer
15 years 22 days ago
2008
Springer
Abstract-- Despite the rapid advance in networking technologies, detection of network anomalies at high-speed switches/routers is still far from maturity. To push the frontier, two...
103
Voted
SIGIR
2008
ACM
15 years 22 days ago
2008
ACM
Address geocoding, the process of finding the map location for a structured postal address, is a relatively well-studied problem. In this paper we consider the more general proble...
107
Voted
SIGIR
2008
ACM
15 years 22 days ago
2008
ACM
Comments left by readers on Web documents contain valuable information that can be utilized in different information retrieval tasks including document search, visualization, and ...