Much information over the Internet is expressed by natural languages. The management of linguistic information involves an operation of comparison and aggregation. In this paper, ...
We give a brief overview of operational models for concurrent systems that exhibit probabilistic behavior, focussing on the interplay between probability and nondeterminism. Our su...
A pattern-based workflow system for creating Grid applications is described, which makes use of “behavioural” and “structural” patterns and operators. The subsequent mappi...
In tunneling and mining construction work, heavy and large manipulators are used to spray liquid concrete on the walls. These manipulators are usually operated manually with simpl...
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order ...