Search the dblp DataBase

Publications of Author

1. Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen
   A Model Checking Tool Embedded into Services Composition Environment. [Citation Graph (0, 0)][DBLP]
   GCC, 2006, pp:355-362 [Conf]
   
2. Chunming Gao, Yong Li, Huowang Chen
   Services Composition Modeling with Mobility and Time. [Citation Graph (0, 0)][DBLP]
   IEEE SCW, 2007, pp:316-323 [Conf]
   
3. Chunming Gao, Liping Wan, Huowang Chen
   A Method of Web Services Composition Based on Service Alliance. [Citation Graph (0, 0)][DBLP]
   APWeb/WAIM Workshops, 2007, pp:491-496 [Conf]
   
4. Chunming Gao, Jin Li, Zhoujun Li, Huowang Chen
   Model Checking for BPEL4WS with Time. [Citation Graph (0, 0)][DBLP]
   APWeb/WAIM Workshops, 2007, pp:528-533 [Conf]
   
5. Chunming Gao, Meiling Cai, Huowang Chen
   QoS-Driven Global Optimization of Services Selection Supporting Services Flow Re-planning. [Citation Graph (0, 0)][DBLP]
   APWeb/WAIM Workshops, 2007, pp:516-521 [Conf]
   
6. Chunming Gao, Xiaojuan Yuan, Huowang Chen
   Execution Mechanism of Service Proxy in Web Services Composition Execution Engine. [Citation Graph (0, 0)][DBLP]
   COMPSAC (1), 2007, pp:647-648 [Conf]
   
7. Chunming Gao, Meiling Cai, Huowang Chen
   QoS-aware Service Composition Based on Tree-Coded Genetic Algorithm. [Citation Graph (0, 0)][DBLP]
   COMPSAC (1), 2007, pp:361-367 [Conf]
   
8. Chunming Gao, Huang Tan, Huowang Chen
   Frameworks of Composite Services Execution Engine with Feedback Control. [Citation Graph (0, 0)][DBLP]
   COMPSAC (2), 2007, pp:503-508 [Conf]
   
9. Chunming Gao, Weian Chen, Huowang Chen
   A Feedback Control Framework of Service Composition Execution for Response Time Guarantee. [Citation Graph (0, 0)][DBLP]
   ICWS, 2007, pp:1158-1159 [Conf]
   
10. 
    Distributed System Modeling Based on Discrete Time Mobile Ambient. [Citation Graph (, )][DBLP]