4596 search results - page 608 / 920 » Mobile Business Processes |
157
click to vote
APN
2006
Springer
15 years 10 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...
192
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The paper presents an approach towards executing transactions between enterprises, governmental bodies and banking institutions, based on ERP applications connected over ...
170
Voted
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Striking a balance between rigidity and flexibility is a central challenge in designing business processes. Striking this balance begins on the type level, because expressiveness ...
171
Voted
MKWI
2008
15 years 8 months ago
2008
: The quality of business software is more and more becoming a competitive factor. As complete testing is impossible, testers have to make decisions, e.g. to choose which parts of ...
175
click to vote
PVLDB
2010
15 years 5 months ago
2010
The workflow models have been essentially operation-centric for many years, ignoring almost completely the data aspects. Recently, a new paradigm of data-centric workflows, call...