Sciweavers

11168 search results - page 326 / 2234
» Abstract State Processes
Sort
View
ESWS
2007
Springer
16 years 1 months ago
Process Mediation in Semantic Web Services
Abstract. The Semantic Web Services initiatives are aiming to develop automatic and dynamic solutions for the semantically described Web services discovery, invocation and executio...
Emilia Cimpian
TIME
2005
IEEE
16 years 25 days ago
Analysis of Timed Processes with Data Using Algebraic Transformations
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
Michel A. Reniers, Yaroslav S. Usenko
ICSOC
2005
Springer
16 years 22 days ago
Dynamo: Dynamic Monitoring of WS-BPEL Processes
Abstract. Dynamo advocates that pre-deployment validation and testing are intrinsically inadequate for tackling the ephemeral and rapidly changing context in which service oriented...
Luciano Baresi, Sam Guinea
163
Voted
OR
2005
Springer
16 years 22 days ago
Robustness in the Context of Autonomous Cooperating Logistic Processes: A Sustainability Perspective
Abstract. Autonomous cooperating logistic processes seem to be a promising approach to increase the robustness of logistics systems. Searching for the necessary organizational prer...
Lars Arndt, Georg Müller-Christ
GPCE
2004
Springer
16 years 19 days ago
Compiling Process Graphs into Executable Code
Abstract. Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this visi...
Rainer Hauser, Jana Koehler