• 个人主页: 点击访问
  • 所属院系:图书与信息技术部
年份: ~

全部成果分类

显示更多
显示更多
导出
  • 排序
  • 显示
1. Testing OpenFlow interaction property based on hierarchy CPN SCOPUS EI 期刊论文 会议论文 认领

作者:Dong L.;Li H.;He N.;Xing Y.

作者全称:Dong, Lulu;Li, Hua;He, Nan;Xing, Yi

作者机构:[Dong, Lulu ;Li, Hua ;He, Nan ;Xing, Yi ] College of Computer Science, Inner Mongolia University, Hohhot, Inner-Mongolia, China

第一作者:Dong, Lulu

来源:Proceedings - International Conference on Network Protocols, ICNP,2013

基金:IEEE Computer Society

摘要:OpenFlow is a new protocol which enables researchers to run experimental protocols in a network without changing the network topology. In the paper, w 更多

2. Workflow-based Modeling of Web Application and Automatically Generating Test Sequences EI SCOPUS CPCI-S 期刊论文 会议论文 认领

作者:Dong, LL;Li, H;Zhang, SM

作者全称:Dong, Lulu;Li, Hua;Zhang, Sumei

作者机构:[Dong, Lulu; Zhang, Sumei] Inner Mongolia Univ, Coll Comp Sci, Hohhot 010021, Inner Mongolia, Peoples R China.; [Li, Hua] Inner Mongolia Univ, Coll 更多

第一作者:Dong, Lulu

通讯作者:Dong, LL

通讯作者地址:Dong, LL (reprint author), Inner Mongolia Univ, Coll Comp Sci, Hohhot 010021, Inner Mongolia, Peoples R China.

来源:2013 13TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC),2013

基金:National Natural Science Foundation of China [61163011]; Chun Hui; Project of Education Department [Z2007-1-01032]; Natural Science; Foundation of Inner Mongolia [2011MS0912]

关键词:CPN; model; workflow; automatic; test sequence

摘要:Web applications are main applications in Internet. Before developing Web Application, a CPN (Colored Petri net) model based on workflow is constructe 更多

3. A Software-reuse Method from Model1 to SSH2 EI SCOPUS CPCI-S 期刊论文 会议论文 认领

作者:Wang, XY;Ruan, HW;Wang, Y;Li, H;Yang, HJ

作者全称:Wang, Xiaoyu;Ruan, Hongwei;Wang, Yan;Li, Hua;Yang, Hongji

作者机构:[Wang, Xiaoyu; Ruan, Hongwei; Wang, Yan; Li, Hua] Inner Mongolia Univ, Coll Comp Sci, Hohhot, Peoples R China.; [Yang, Hongji] De Montfort Univ, Tec 更多

第一作者:Wang, Xiaoyu

通讯作者:Wang, XY

通讯作者地址:Wang, XY (reprint author), Inner Mongolia Univ, Coll Comp Sci, Hohhot, Peoples R China.

来源:2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE/ WORKSHOPS (COMPSACW),2013

基金:National Natural Science Foundation of China [61163011]; Education; Department [Z2007-1-01032]; Natural Science Foundation of Inner Mongolia; [2011MS0912]

WOS被引频次:1

SCOPUS被引频次:1

关键词:Software Evolution; Software Reuse; Model1; SSH2

摘要:Evolution is a natural phenomenon to most software systems because of its continuous function extension and system maintain requirements. Many softwar 更多

4. Investigating the interaction mechanism of gold nanoparticles with mercapto amino acids SCOPUS EI 期刊论文 会议论文 认领

作者:Li H.;Wang X.;Zhang J.;Di X.

作者全称:Li, Huiqing;Wang, Xiufang;Zhang, Jun;Di, Xiaowei

作者机构:[Li, Huiqing ;Wang, Xiufang ;Zhang, Jun ;Di, Xiaowei ] College of Chemistry and Chemical Engineering, Inner Mongolia University, Huhhot 010021, China

第一作者:Li, Huiqing

通讯作者:Di, X.(cexwdi@imu.edu.cn)

