Search Results - Huaikou Miao

Refine Results
  1. 41
    Proving Total Correctness of Refinement Based on Tableau

    Proving Total Correctness of Refinement Based on Tableau by Xiaolei Gao, Huaikou Miao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 42
    Model Checking UML Activity Diagrams in FDR

    Model Checking UML Activity Diagrams in FDR by Dong Xu, Huaikou Miao, Philbert, N.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 43
    An Approach to Modeling and Testing Web Applications Based on Use Cases

    An Approach to Modeling and Testing Web Applications Based on Use Cases by Liping Li, Huaikou Miao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 44
    Research on Web Service Composition Using Probabilistic Abstraction Refinement

    Research on Web Service Composition Using Probabilistic Abstraction Refinement by Honghao Gao, Huaikou Miao, Hongwei Zeng

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 45
    Test Generation for Web Applications Using Model-Checking

    Test Generation for Web Applications Using Model-Checking by Liping Li, Huaikou Miao, Shengbo Chen

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 46
    An approach to testing the nonexistence of initial state in Z specifications

    An approach to testing the nonexistence of initial state in Z specifications by Miao, Huaikou, Gao, Xiaolei, Liu, Ling

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 47
    An Improved Algorithm for Building the Characterizing Set

    An Improved Algorithm for Building the Characterizing Set by Huaikou Miao, Pan Liu, Jia Mei

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 48
    Quantitative Verification of Navigation Model for Reliable Web Applications

    Quantitative Verification of Navigation Model for Reliable Web Applications by Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 49
    A Common Acquaintance Immunization Strategy for Complex Network

    A Common Acquaintance Immunization Strategy for Complex Network by Pan Liu, Huaikou Miao, Qing Li

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 50
    The Axiomatic Semantics of PDFD

    The Axiomatic Semantics of PDFD by Gao Xiaolei, Huaikou Miao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 51
    Modeling and Verifying Web Service Applications with Time Constraints

    Modeling and Verifying Web Service Applications with Time Constraints by Jia Mei, Huaikou Miao, Qingguo Xu, Pan Liu

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 52
    A New Approach to Automated Redundancy Reduction for Test Sequences

    A New Approach to Automated Redundancy Reduction for Test Sequences by Huaikou Miao, Pan Liu, Jia Mei, Hongwei Zeng

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 53
    Towards Practical Modeling of Web Applications and Generating Tests

    Towards Practical Modeling of Web Applications and Generating Tests by Shengbo Chen, Huaikou Miao, Bo Song, Yihai Chen

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 54
    Verifying Service-Oriented Requirements Using Model Checking

    Verifying Service-Oriented Requirements Using Model Checking by Cao, Xiaoxia, Miao, Huaikou, Xu, Qingguo

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  15. 55
    Research of a Grid-enabled Parallel Computational Model and Algorithm Implementation

    Research of a Grid-enabled Parallel Computational Model and Algorithm Implementation by Yongmei Lei, Huaikou Miao, Lijie Li

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 56
    An approach to service dynamic reconfiguration using probabilistic model checking

    An approach to service dynamic reconfiguration using probabilistic model checking by Huaikou Miao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 57
    Data Communication Model of Grid Workflow

    Data Communication Model of Grid Workflow by Hongwei Zeng, Huaikou Miao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 58
    Modeling Web Browser Interactions and Generating Tests

    Modeling Web Browser Interactions and Generating Tests by Bo Song, Huaikou Miao, Shengbo Chen

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 59
    A Formal Modeling for Component Behaviors Based on Event Track

    A Formal Modeling for Component Behaviors Based on Event Track by Zhongyu Chen, Jichang Zhang, Huaikou Miao, Zhenghu Guo

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 60
    A Web Service Composition Method Based on Interface Matching

    A Web Service Composition Method Based on Interface Matching by Tao He, Huaikou Miao, Liping Li

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: