240 search results - page 34 / 48 » A Typed Calculus of Synchronous Processes |
DAWAK
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. In the last years, extending OLAP (On-Line Analytical Processing) systems with spatial and temporal features has attracted the attention of of the GIS (Geographic Informa...
PODS
2008
ACM
14 years 9 months ago
2008
ACM
We present a formal framework for capturing the provenance of data appearing in XQuery views of XML. Building on previous work on relations and their (positive) query languages, w...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
FOSSACS
2004
Springer
14 years 2 months ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
KBSE
2002
IEEE
14 years 2 months ago
2002
IEEE
Commercial tools are heavily used, relatively cheap, well maintained, and provide powerful functionalities. However, composing these tools in order to build larger applications ra...