339 search results - page 20 / 68 » Basic concepts of abstract interpretation |
101
click to vote
EUSFLAT
2009
14 years 9 months ago
2009
Abstract-- The concept of an M-approximative system is introduced. Basic properties of the category of M-approximative systems and in a natural way defined morphisms between them a...
ER
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Vulnerabilities are weaknesses in the requirements, design, and implementation, which attackers exploit to compromise the system. This paper proposes a vulnerability-cent...
JSAI
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The research community plays a very important role in helping researchers undertake new research topics. The authors propose a community mining system that helps to find...
CACM
1998
14 years 11 months ago
1998
rigorous, and abstract— clearly defined and generally agreed—type inheritance model. To quote an article by Taivalsaari: “The basic idea of inheritance is quite simple ... [a...
EJC
2003
15 years 1 months ago
2003
The goal of this paper is to build a bridge from a certain intuitive conception of natural language communication, called the SLIM theory of language, to a technical approach, cal...