An online model checking tool for safety and liveness bugs
- Zhengwei Qi
- Liang Liu
- et al.
- 2008
- ICPADS 2008
Publications
Date
Featured collections
Popular topics
55 results for Ying Chen
Performance implications of next-generation multi-processing platforms on e-Business server applications
- Qi Ming Teng
- Xiao Zhong
- et al.
- 2008
- ICEBE 2008
An on-the-fly approach to web-based service composition
- Qi Zhao
- Gang Huang
- et al.
- 2008
- SERVICES 2008
An improved calculus for secure dynamic services composition
- Dong-Hong Xu
- Yong Qi
- et al.
- 2008
- COMPSAC 2008
A novel formal framework for secure dynamic services composition
- Dong-Hong Xu
- Yong Qi
- et al.
- 2008
- CIT 2008
Availability "weak point" analysis over an soa deployment framework
- Lei Xie
- Jing Luo
- et al.
- 2008
- NOMS 2008
A resource management framework for multi-tier service delivery in autonomic virtualized environments
- XiaoYing Wang
- DongJun Lan
- et al.
- 2008
- NOMS 2008
A state machine approach for problem detection in large-scale distributed system
- Kewei Sun
- Jie Qiu
- et al.
- 2008
- NOMS 2008
Automatic model-based service hosting environment migration
- Liang Liu
- Ying Li
- et al.
- 2008
- NOMS 2008
Partition-based heap memory management in an application server
- Tiancheng Liu
- Ying Li
- et al.
- 2008
- EuroSys 2008