4814 search results - page 699 / 963 » Combining abstract interpreters |
100
Voted
COSIT
2009
Springer
15 years 7 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...
109
Voted
CSL
2009
Springer
15 years 7 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...
105
Voted
ERCIMDL
2009
Springer
15 years 7 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 ...
83
Voted
ESWS
2009
Springer
15 years 7 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...
103
Voted
FSEN
2009
Springer
15 years 7 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...