Jia Mei

Publication Activity (10 Years)

Years Active: 2000-2013
Publications (10 Years): 0

Top Topics

Matching Algorithm

Expectation Maximization

Top Venues

Pers. Ubiquitous Comput.

Publications

Guangquan Xu, Weisheng Li, Rui Xu, Yingyuan Xiao, Honghao Gao, Xiaohong Li, Zhiyong Feng, Jia Mei
An algorithm on fairness verification of mobile sink routing in wireless sensor network. Pers. Ubiquitous Comput. 17 (5) (2013)
Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei
Probabilistic Timed Model Checking for Atomic Web Service. SERVICES (2011)
Jia Mei, Huaikou Miao, Qingguo Xu, Pan Liu
Modeling and Verifying Web Service Applications with Time Constraints. ACIS-ICIS (2010)
Huaikou Miao, Pan Liu, Jia Mei
An Improved Algorithm for Building the Characterizing Set. TASE (2010)
Jia Mei, Huaikou Miao, Yihai Chen, Honghao Gao
Verifying Web Services Composition Based on Interface Automata Using SPIN. J. Digit. Content Technol. its Appl. 4 (8) (2010)
Jia Mei, Huaikou Miao, Pan Liu
A Novel Approach for On-the-Fly Test Cases Synthesis. SNPD (2009)
Huaikou Miao, Pan Liu, Jia Mei, Hongwei Zeng
A New Approach to Automated Redundancy Reduction for Test Sequences. PRDC (2009)
Yuxin Ding, Jia Mei, Hu Cheng
Design and Implementation of Java Just-in-Time Compiler. J. Comput. Sci. Technol. 15 (6) (2000)