Sciweavers

DALT
2004
Springer
15 years 7 months ago
Norm Verification and Analysis of Electronic Institutions
Electronic institutions are a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. In this paper we propose a definition of ...
Wamberto Weber Vasconcelos
145
Voted
DALT
2004
Springer
15 years 7 months ago
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
L. Robert Pokorny, C. R. Ramakrishnan
139
Voted
DAGM
2004
Springer
15 years 7 months ago
Phase Based Image Reconstruction in the Monogenic Scale Space
Abstract. In this paper, we present an approach for image reconstruction from local phase vectors in the monogenic scale space. The local phase vector contains not only the local p...
Di Zang, Gerald Sommer
133
Voted
CAISE
2006
Springer
15 years 7 months ago
Workflow Exception Patterns
This paper presents a classification framework for workflow exception handling in the form of patterns. This framework is independent of specific modelling approaches or technologi...
Nick Russell, Wil M. P. van der Aalst, Arthur H. M...
102
Voted
CAISE
2006
Springer
15 years 7 months ago
Data-Driven Process Control and Exception Handling in Process Management Systems
Abstract. Business processes are often characterized by high variability and dynamics, which cannot be always captured in contemporary process management systems (PMS). Adaptive PM...
Stefanie Rinderle, Manfred Reichert