Abstract. Dynamo advocates that pre-deployment validation and testing are intrinsically inadequate for tackling the ephemeral and rapidly changing context in which service oriented...
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...
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...
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...
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...