Search Results - Huowang Chen

Refine Results
  1. 1
    The multi-criteria minimum spanning tree problem based genetic algorithm

    The multi-criteria minimum spanning tree problem based genetic algorithm by Chen, Guolong, Chen, Shuili, Guo, Wenzhong, Chen, Huowang

    Published in Information sciences
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    QoS-aware Service Composition Based on Tree-Coded Genetic Algorithm

    QoS-aware Service Composition Based on Tree-Coded Genetic Algorithm by Chunming Gao, Meiling Cai, Huowang Chen

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Universal abstract consistency class and universal refutation

    Universal abstract consistency class and universal refutation by Wang, Bingshan, Li, Zhoujun, Chen, Huowang

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Symbolic transition graph and its early bisimulation checking algorithms for the π-calculus

    Symbolic transition graph and its early bisimulation checking algorithms for the π-calculus by Li Zhoujun, Chen Huowang, Wang Bingshan

    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Symbolic model checking APSL

    Symbolic model checking APSL by Liu, Wanwei, Wang, Ji, Chen, Huowang, Ma, Xiaodong, Wang, Zhaofei

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Execution Mechanism of Service Proxy in Web Services Composition Execution Engine

    Execution Mechanism of Service Proxy in Web Services Composition Execution Engine by Chunming Gao, Xiaojuan Yuan, Huowang Chen

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Credulous argumentation with the disjunctive stable semantics

    Credulous argumentation with the disjunctive stable semantics by Wang, Kewen, Chen Huowang, Wu Quanyuan

    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Argumentation in disjunctive logic programming

    Argumentation in disjunctive logic programming by Wang, Kewen, Wu Quanyuan, Chen Huowang

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    A Model Checking Tool Embedded into Services Composition Environment

    A Model Checking Tool Embedded into Services Composition Environment by Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Symbolic Model Checking APSL

    Symbolic Model Checking APSL by Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    A Feedback Control Framework of Service Composition Execution for Response Time Guarantee

    A Feedback Control Framework of Service Composition Execution for Response Time Guarantee by Chunming Gao, Weian Chen, Huowang Chen

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    The Classification of Tumor Using Gene Expression Profile Based on Support Vector Machines and Factor Analysis

    The Classification of Tumor Using Gene Expression Profile Based on Support Vector Machines and Factor Analysis by Shulin Wang, Ji Wang, Huowang Chen, Wensheng Tang

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Compatibility Checking of Web Services Composition in Pervasive Computing

    Compatibility Checking of Web Services Composition in Pervasive Computing by Chunming Gao, Shizhang Ji, Rongsheng Liu, Huowang Chen

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Services Composition Modeling with Mobility and Time

    Services Composition Modeling with Mobility and Time by Chunming Gao, Yong Li, Huowang Chen

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Consistency-based abduction with extended disjunctive logic programs

    Consistency-based abduction with extended disjunctive logic programs by 王克文 陈火旺 吴泉源

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Frameworks of Composite Services Execution Engine with Feedback Control

    Frameworks of Composite Services Execution Engine with Feedback Control by Chunming Gao, Huang Tan, Huowang Chen

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines

    Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines by Shulin Wang, Huowang Chen, Ji Wang, Dingxing Zhang

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    Regression testing for Web applications based on slicing

    Regression testing for Web applications based on slicing by Lei Xu, Baowen Xu, Zhenqiang Chen, Jixiang Jiang, Huowang Chen

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    Deriving software statistical testing model from UML model

    Deriving software statistical testing model from UML model by Yan Jiong, Wang Ji, Chen Huowang

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    Web document retrieval based on multi-agent

    Web document retrieval based on multi-agent by Shaozi Li, Changle Zhou, Huowang Chen

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: