Items where Author is "Cheng, Xiaochun"

See full list of headings
Export as [feed] Atom [feed] RSS 1.0
Group by: Item Type | No Grouping
Number of items: 17.

Kammueller, Florian and Kirsal, Yoney and Cheng, Xiaochun (2013) DNSsec in Isabelle – replay attack and origin authentication. In: IEEE Int. Conf. on Systems, Man, and Cybernetics, SMC, 2013..

Liu, Shuai and Cheng, Xiaochun and Lan, Caihe and Fu, Weina and Zhou, Jiantao and Li, Qianzhong and Gao, Guanglai (2013) Fractal property of generalized M-set with rational number exponent. Applied Mathematics and Computation, 220 . pp. 668-675. ISSN 0096-3003

Sun, Liang and Yoshida, Shinichi and Cheng, Xiaochun and Liang, Yanchun (2012) A cooperative particle swarm optimizer with statistical variable interdependence learning. Information Sciences, 186 (1). pp. 20-39. ISSN 0020-0255

Singh, M. and Cheng, Xiaochun and Belavkin, Roman V. (2011) Local semantic indexing for resource discovery on overlay networks using mobile agents. International Journal of Computational Intelligence Systems . ISSN 1875-6891 (Accepted/In Press)

Sun, Liang and Cheng, Xiaochun and Liang, Yanchun (2010) Solving job shop scheduling problem using genetic algorithm with penalty function. International Journal of Intelligent Information Processing, 1 (2). pp. 65-77. ISSN 2093-1964

Singh, M. and Cheng, Xiaochun and Belavkin, Roman V. (2010) Resource discovery using mobile agents. In: Frontier of Computer Science and Technology (FCST), 2010 Fifth International Conference, 18-22 August 2010, Changchun, Jilin Province.

Hu, Liang and Cheng, Xiaochun and Che, Xilong (2010) Survey of grid resource monitoring and prediction strategies. International Journal of Intelligent Information Processing, 1 (2). ISSN 2093-1964

Hu, Liang and Liu, Zheli and Cheng, Xiaochun (2010) Efficient identity-based broadcast encryption without random oracles. Journal of Computers, 5 (3). pp. 331-336. ISSN 1796-203X

Cheng, Xiaochun and Che, Xilong and Hu, Liang (2010) Bandwidth prediction based on nu-support vector regression and parallel hybrid particle swarm optimization. International Journal of Computational Intelligence Systems, 3 (1). p. 70. ISSN 1875-6891

Cheng, Xiaochun and Ma, Xiaoqi and Huang, Scott C.-H. and Cheng, Maggie (2010) Mechanical verification of cryptographic protocols. Network Security . pp. 97-115. ISSN 1353-4858

Li, Yushun and Chen, Zheng and Huang, Ronghuai and Cheng, Xiaochun (2009) New e-Learning system architecture based on knowledge engineering technology. Systems, Man and Cybernetics, IEEE International Conference, 2009 . ISSN 1062-922X

Singh, M. and Cheng, Xiaochun and He, X. (2009) Resource discovery using mobile agents. In: Semantic Mining Technologies for Multimedia Databases. Tao, Dacheng and Xu, Dong and Li, Xuelong, eds. Information Science Reference, New York, USA, pp. 419-448. ISBN 9781605661889

Li, Yushun and Guo, Hui and Gao, Ge and Huang, Ronghuai and Cheng, Xiaochun (2009) Ubiquitous e-learning System for dynamic mini-courseware assembling and delivering to mobile terminals. In: NCM 2009: Fifth International Joint Conference on INC, IMS, and IDC; [proceedings]. Kim, Jinhwa and Delen, Dursun and Jinsoo, Park and Ko, Franz and Rui, Chen and Hyung, Jong and Lee, Wang Jian and Kou, Gang, eds. IEEE, pp. 1081-1086. ISBN 9781424452095

Li, Yang and Yang, Hong-Ji and Cheng, Xiaochun and Zhu, Xiao-Yan (2005) Programming style based program partition. International Journal of Software Engineering and Knowledge Engineering (IJSEKE)., 15 (6). pp. 1027-1062. ISSN 0218-1940

Cheng, Xiaochun and Ma, Xiao-Qi (2005) Formal verification of the merchant registration phase of the SET protocol. International Journal of Automation and Computing, 2 (2). pp. 155-162. ISSN 1476-8186

Cheng, Xiaochun and Zhang, Chenqi and Ouyang, Dantong and Yunfei, Jiang (2005) An improved model-based method to test circuit faults. Theoretical Computer Science, 341 (1-3). pp. 150-161. ISSN 0304-3975

Cheng, Xiaochun and Wang, Lusheng and Cheng, Maggie (2004) Topology control of ad hoc wireless networks for energy efficiency. IEEE Transactions On Computers, 53 (12). pp. 1629-1635. ISSN 0018-9340

This list was generated on Fri Jul 3 04:19:18 2015 BST.