339 search results - page 45 / 68 » Basic concepts of abstract interpretation |
108
click to vote
CADE
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...
104
click to vote
BTW
2005
Springer
15 years 5 months ago
2005
Springer
More than two decades ago, DB researchers faced up to the question of how to design a data-independent database management system (DBMS), that is, a DBMS which offers an appropriat...
ER
2009
Springer
15 years 4 months ago
2009
Springer
Ontological metamodeling or multilevel-modeling refers to ng complex domains at multiple levels of abstraction, especially in domains where the borderline between individuals and c...
93
Voted
COMPUTER
2002
14 years 11 months ago
2002
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...
100
click to vote
AFP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...