520 search results - page 49 / 104 » An Algebraic Semantics for MOF |
OTM
2005
Springer
14 years 2 months ago
2005
Springer
The relational algebra and calculus do not take the semantics of terms into account when answering queries. As a consequence, not all tuples that should be returned in response to ...
TMRA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper describes a query algebra for tolog, a query language for Topic Maps inspired by Prolog and very similar to Datalog. The language is based on binding variables...
FOSSACS
2004
Springer
14 years 2 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
ADAEUROPE
2001
Springer
14 years 1 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
ECAI
2000
Springer
14 years 10 days ago
2000
Springer
Abstract. Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a novel approach for dealing with intrinsic o...