In this technical report we present an abstract operational semantics for the Business Process Execution Language for Web Services, or BPEL for short. In effect, the semantics defined herein are a variation and an extension ...

Gurevich’s sequential Abstract State Machines (ASMs) are taken as a basis for the construction of distributed ASMs as sets of sequential ASMs. A theorem on the expressive power of distributed ASM is proven in analogy to ...

A linguistic database is a collection of texts where sentences and words are annotated with linguistic information, such as part of speech, morphology, and syntactic sentence structure. While early linguistic databases ...

Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal transduction and metabolic pathways, gene ...

Diese Arbeit beschreibt einen Ansatz für die Speicherung und Anfrage eines großen Korpus linguistisch annotierter historischer Texte mit Hilfe eines relationalen Datenbanksystems. Texte in solch einem Korpus haben ...