Verification of web service conversations specified in WSCL
- Zhifeng Gu
- Juanzi Li
- et al.
- 2007
- COMPSAC 2007
Conference paper
Publications
5 results at COMPSAC 2007
ePVM - An embeddable process virtual machine
- Thomas Weigold
- Thorsten Kramp
- et al.
- 2007
- COMPSAC 2007
Conference paperTest case generation for collaborative real-time editing tools
- Lian Yu
- Wenping Xiao
- et al.
- 2007
- COMPSAC 2007
Conference paperA soft constraint privacy model based on identifiability
- Weifeng Chen
- Zhen Liu
- et al.
- 2007
- COMPSAC 2007
Conference paperExperiences in accurately estimating electronic forms conversion services with a spiral estimate process
- Dai Zhoulin
- Gu Yi
- et al.
- 2007
- COMPSAC 2007
Conference paper