Sciweavers

8808 search results - page 288 / 1762
» Process Change Patterns
Sort
View
ICSOC
2005
Springer
16 years 21 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
BPM
2009
Springer
163views Business» more  BPM 2009»
15 years 11 months ago
Declarative versus Imperative Process Modeling Languages: The Issue of Maintainability
Abstract. The rise of interest in declarative languages for process modeling both justifies and demands empirical investigations into their presumed advantages over more traditiona...
Dirk Fahland, Jan Mendling, Hajo A. Reijers, Barba...
ENTCS
2008
120views more  ENTCS 2008»
15 years 7 months ago
Separation Logic Semantics for Communicating Processes
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
Tony Hoare, Peter W. O'Hearn
WSC
1997
15 years 8 months ago
Simulation Success Stories: Business Process Reengineering
In this rapidly changing economy, businesses are constantly seeking newer, simpler methods which will help them remain competitive. In this quest, they have discovered that simula...
Kathi L. Hunt, Gregory A. Hansen, Edwin F. Madigan...
CHI
2004
ACM
16 years 7 months ago
Designing interfaces that influence group processes
The goal of this research is to build and evaluate collaborative tools that persuade behavior change over a group of individuals. Preliminary work in this area is presented and fu...
Joan Morris DiMicco