Sciweavers

8446 search results - page 434 / 1690
» A Process Compensation Language
Sort
View
177
Voted
DGO
2008
99views Education» more  DGO 2008»
15 years 9 months ago
Specifying and verifying requirements for election processes
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
Borislava I. Simidchieva, Matthew Marzilli, Lori A...
ICDCS
1998
IEEE
15 years 12 months ago
Flexible Exception Handling in the OPERA Process Support System
Exceptions are one of the most pervasive problems in process support systems. In installations expected to handle a large number of processes, having exceptions is bound to be a n...
Claus Hagen, Gustavo Alonso
210
Voted
SERP
2004
15 years 9 months ago
A Three Level Framework for Process Support: The MOWAHS Approach
A common assumption for many process-centred support environments is that they provide the same process support at different levels of the organization. We believe that the requir...
Alf Inge Wang, Carl-Fredrik Sørensen, Reida...
211
Voted
INFORMATICALT
2000
157views more  INFORMATICALT 2000»
15 years 7 months ago
The Analysis of Unstructured Processes in Business Administration
Abstract. One of the problem in business process reengineering is the identification and implementation of new workflow procedures for specific business processes, if they are not ...
Alvydas Jaliniauskas
201
Voted
ICIP
2006
IEEE
16 years 9 months ago
Windowed Image Registration for Robust Mosaicing of Scenes with Large Background Occlusions
We propose an enhanced window-based approach to local image registration for robust video mosaicing in scenes with arbitrarily moving foreground objects. Unlike other approaches, ...
Andreas Krutz, Michael R. Frater, Matthias Kunter,...