From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...
This paper explores the body of e-government research surfaced during 1998-2003 in Web of Science and ProQuest. The search identified 158 scholarly papers. Using a classification ...
Kim Viborg Andersen, Helle Zinner Henriksen, Amar ...
Groups of users often have shared information needs – for example, business colleagues need to conduct research relating to joint projects and students must work together on gro...
Meredith Ringel Morris, Jarrod Lombardo, Daniel Wi...
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
David S. Rosenblum, Howard Foster, Jeff Kramer, Je...