Sciweavers

430 search results - page 60 / 86
» A System for Interactive Authorization for Business Processe...
Sort
View
ATAL
2007
Springer
13 years 11 months ago
Workflow coordination for service-oriented multiagent systems
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 ...
Jiangbo Dang, Jingshan Huang, Michael N. Huhns
ECIS
2004
13 years 9 months ago
Stray dogs and wild cats tracking down information systems in government?
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 ...
CSCW
2010
ACM
14 years 4 months ago
WeSearch: supporting collaborative search and sensemaking on a tabletop display
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...
SIGSOFT
2008
ACM
14 years 8 months ago
Modular verification of web services using efficient symbolic encoding and summarization
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...
Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan
SIGSOFT
2007
ACM
14 years 8 months ago
Model checking service compositions under resource constraints
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...