1014 search results - page 174 / 203 » The Business Case of HCI |
105
click to vote
GROUP
2007
ACM
15 years 1 months ago
2007
ACM
This work presents experiences with the adopting of a workflow management system in a large financial institution. We describe the gradual evolution of a traditional work process,...
ICECCS
2007
IEEE
15 years 1 months ago
2007
IEEE
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....
APN
2006
Springer
15 years 1 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
104
click to vote
CAISE
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
COORDINATION
2006
Springer
15 years 1 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...