Li Kuang#, Yuxin Mao, Yingjie Xia. A Decidable Formal Analysis of Context-Specific Behavioral Equivalence for Web Services. Advanced Science Letters, 2011, 4:1687-1694
Hits:
|
Pre One:Yingjie Xia, Li Kuang, Xiumei Li. Accelerating geospatial analysis on GPUs using CUDA. Journal of Zhejiang University - Science C, 2011, 12(12): 990-999
Next One:Li Kuang#, Liang Chen, Yingjie Xia. Reasoning on Context Satisfiability for Service Recommendation in Mobile Network. Journal of Digital Information Management, 2011, 9(6):249-254
