Sciweavers

AGP
1994
IEEE
13 years 11 months ago
An Abstract Interpretation Framework for (almost) Full Prolog
act Interpretation Framework for (almost) Full Prolog1 B. Le Charlier S. Rossi P. Van Hentenryck University of Namur University of Padova Brown University 21 rue Grandgagnage 7 via...
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hen...
ICISS
2009
Springer
14 years 1 days ago
A Generic Distortion Free Watermarking Technique for Relational Databases
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