Sciweavers

52 search results - page 3 / 11
» Towards a uniform relational semantics for tabular expressio...
Sort
View
AGILE
2007
Springer
184views GIS» more  AGILE 2007»
15 years 6 months ago
Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture
Environmental databases store a wide variety of data from heterogeneous sources which are described with domain-specific terminologies and refer to distinct locations. In order to ...
Rolf Grütter, Bettina Bauer-Messmer
ICDE
2007
IEEE
119views Database» more  ICDE 2007»
16 years 1 months ago
eXrQuy: Order Indifference in XQuery
There are more spots than immediately obvious in XQuery expressions where order is immaterial for evaluation-this affects most notably, but not exclusively, expressions in the sco...
Torsten Grust, Jan Rittinger, Jens Teubner
LICS
2000
IEEE
15 years 4 months ago
Models for Name-Passing Processes: Interleaving and Causal
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
Gian Luca Cattani, Peter Sewell
CONCUR
2008
Springer
15 years 1 months ago
Towards a Unified Approach to Encodability and Separation Results for Process Calculi
In this paper, we present a unified approach to evaluating the relative expressive power of process calculi. In particular, we identify a small set of criteria (that have already b...
Daniele Gorla
JAVA
1999
Springer
15 years 4 months ago
A Programmer's Reduction Semantics for Classes and Mixins
While class-based object-oriented programming languages provide a flexible mechanism for re-using and managing related pieces of code, they typically lack linguistic facilities fo...
Matthew Flatt, Shriram Krishnamurthi, Matthias Fel...