通讯作者地址:Di, X.; College of Chemistry and Chemical Engineering, Inner Mongolia University, Huhhot 010021, China; 电子邮件: cexwdi@imu.edu.cn

来源:Advanced Materials Research,2013,Vol.645

教育部学科:矿业工程,材料科学与工程,农林经济管理,公共管理

摘要:Biomolecule functionalized gold nanoparticles offer a broad range of applications in biomedical and bioanalytical areas. In this work, we investigated 更多

5. Interoperability test modelling and generation based on extended petri net incorporating non-determinisim SCOPUS EI 期刊论文 认领

作者:Li H.;Xue Y.;Yue J.-Y.;He N.;Yang H.;Alawairdhi M.

作者全称:Li, Hua;Xue, Yu;Yue, Jing-Yuan;He, Nan;Yang, Hongji;Alawairdhi, Mohammed

作者机构:[Li, Hua ;Xue, Yu ;Yue, Jing-Yuan ;He, Nan ] College of Computer Science, Inner Mongolia University, Hohhot, China;[Yang, Hongji ] Technology Research 更多

第一作者:Li, Hua

通讯作者:Li, H.(cslihua@imu.edu.cn)

通讯作者地址:Li, H.; College of Computer Science, Inner Mongolia University, Hohhot, China; 电子邮件: cslihua@imu.edu.cn

来源:Journal of Computers (Taiwan),2012,Vol.23,Issue.3

教育部学科:计算机科学与技术

摘要:Interoperability testing is a basic necessity in the case of interconnecting network products designed to correctly transport information between devi 更多

6. A C 1-conforming finite element method for nonlinear fourth-order hyperbolic equation SCOPUS 期刊论文 认领

作者:Liu Y.;Li H.;He S.;Gao W.;Fang Z.

作者机构:[Liu, Y] School of Mathematical Sciences, Inner Mongolia University, Hohhot 010021, China;[ Li, H] School of Mathematical Sciences, Inner Mongolia Uni 更多

第一作者:Liu Y.

通讯作者:Liu, Y

通讯作者地址:Liu, Y.; School of Mathematical Sciences, Inner Mongolia University, Hohhot 010021, China; 电子邮件: mathliuyang@yahoo.cn

来源:World Academy of Science, Engineering and Technology,2011,Vol.80

SCOPUS被引频次:2

摘要:In this paper, the C 1-conforming finite element method is analyzed for a class of nonlinear fourth-order hyperbolic partial differential equation. So 更多

7. A C1-conforming finite element method for nonlinear fourth-order hyperbolic equation SCOPUS 期刊论文 认领

作者:Liu Y.;Li H.;He S.;Gao W.;Fang Z.

作者机构:[Liu, Y] School of Mathematical Sciences, Inner Mongolia University, Hohhot 010021, China;[ Li, H] School of Mathematical Sciences, Inner Mongolia Uni 更多

第一作者:Liu Y.

通讯作者:Liu, Y

通讯作者地址:Liu, Y.; School of Mathematical Sciences, Inner Mongolia University, Hohhot 010021, China; 电子邮件: mathliuyang@yahoo.cn

来源:World Academy of Science, Engineering and Technology,2011,Vol.56

摘要:In this paper, the C1-conforming finite element method is analyzed for a class of nonlinear fourth-order hyperbolic partial differential equation. Som 更多

8. Research on controllability for BitTorrent protocol SCOPUS EI 期刊论文 认领

作者:Lü D.-X.;Li H.;Wang J.

作者全称:Dong-Xu;Li, Hua;Wang, Jia

作者机构:[2;, Dong-Xu ;Li, Hua ;Wang, Jia ] College of Computer Science, Inner Mongolia University, Hohhot 010021, China

第一作者: Dong-Xu

通讯作者:, D.-X.(cslvdongxu@163.com);Lü

通讯作者地址:Lü, D.-X.; College of Computer Science, Inner Mongolia University, Hohhot 010021, China; 电子邮件: cslvdongxu@163.com

来源:Dongbei Daxue Xuebao/Journal of Northeastern University,2011,Vol.32,Issue.SUPPL.1

