Sciweavers

483 search results - page 65 / 97
» Fault Management in P2P-MPI
Sort
View
BPM
2005
Springer
129views Business» more  BPM 2005»
14 years 3 months ago
Transforming BPEL to Petri Nets
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
Sebastian Hinz, Karsten Schmidt 0004, Christian St...
EGC
2005
Springer
14 years 3 months ago
Workflow-Oriented Collaborative Grid Portals
The paper presents how workflow-oriented, single-user Grid portals could be extended to meet the requirements of users with collaborative needs. Through collaborative Grid portals ...
Gergely Sipos, Gareth J. Lewis, Péter Kacsu...
ESWS
2005
Springer
14 years 3 months ago
Enabling Real World Semantic Web Applications Through a Coordination Middleware
In a real world scenario Semantic Web applications must be capable to cope with the large scale, distributed, heterogeneous, unreliable and insecure environment of the World Wide W...
Robert Tolksdorf, Lyndon J. B. Nixon, Elena Paslar...
ISAS
2005
Springer
14 years 3 months ago
Proof-Based System Engineering Using a Virtual System Model
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
Martin Biely, Gérard Le Lann, Ulrich Schmid
GRID
2004
Springer
14 years 3 months ago
Dynamic Service Evolution for Open Languages in the Grid and Service Oriented Architecture
Dynamic behavior is inherent in virtual organizations. Semantics has to be processed to manage dynamism and other properties like state, life cycle, faults, and others. In our pap...
Thomas Weishäupl, Erich Schikuta