3951 search results - page 58 / 791 » Automatic amortized analysis |
147
Voted
IEEEARES
2009
IEEE
15 years 1 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
143
click to vote
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
We present a method for automated topic suggestion. Given a plain-text input document, our algorithm produces a ranking of novel topics that could enrich the input document in a m...
149
click to vote
VIROLOGY
2010
15 years 2 months ago
2010
Abstract. This paper gives an overview of our research in the automation of the process of software protection analysis. We will focus more particularly on the problem of obfuscati...
130
click to vote
FIDJI
2004
Springer
15 years 7 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
156
click to vote
JURIX
2008
15 years 5 months ago
2008
We are concerned with the automatic semantic interpretation of legal modificatory provisions. We propose a novel approach which pairs deep syntactic parsing and a fine-grained taxo...