摘要:There are many testers in the distributed test architecture of conformance testing. If the testers can not join the testing process in the right time, 更多

9. A method for modeling and test selection of interoperability SCOPUS EI 期刊论文 认领

作者:Li H.;Ye X.;Wu C.;Wang L.;Wang L.

作者全称:Li, Hua;Ye, Xinming;Wu, Chengyong;Wang, Long;Wang, Lingling

作者机构:[Li, Hua ;Ye, Xinming ;Wu, Chengyong ;Wang, Long ;Wang, Lingling ] College of Computer Science, Inner Mongolia University, Huhhot 010021, China

第一作者:Li, Hua

通讯作者:Li, H.(cslihua@rocket.imu.edu.cn)

通讯作者地址:Li, H.; College of Computer Science, Inner Mongolia University, Huhhot 010021, China; 电子邮件: cslihua@rocket.imu.edu.cn

来源:Jisuanji Yanjiu yu Fazhan/Computer Research and Development,2009,Vol.46,Issue.6

SCOPUS被引频次:2

摘要:Interoperability testing is a basic guarantee for interconnecting network devices and transporting the information between these devices. Interoperabi 更多

10. Distributed system design of conformance testing for BGP4+ SCOPUS EI 期刊论文 认领

作者:Li H.;Ye X.-M.;Wu C.-Y.;Ding X.-L.

作者全称:Li, Hua;Ye, Xin-Ming;Wu, Cheng-Yong;Ding, Xue-Lian

作者机构:[Li, Hua ;Ye, Xin-Ming ;Wu, Cheng-Yong ] College of Computer Science, Inner Mongolia University, Hohhot 010021, China;[Ding, Xue-Lian ] Dept. of Compu 更多

第一作者:Li, Hua

通讯作者:Li, H.

通讯作者地址:Li, H.; College of Computer Science, Inner Mongolia University, Hohhot 010021, China

来源:Tongxin Xuebao/Journal on Communications,2006,Vol.27,Issue.SUPPL.

摘要:BGP4+ is the most important interdomain protocol of next generation Internet. Its main features were analysed, and the distributed system of conforman 更多

11. Design of extensible forwarding element architecture and its key technology verification EI SCOPUS 期刊论文 会议论文 认领

作者:Hu X.L.;Wang X.R.;Wang L.;Li H.

作者全称:Hu, Xin Lei;Wang, Xian Rong;Wang, Lu;Li, Hua

作者机构:[Hu, Xin Lei ;Wang, Xian Rong ;Wang, Lu ;Li, Hua ] School of Computer Science, Inner Mongolia University, Hohhot, China

第一作者:Hu, Xin Lei

来源:Proceedings of 2016 IEEE International Conference on Integrated Circuits and Microsystems, ICICM 2016,2016

摘要:To offer flexible and programmable forwarding plane, we propose a solution from the perspective of system architecture. An extensible forwarding eleme 更多

12. Research and implementation of 6LoWPAN adaptation layer based on electronic technology SCOPUS EI 期刊论文 会议论文 认领

作者:Hong Y.;Li H.;Xia X.;Wang X.

作者全称:Hong, Youfen;Li, Hua;Xia, Xinghang;Wang, Xianrong

作者机构:[Hong, Youfen ;Li, Hua ;Xia, Xinghang ;Wang, Xianrong ] College of Computer Science, Inner Mongolia University, Hohhot, China;[Li, Hua ] Center of Net 更多

第一作者:Hong, Youfen

通讯作者:Hong, Y.(cshongyoufen@imu.edu.cn)

通讯作者地址:Hong, Y.; College of Computer Science, Inner Mongolia University, Hohhot, China; 电子邮件: cshongyoufen@imu.edu.cn

来源:Lecture Notes in Electrical Engineering,2012,Vol.177 LNEE,Issue.VOL. 2

基金:International Science and Education Researcher Association;VIP Information Conference Center;Beijing Gireda Research Center

教育部学科:轻工技术与工程,冶金工程

