529 search results - page 5 / 106 » Property Directed Abstract Interpretation |
106
Voted
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
Dynamic scripting languages offer programmers increased flexibility by allowing properties of programs to be defined at run-time. Typically, program execution begins with an int...
100
click to vote
ICIP
2002
IEEE
16 years 5 months ago
2002
IEEE
We study properties of the discrete cosine transform (DCT) when applied to an image sequence formed by uniformly translating a still image. The Fourier transform (FT) applied to s...
135
click to vote
ICISS
2010
Springer
15 years 21 days ago
2010
Springer
Abstract. Information integrity is a vital security property in a variety of applications. However, there is more than one facet to integrity: interpretations of integrity in diffe...
112
click to vote
ENTCS
2007
15 years 3 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
114
Voted
CSSC
2008
15 years 3 months ago
2008
This article introduces a regularized logistic discrimination method that is especially suited for discretized stochastic processes (such as periodograms, spectrograms, EEG curves...