2451 search results - page 141 / 491 » The Octagon Abstract Domain |
222
Voted
TMA
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. The signaling traffic of a cellular network is rich of information related to the movements of its devices across cell boundaries. Thus, passive monitoring of anonymized ...
206
Voted
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—BitTorrent has been the most popular P2P (Peer-toPeer) paradigm during recent years. Built upon great intuition, the piece-selection and neighbor-selection modules roote...
238
Voted
CADE
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
247
Voted
ICSE
2012
IEEE-ACM
13 years 9 months ago
2012
IEEE-ACM
Abstract—Customizable programs and program families provide user-selectable features to allow users to tailor a program to an application scenario. Knowing in advance which featu...
146
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we extend the state-of-the-art in utilizing background knowledge for supervised classification by exploiting the semantic relationships between terms explicated in O...