3239 search results - page 446 / 648 » A Logical Process Calculus |
146
click to vote
BPM
2008
Springer
15 years 5 months ago
2008
Springer
Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to loose their intelligibility. Verifying compl...
114
Voted
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
ion for Stochastic Systems by Erlang's Method of Stages Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 1 RWTH Aachen University 2 TU Munich 3 EPF La...
134
Voted
SEC
2004
15 years 5 months ago
2004
Business Processes for Web Services (BPEL4WS) are the new paradigms for lightweight enterprise integration. They cross organizational boundaries and are provided by entities that s...
132
Voted
BPM
2010
Springer
15 years 1 months ago
2010
Springer
Traditionally, workflow management systems aim at alleviating people's burden of coordinating repetitive business procedures, i.e., they coordinate people. Web service orchest...
134
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
We propose a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming. The goal of this work is to type ...