445 search results - page 2 / 89 » A Systematic Construction of Abstract Domains |
OAS
2003
13 years 6 months ago
2003
The growing interest in ontologies is concomitant with the increasing use of agent systems in user environment. Ontologies have established themselves as schemas for encoding know...
SAS
1995
Springer
13 years 8 months ago
1995
Springer
ntation in Abstract Interpretation AGOSTINO CORTESI Universit`a di Venezia GILBERTO FIL´E Universit`a di Padova ROBERTO GIACOBAZZI Universit`a di Pisa CATUSCIA PALAMIDESSI Univers...
APLAS
2007
ACM
13 years 9 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...
IJCAI
1989
13 years 6 months ago
1989
N IN AN ABSTRACTION SPACE: A Form of Constructive Induction George Drastal and Gabor Czako Siemens Research and Technology Laboratories 755 College Rd Princeton, NJ 08540 We repor...
DIMVA
2009
13 years 6 months ago
2009
Abstract. Many systems have been introduced to detect software intrusions by comparing the outputs and behavior of diverse replicas when they are processing the same, potentially m...