Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis
- Simon Moser
- Axel Martens
- et al.
- 2007
- SCC 2007
Conference paper
Publications
3611 results for Mathematical Sciences
A services theory approach to online service applications
- Claudio Pinhanez
- 2007
- SCC 2007
Conference paperUsing control theory to improve productivity of service systems
- Yixin Diao
- 2007
- SCC 2007
Conference paperImpact of business service modes on distribution systems: A reinforcement learning approach
- Minmin Qiu
- Hongwei Ding
- et al.
- 2007
- SCC 2007
Conference paperAccurate and efficient stochastic reliability analysis of composite services using their compact Markov reward model representations
- N. Sato
- K.S. Trivedi
- 2007
- SCC 2007
Conference paperA service-oriented solution for retail store network planning
- Bai Xinxin
- Shang Wei
- et al.
- 2007
- SCC 2007
Conference paperBRAHMA: Planning tool for providing storage management as a service
- Sandeep Uttamchandani
- Kaladhar Voruganti
- et al.
- 2007
- SCC 2007
Conference paperBusiness process transformation wizard: A bridge between business analysts and business process transformation technology
- Kaori Fujiwara
- Bala Ramachandran
- et al.
- 2007
- SCC 2007
Conference paperConfiguration reasoning and ontology for Web
- Dana Glasner
- Vugranam C. Sreedhar
- 2007
- SCC 2007
Conference paperBusiness value analysis of IT services
- Chunhua Tian
- Rongzeng Cao
- et al.
- 2007
- SCC 2007
Conference paper