1359 search results - page 250 / 272 » Probabilistic Points-to Analysis |
SAINT
2007
IEEE
14 years 2 months ago
2007
IEEE
AQM (Active Queue Management) mechanism is a congestion control mechanism at a router for controlling the number of packets in the router’s buffer by actively discarding an arri...
AIME
2007
Springer
14 years 2 months ago
2007
Springer
Traditional Chinese medicine (TCM) is an important avenue for disease prevention and treatment for the Chinese people and is gaining popularity among others. However, many remain s...
ASIAN
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
CLEF
2007
Springer
14 years 2 months ago
2007
Springer
The domain-specific track uses test collections from the social science domain to test monolingual and cross-language retrieval in structured bibliographic databases. Special atte...
CLEF
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we will briefly describe the approaches taken by Berkeley for the main GeoCLEF 2007 tasks (Mono and Bilingual retrieval). This year we used only a single system in ...