3342 search results - page 87 / 669 » Automating Abstract Interpretation |
103
click to vote
ICISS
2009
Springer
15 years 3 months ago
2009
Springer
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. ...
POPL
1994
ACM
15 years 3 months ago
1994
ACM
ions of abstract domains for logic programming: open product and generic pattern construction Agostino Cortesia; , Baudouin Le Charlierb , Pascal Van Hentenryckc aDipartimento di I...
CSL
1992
Springer
15 years 3 months ago
1992
Springer
ating Point Numbers (Abstract). In: Berichte aus Informatik
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Jer