Towards formal basis for security aspects of dynamic web services composition
- Dong-Hong Xu
- Yong Qi
- et al.
- 2007
- TENCON 2007
Publications
Date
Featured collections
Popular topics
55 results for Ying Chen
A formal model for dynamic web services composition MAS-based and simple security analysis using Spi calculus
- Dong-Hong Xu
- Yong Qi
- et al.
- 2007
- NWeSP 2007
A rough wavelet network model with genetic algorithm and its application to aging forecasting of application server
- Hai-Ning Meng
- Yong Qi
- et al.
- 2007
- ICMLC 2007
Appliance-based autonomic provisioning framework for virtualized outsourcing data center
- XiaoYing Wang
- DongJun Lan
- et al.
- 2007
- ICAC 2007
A version-aware approach for web service client application
- Ru Fang
- Ying Chen
- et al.
- 2007
- IM 2007
Modeling and verifying configuration in service deployment
- Ying Li
- Jie Qiu
- et al.
- 2006
- SCC 2006
Sizing multi-space in heap for application isolation
- Kewei Sun
- Ying Li
- et al.
- 2006
- OOPSLA 2006
An approach to composing multiple component implementations for satisfying quality requirements
- Jie Yang
- Gang Huang
- et al.
- 2006
- QSIC 2006
Location aware messaging - Integrating LBS middleware and converged services
- Ying Chen
- Wei Lu
- et al.
- 2005
- ICEBE 2005
Architecture based deployment of large-scale component based systems: The tool and principles
- Ling Lan
- Gang Huang
- et al.
- 2005
- CBSE 2005