Search Sciweavers | Sciweavers

3342 search results - page 87 / 669

» Automating Abstract Interpretation

185

click to vote

ICISS
2009
Springer

197views Information Technology» more ICISS 2009»

A Generic Distortion Free Watermarking Technique for Relational Databases

15 years 10 months ago

Download www.dsi.unive.it

In this paper we introduce a distortion free watermarking e for relational databases based on the Abstract Interpretation framework. The watermarking technique is partition based. ...

Sukriti Bhattacharya, Agostino Cortesi

claim paper

Read More »

161

click to vote

POPL
1994
ACM

113views Programming Languages» more POPL 1994»

Combinations of Abstract Domains for Logic Programming

15 years 10 months ago

Download www.dsi.unive.it

ions of abstract domains for logic programming: open product and generic pattern construction Agostino Cortesia; , Baudouin Le Charlierb , Pascal Van Hentenryckc aDipartimento di I...

Agostino Cortesi, Baudouin Le Charlier, Pascal Van...

claim paper

Read More »

136

click to vote

CSL
1992
Springer

99views Automated Reasoning» more CSL 1992»

Model Building by Resolution

15 years 10 months ago

Download www.logic.at

ating Point Numbers (Abstract). In: Berichte aus Informatik

Christian G. Fermüller, Alexander Leitsch