Sciweavers

343 search results - page 56 / 69
» Standardization and Agile Business Processes
Sort
View
CSAC
2006
14 years 11 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
63
Voted
ECIS
2004
14 years 11 months ago
A strategy modelling technique for financial services
Strategy planning processes often suffer from a lack of conceptual models that can be used to represent business strategies in a structured and standardized form. If natural langu...
Bernd Heinrich, Robert Winter
WSC
2004
14 years 11 months ago
Panel on Future Challenges in Modeling Methodology
This panel paper presents the views of six researchers and practitioners of simulation modeling. Collectively we attempt to address a range of key future challenges to modeling me...
Simon J. E. Taylor, Peter Lendermann, Ray J. Paul,...
71
Voted
WSC
2000
14 years 11 months ago
A strategic supply chain simulation model
In this paper, we describe a simulation game designed to quantify the benefits of an enterprise resource planning system coupled with the balanced scorecard framework in an extend...
James Ritchie-Dunham, Douglas J. Morrice, Judy E. ...
CORR
2009
Springer
95views Education» more  CORR 2009»
14 years 7 months ago
Execution Models for Choreographies and Cryptoprotocols
A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a se...
Marco Carbone, Joshua D. Guttman