Sciweavers

8008 search results - page 206 / 1602
» Computer-Aided Language Processing
Sort
View
ISSTA
2000
ACM
15 years 6 months ago
Verifying properties of process definitions
ions for concise and precise specification of such control, but balance this with visualization support to help users also obtain intuitive insights. The underlying complexhese con...
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Oste...
INFSOF
2008
148views more  INFSOF 2008»
15 years 3 months ago
Translating unstructured workflow processes to readable BPEL: Theory and implementation
The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes. Although intended as a language for connecting web ...
Wil M. P. van der Aalst, Kristian Bisgaard Lassen
JLP
2008
121views more  JLP 2008»
15 years 1 months ago
A process algebraic view of shared dataspace coordination
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
Nadia Busi, Gianluigi Zavattaro
TSD
2000
Springer
15 years 6 months ago
Competing Patterns for Language Engineering
In this paper we describe a method of effective handling of linguistic data by means of covering and inhibiting patterns
Petr Sojka
DOCENG
2010
ACM
15 years 1 months ago
From templates to schemas: bridging the gap between free editing and safe data processing
In this paper we present tools that provide an easy way to edit XML content directly on the web, with the usual benefit of valid XML content. These tools make it possible to crea...
Vincent Quint, Cécile Roisin, Stépha...