Sciweavers

2597 search results - page 425 / 520
» Matchmaking for Business Processes
Sort
View
HICSS
1999
IEEE
78views Biometrics» more  HICSS 1999»
15 years 9 months ago
A Structured Transformation Approach for Legacy Information Systems - A Cash Receipts/Reimbursements Example
Legacy information systems are difficult to transform into the new or upgraded information systems. Part of the reason is being the incompatibility and the unscalability between t...
Jia-Lang Seng, Wayne Tsai
DEXA
1999
Springer
99views Database» more  DEXA 1999»
15 years 9 months ago
Distributed Global Transaction Support for Workflow Management Applications
Workflow management systems require advanced transaction support to cope with their inherently long-running processes. The recent trend to distribute workflow executions requires ...
Jochem Vonk, Paul W. P. J. Grefen, Erik Boertjes, ...
SEE
1989
Springer
15 years 9 months ago
Tool Integration in Software Engineering Environments
This article presents doctoral research on tool integration within software engineering environments. Tool integration concerns the techniques used to form coalitions of tools tha...
Anthony I. Wasserman
ATAL
2007
Springer
15 years 9 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
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
15 years 9 months ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock