3931 search results - page 372 / 787 » Separation logic and abstraction |
173
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present Zenon, an automated theorem prover for first order classical logic (with equality), based on the tableau method. Zenon is intended to be the dedicated prover ...
157
click to vote
FCCM
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper introduces the Low-Power Intelligent Tool Environment (LITE), an object oriented tool set designed for power visualization, analysis, and optimization. These tools lever...
251
click to vote
ADVIS
2006
Springer
16 years 28 days ago
2006
Springer
Abstract. Contextual ontologies are ontologies that characterize a concept by a set of properties that vary according to context. Contextual ontologies are now crucial for users wh...
151
click to vote
VISSOFT
2005
IEEE
16 years 15 days ago
2005
IEEE
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the abstractions from which applications are built, while methods conta...
170
click to vote
CEEMAS
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. An autonomous agent may largely benefit from its ability to reconstruct another agent’s reasoning principles from records of past events and general knowledge about th...