3091 search results - page 427 / 619 » The Microsoft Relational Engine |
178
click to vote
IDEAS
2008
IEEE
16 years 29 days ago
2008
IEEE
As the popularity of areas including document storage and distributed systems continues to grow, the demand for high performance XML databases is increasingly evident. This has le...
146
click to vote
ATAL
2007
Springer
16 years 22 days ago
2007
Springer
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
192
click to vote
EMSOFT
2007
Springer
16 years 21 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
157
click to vote
FOSSACS
2007
Springer
16 years 21 days ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
182
click to vote
PPDP
2007
Springer
16 years 20 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...