Sciweavers

21490 search results - page 195 / 4298
» Business Process Modeling
Sort
View
EMISA
2002
Springer
13 years 9 months ago
A new reduction method for the analysis of large workflow models
Abstract: This paper presents a new net-reduction methodology to facilitate the analysis of large workflow models. We propose an enhanced algorithm based on reducible subnet identi...
Loucif Zerguini, Kees M. van Hee
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
13 years 7 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
RIDE
1999
IEEE
14 years 1 months ago
WISE: Business to Business E-Commerce
The Internet and the proliferation of inexpensive computing power in the form of clusters of workstations or PCs provide the basic hardware infrastructure for business to business...
Gustavo Alonso, Ulrich Fiedler, Claus Hagen, Amaia...
HICSS
2006
IEEE
102views Biometrics» more  HICSS 2006»
14 years 3 months ago
A Model for Simulation Analyses of Cooperative Sourcing in the Banking Industry
This paper presents a model for investigating causes and effects of Cooperative Sourcing in the banking industry. Cooperative Sourcing means merging of similar processes by severa...
Daniel Beimborn
CORR
2008
Springer
70views Education» more  CORR 2008»
13 years 9 months ago
Enterprise Spreadsheet Management: A Necessary Good
This paper presents the arguments and supporting business metrics for Enterprise Spreadsheet Management to be seen as a necessary good. These arguments are divided into a summary ...
Ralph Baxter