2696 search results - page 55 / 540 » Semantic Abstraction and Anaphora |
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
JMLC
2000
Springer
15 years 1 months ago
2000
Springer
Most object-oriented languages offer a limited number of invocation semantics. At best, they define a default mode of synchronous invocation, plus some keywords to express addition...
ICADL
2003
Springer
15 years 3 months ago
2003
Springer
Ontologies play an important role in the Semantic Web as well as in digital library and knowledge portal applications. This project seeks to develop an automatic method to enrich e...
AI
2002
Springer
14 years 9 months ago
2002
Springer
ko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, th...
BIRTHDAY
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...