3429 search results - page 442 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
127
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
The goal of this paper is to give an overview of the basics of the theory of RDF databases. We provide a formal definition of RDF that includes the features that distinguish this m...
114
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents a method for creating formally correct just-intime (JIT) compilers. The tractability of our approach is demonstrated through, what we believe is the first, ver...
138
click to vote
NLPRS
2001
Springer
15 years 8 months ago
2001
Springer
This paper presents a Japanese information retrieval method using the dependency relationship between words and semantic and statistical information about them. Our method gives a...
138
click to vote
SAC
1998
ACM
15 years 8 months ago
1998
ACM
Coordination languages have recently been attracting signi cant attention as a means of programming parallel and distributed systems. The approach of separating coordination from ...
115
click to vote
ICDT
1997
ACM
15 years 8 months ago
1997
ACM
The paper introduces a model of the Web as an in nite, semistructured set of objects. We reconsider the classical notions of genericity and computability of queries in this new con...