2278 search results - page 202 / 456 » Specification Techniques for Automatic Performance Analysis ... |
173
click to vote
KI
2007
Springer
15 years 6 months ago
2007
Springer
Detecting unknown worms is a challenging task. Extant solutions, such as anti-virus tools, rely mainly on prior explicit knowledge of specific worm signatures. As a result, after t...
154
click to vote
IVS
2008
15 years 6 months ago
2008
Large financial institutions such as Bank of America handle hundreds of thousands of wire transactions per day. Although most transactions are legitimate, these institutions have ...
168
click to vote
TACAS
2007
Springer
16 years 18 days ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
180
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
Clustering is one of the most widely used statistical tools for data analysis. Among all existing clustering techniques, k-means is a very popular method because of its ease of pr...
142
click to vote
CAV
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...