5671 search results - page 854 / 1135 » A Semantic Approach to Interpolation |
188
click to vote
ICDAR
1999
IEEE
15 years 11 months ago
1999
IEEE
A method is presented for segmenting documents into conceptually related areas. Determining the equivalence of text is often based on the number of word repetitions. This approach...
184
click to vote
ESOP
1999
Springer
15 years 11 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
204
click to vote
FLOPS
1999
Springer
15 years 11 months ago
1999
Springer
We present a simple generic framework to solve constraints on any domain (finite or infinite) which has a lattice structure. The approach is based on the use of a single constrai...
195
click to vote
WETICE
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
158
click to vote
EUROMICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...