Sciweavers

1297 search results - page 33 / 260
» Semantic Correctness in Adaptive Process Management Systems
Sort
View
DSOM
2008
Springer
13 years 9 months ago
SYMIAN: A Simulation Tool for the Optimization of the IT Incident Management Process
Incident Management is the process through which IT support organizations manage to restore normal service operation after a service disruption. The complexity of IT support organi...
Claudio Bartolini, Cesare Stefanelli, Mauro Torton...
CONCUR
1994
Springer
13 years 12 months ago
Weak Sequential Composition in Process Algebras
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
Arend Rensink, Heike Wehrheim
ETELEMED
2009
IEEE
149views Healthcare» more  ETELEMED 2009»
13 years 11 months ago
SEMPATH: Semantic Adaptive and Personalized Clinical Pathways
- As scientific achievements in the area of Healthcare have increased during the last decade, inevitably there has been an increase of treatment quality. One of the challenges to b...
Dimitrios Alexandrou, Fotis Xenikoudakis, Gregoris...
VLDB
2001
ACM
104views Database» more  VLDB 2001»
14 years 8 months ago
Global transaction support for workflow management systems: from formal specification to practical implementation
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
Paul W. P. J. Grefen, Jochem Vonk, Peter M. G. Ape...
SAFECOMP
2007
Springer
14 years 1 months ago
Software Encoded Processing: Building Dependable Systems with Commodity Hardware
In future, the decreasing feature size and the reduced power supply will make it much more difficult to built reliable microprocessors. Economic pressure will most likely result in...
Ute Wappler, Christof Fetzer