摘要:With the rapid development of the electronic technology, the internet of things develops quickly and IP address exhausts gradually. IPv6 protocol find 更多

13. Research on the interactive property testing based on Petri net SCOPUS EI 期刊论文 会议论文 认领

作者:Xue Y.;Li H.;Xing Y.;Ye X.

作者全称:Xue, Yu;Li, Hua;Xing, Yi;Ye, Xinming

作者机构:[Xue, Yu ;Li, Hua ;Xing, Yi ;Ye, Xinming ] College of Computer Science, Inner Mongolia University, Hohhot, China

第一作者:Xue, Yu

通讯作者:Xue, Y.

通讯作者地址:Xue, Y.; College of Computer Science, Inner Mongolia University, Hohhot, China

来源:2012 International Conference on Systems and Informatics, ICSAI 2012,2012

摘要:The aim of property based testing is to validate an IUT with respect to a target property, to observe whether the property is violated or not. Many di 更多

14. How to cope with the evolution of classic software during the test generation based on CPN SCOPUS 期刊论文 认领

作者:He N.;Li H.;Pang B.;Xie H.;Yang H.

作者机构:[He, N] College of Computer Science, Center of Network and Information, Inner Mongolia University, Hohhot, China;[ Li, H] College of Computer Science, 更多

第一作者:He N.

通讯作者:He, N

通讯作者地址:He, N.; College of Computer Science, Center of Network and Information, Inner Mongolia University, Hohhot, China

来源:2012 International Conference on Systems and Informatics, ICSAI 2012,2012

摘要:Software evolution is the process to meet the market requirements. The software after evolution has many new features worth of research. In this paper 更多

15. The study of comparison and conversion about Traditional Mongolian and Cyrillic Mongolian SCOPUS EI 期刊论文 会议论文 认领

作者:Li H.;Bao S.

作者全称:Li, Hao;Bao, Sarina

作者机构:[Li, Hao ;Bao, Sarina ] College of Computer Science, Inner Mongolia University, Huhhot, China

第一作者:Li, Hao

通讯作者:Li, H.(haoli@imu.edu.cn)

通讯作者地址:Li, H.; College of Computer Science, Inner Mongolia University, Huhhot, China; 电子邮件: haoli@imu.edu.cn

来源:Proceedings - 2011 4th International Conference on Intelligent Networks and Intelligent Systems, ICINIS 2011,2011

基金:Intelligent Networks and Systems Society (INASS);Chinese Academy of Science and Technology in Japan;Japanese Neural Network Society (JNNS);WSEAS Japan Chapter on Intelligence and Informatics;WSEAS Chinese Chapter on Advanced Design and Manufacture

SCOPUS被引频次:1

摘要:Traditional Mongolian and Cyrillic Mongolian are both the characters used by Mongolians, although their pronunciations are basically the same, the sha 更多

16. Study of interaction property testing of distributed system based on petri net SCOPUS EI 期刊论文 会议论文 认领

作者:Li H.;Xing Y.;Xue Y.;Ye X.

作者全称:Li, Hua;Xing, Yi;Xue, Yu;Ye, Xinming

作者机构:[Li, Hua ;Xing, Yi ;Xue, Yu ;Ye, Xinming ] College of Computer Science, Inner Mongolia University, Hohhot, China

第一作者:Li, Hua

通讯作者:Li, H.(cslihua@imu.edu.cn)

通讯作者地址:Li, H.; College of Computer Science, Inner Mongolia University, Hohhot, China; 电子邮件: cslihua@imu.edu.cn

来源:Proceedings - 2012 IEEE 8th World Congress on Services, SERVICES 2012,2012

基金:IEEE;IEEE Computer Society (CS);TC-SVC;IBM;SAP

摘要:Interaction property is a natural feature of many distributed systems which finish their work on network. But most of them face state explosion when t 更多

17. A new intrusion detection system using class and sample weighted C-support vector machine SCOPUS EI 期刊论文 会议论文 认领

作者:Jiang J.;Li R.;Zheng T.;Su F.;Li H.

作者全称:Jiang, Jiaqi;Li, Ru;Zheng, Tianhong;Su, Feiqin;Li, Haicheng

