4212 search results - page 599 / 843 » Rights Expression Languages |
146
click to vote
PODS
2004
ACM
16 years 6 months ago
2004
ACM
d abstract) Michael Benedikt Bell Labs Jan Van den Bussche Limburgs Universitair Centrum Christof L?oding Lehrstuhl Informatik VII RWTH Aachen Thomas Wilke Institut f?ur Informatik...
155
click to vote
PODS
2004
ACM
16 years 6 months ago
2004
ACM
Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output type for documents satisfying a given input type. We focus...
193
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
XQuery is increasingly popular among computer scientists with a SQL background, since queries in XQuery and SQL require comparable skills to be formulated. However, the number of ...
187
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Abstract-- This demonstration presents an interactive provenance browser for visualizing and querying data dependency (lineage) graphs produced by scientific workflow runs. The bro...
151
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational se...