• 个人主页: 点击访问
  • 所属院系:计算机学院(软件学院)
年份: ~

按条件检索“4”条记录

已选条件:
导出
  • 排序
  • 显示
1. A Quantitative Characterization of Cross Coverage SCIE SCOPUS 期刊论文 认领

作者:Zhou, JT;Lan, CH;Hung, WNN;Guo, XR;Song, XY

作者全称:Zhou, Jiantao;Lan, Caihe;Hung, William N. N.;Guo, Xinrui;Song, Xiaoyu

作者机构:[Zhou, Jiantao; Lan, Caihe] Inner Mongolia Univ, Coll Comp Sci, Inner Mongolia Engn Lab Cloud Comp & Serv Softwar, Hohhot, Inner Mongolia, Peoples R C 更多

第一署名单位:[Zhou, Jiantao; Lan, Caihe] Inner Mongolia Univ, Coll Comp Sci, Inner Mongolia Engn Lab Cloud Comp & Serv Softwar, Hohhot, Inner Mongolia, Peoples R China.

第一作者:Zhou, Jiantao

通讯作者:Zhou, JT

通讯作者地址:Zhou, JT (reprint author), Inner Mongolia Univ, Coll Comp Sci, Inner Mongolia Engn Lab Cloud Comp & Serv Softwar, Hohhot, Inner Mongolia, Peoples R China.

来源:IEEE TRANSACTIONS ON COMPUTERS,2015,Vol.64,Issue.8

基金:National Natural Science Foundation of China [61262082, 61262017]; Key; Project of Chinese Ministry of Education [212025]; Inner Mongolia; Science Foundation for Distinguished Young Scholars [2012JQ03]

JCR分区:COMPUTER SCIENCE, HARDWARE & ARCHITECTURE为Q1;ENGINEERING, ELECTRICAL & ELECTRONIC为Q1

中科院分区:大类工程技术3区;小类计算机:硬件2区;小类工程:电子与电气3区

(JCR)当年影响因子:3.052

(JCR)5年影响因子:2.979

ESI学科:COMPUTER SCIENCE

教育部学科:控制科学与工程,软件工程,计算机科学与技术;电子科学与技术,软件工程

关键词:Coverage model; probabilistic analysis

摘要:Effective verification methods are necessary for finding bugs in complex system design. Given domain specific knowledge, design verification engineers 更多

2. Modeling, Design, and Implementation of a Cloud Workflow Engine Based on Aneka SCIE SCOPUS 期刊论文 认领

作者:Zhou, JT;Sun, CX;Fu, WN;Liu, J;Jia, L;Tan, HY

作者全称:Zhou, Jiantao;Sun, Chaoxin;Fu, Weina;Liu, Jing;Jia, Lei;Tan, Hongyan

作者机构:[Zhou, Jiantao; Sun, Chaoxin; Fu, Weina; Liu, Jing; Jia, Lei] Inner Mongolia Univ, Coll Comp Sci, Hohhot 010021, Peoples R China.; [Tan, Hongyan] Ch 更多

第一署名单位:[Zhou, Jiantao; Sun, Chaoxin; Fu, Weina; Liu, Jing; Jia, Lei] Inner Mongolia Univ, Coll Comp Sci, Hohhot 010021, Peoples R China.

第一作者:Zhou, Jiantao

通讯作者:Zhou, JT

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

来源:JOURNAL OF APPLIED MATHEMATICS,2014,Vol.2014

基金:National Natural Science Foundation of China [61262082, 61261019]; Key; Project of Chinese Ministry of Education [212025]; Inner Mongolia; Science Foundation [2012JQ03]

WOS被引频次:1

SCOPUS被引频次:1

教育部学科:光学工程,力学,控制科学与工程

摘要:This paper presents a Petri net-based model for cloud workflow which plays a key role in industry. Three kinds of parallelisms in cloud workflow are c 更多

3. A Latent Implementation Error Detection Method for Software Validation SCIE SCOPUS 期刊论文 认领

作者:Zhou, JT;Liu, J;Wu, JZ;Zhong, GD

作者全称:Zhou, Jiantao;Liu, Jing;Wu, Jinzhao;Zhong, Guodong

作者机构:[Zhou, Jiantao; Liu, Jing; Zhong, Guodong] Inner Mongolia Univ, Coll Comp Sci, Hohhot 010021, Peoples R China.; [Wu, Jinzhao] Guangxi Univ Nationali 更多

第一署名单位:[Zhou, Jiantao; Liu, Jing; Zhong, Guodong] Inner Mongolia Univ, Coll Comp Sci, Hohhot 010021, Peoples R China.

第一作者:Zhou, Jiantao

通讯作者:Zhou, JT

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

来源:JOURNAL OF APPLIED MATHEMATICS,2013,Vol.2013

基金:National Natural Science Foundation of China [61262082, 61262017,; 61163011, 60973147]; Chinese Ministry of Education [212025]; Inner; Mongolia Science Foundation for Distinguished Young Scholars [2012JQ03];; Introduction Foundation for High-Level Talents of Inner Mongolia; University; Ministry of Education of China [20090009110006]; Natural; Science Foundation of Guangxi [2011GXNSFA018154, 2012GXNSFGA060003];; Science and Technology Foundation of Guangxi [10169-1]; Guangxi; Scientific Research Project [201012MS274]

教育部学科:光学工程,力学,控制科学与工程

摘要:Model checking and conformance testing play an important role in software system design and implementation. From the view of integrating model checkin 更多

4. A flexible control strategy on workflow modeling and enacting CPCI-S 会议论文 认领

作者:Zhou, JT;Ye, XM

作者全称:Zhou, JT;Ye, XM

作者机构:[Zhou, JT; Ye, XM]Inner Mongolia Univ, Coll Comp Sci, Inner Mongolia, Peoples R China.

第一作者:Zhou, JT

通讯作者:Zhou, JT

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

会议名称:8th International Conference on Advanced Communication Technology

会议日期:FEB 20-22, 2006

来源:8th International Conference on Advanced Communication Technology, Vols/ 1-3: TOWARD THE ERA OF UBIQUITOUS NETWORKS AND SOCIETIES,2006

关键词:workflow; dynamic change; flexibility; shell; Petri net

摘要:Flexibility stemming from various dynamic changes has become one of the major research topics in the area of today's workflow management. This paper f 更多

更新时间:Mar 28, 2019
TOP