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
31 results for Liang Liu
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
Software aging forecasting model of service-oriented application server based on wavelet network with adaptive genetic algorithm
- Hai Ning Meng
- Yong Qi
- et al.
- 2007
- International Conference on Natural Computation 2007
Model-based dependency management for migrating service hosting environment
- Qian Ma
- Ying Li
- et al.
- 2007
- SCC 2007
Service obligations management in IT outsourcing
- Liang Liu
- Hui Lei
- et al.
- 2007
- ICEBE 2007
Knowledge enhanced IT service management
- Hao Wang
- Bo Yang
- et al.
- 2007
- ICEBE 2007
Service level agreement based energy-efficient resource management in cloud data centers
- Yongqiang Gao
- Haibing Guan
- et al.
- 2014
- Computers and Electrical Engineering
Quality of service aware power management for virtualized data centers
- Yongqiang Gao
- Haibing Guan
- et al.
- 2013
- Journal of Systems Architecture
A multi-objective ant colony system algorithm for virtual machine placement in cloud computing
- Yongqiang Gao
- Haibing Guan
- et al.
- 2013
- Journal of Computer and System Sciences
MTCrossBit: A dynamic binary translation system based on multithreaded optimization
- Hai Bing Guan
- Ru Hui Ma
- et al.
- 2011
- Science China Information Sciences