作者机构:[Jiang, Jiaqi ;Li, Ru ;Zheng, Tianhong ;Su, Feiqin ;Li, Haicheng ] College of Computer Science, Inner Mongolia University, Huhhot, China

第一作者:Jiang, Jiaqi

通讯作者:Li, R.(csliru@imu.edu.cn)

通讯作者地址:Li, R.; College of Computer Science, Inner Mongolia University, Huhhot, China; 电子邮件: csliru@imu.edu.cn

来源:Proceedings - 2011 3rd International Conference on Communications and Mobile Computing, CMC 2011,2011

基金:Shandong University of Science and Technology;Shandong University;Heriot Watt University;World Research Institutes

SCOPUS被引频次:2

摘要:whenever an intrusion occurs, the security of a computer system is compromised. Presently there are a lot of algorithms applied in intrusion detection 更多

18. Test sequence generation from combining property modeling and program slicing SCOPUS 期刊论文 认领

作者:Li H.;Peng Y.-G.;Ye X.-M.;Yue J.-Y.

作者机构:[Li, H] Inner Mongolia University, College of Computer Science, Daxue West Road. 235, Huhhot, China, Inner Mongolia University, Center of Network and 更多

第一作者:Li H.

通讯作者:Li, H

通讯作者地址:Li, H.; Inner Mongolia University, College of Computer Science, Daxue West Road. 235, Huhhot, China; 电子邮件: cslihua@imu.edu.cn

来源:Proceedings - International Computer Software and Applications Conference,2010

基金:IEEE;IEEE Computer Society

摘要:Property based testing is to test the interesting property of software. It can reduce the amount of testing work and further improve the efficiency of 更多

19. Modeling Interactive Property of MIPv6 with Petri Net for Interoperability Testing EI SCOPUS CPCI-S 期刊论文 会议论文 认领

作者:Li, H;Ye, XM;Wu, CY;Liu, L;Wang, LL

作者全称:Li Hua;Ye Xin-ming;Wu Cheng-yong;Liu Long;Wang Ling-ling

作者机构:[Li Hua; Ye Xin-ming; Wu Cheng-yong; Liu Long; Wang Ling-ling] Inner Mongolia Univ, Sch Comp Sci, Hohhot, Peoples R China.

第一作者:Li Hua

通讯作者:Li, H.(cslihua@imu.edu.cn)

通讯作者地址:Li, H (reprint author), Inner Mongolia Univ, Sch Comp Sci, Hohhot, Peoples R China.

来源:ICIC 2009: SECOND INTERNATIONAL CONFERENCE ON INFORMATION AND COMPUTING/ SCIENCE, VOL 2, PROCEEDINGS,2009,Vol.2

SCOPUS被引频次:2

关键词:Modeling; Distributed Roles; Interactive property; coverage

摘要:MIPv6 is presented to cope with mobile problem for deploying IPv6 around the world. Petri net is utilized to model the roles of MIPv6 and generate pat 更多

20. Design and Implementation of a Distributed Conformance Test System based on XML EI SCOPUS CPCI-S 期刊论文 会议论文 认领

作者:Li, H;Ye, XM;Zeng, M;Wang, LL

作者全称:Li, Hua;Ye, Xingming;Zeng, Min;Wang, Lingling

作者机构:[Li, Hua; Ye, Xingming; Zeng, Min; Wang, Lingling] Inner Mongolia Univ, Sch Comp Sci, Hohhot, Peoples R China.

第一作者:Li, Hua

通讯作者:Li, H.(cslihua@rocket.imu.edu.cn)

通讯作者地址:Li, H (reprint author), Inner Mongolia Univ, Sch Comp Sci, Hohhot, Peoples R China.

来源:ISISE 2008: INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND/ ENGINEERING, VOL 2,2008,Vol.2

关键词:distributed system; conformance testing; XML

摘要:Test system plays more and more important part during testing process. In this paper, the architecture of a distributed conformance test system is des 更多

更新时间:Mar 6, 2018

共 8 页, 156 条记录

TOP