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 4 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»
15 years 11 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 2 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
14 years 11 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 2 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...