4814 search results - page 699 / 963 » Combining abstract interpreters |
129
click to vote
COSIT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...
140
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
129
click to vote
ERCIMDL
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Digital libraries are increasingly relying on distributed services to support increasingly complex tasks such as retrieval or preservation. While there is a growing body ...
116
click to vote
ESWS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper we argue why it is necessary to associate linguistic information with ontologies and why more expressive models, beyond RDFS, OWL and SKOS, are needed to ca...
136
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...