We present a pattern-based Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics is complete - it covers the standard behaviour of BPEL as well as the exceptional behaviour ...

Abstract State Machines (ASM) have been introduced as “a computation model that is more powerful and more universal than standard computation models” by Yuri Gurevich in 1985. Here we provide a bunch of intuitive and ...

For the two-sample location problem we consider a general class of tests, all members of it are based on U-statistics. The asymptotic efficicacies are investigated in detail. We construct an adaptive test where all statistics ...

Interorganizational cooperation is more and more organized by the paradigm of services. The service-oriented architecture (SOA) provides a general framework for service interaction. It describes three roles, service provider, ...

Exon arrays enable the monitoring of expression on a more fine-grained level than conventional 3’ arrays. By targeting single exons alternative splicing events can be detected. However, the increased amount of data ...

For the two-sample location and scale problem Lepage (1971) constructed a test that is based on a combination of the Wilcoxon test statistic and the Ansari-Bradley test statistic. We replace both components by arbitrary ...