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

按条件检索“8”条记录

已选条件:
导出
  • 排序
  • 显示
1. An algorithm of resource evaluation and selection based on multi-QoS constraints SCOPUS EI 期刊论文 会议论文 认领

作者:Zhou J.;Yan M.;Ye X.;Lu H.

作者全称:Zhou, Jiantao;Yan, Min;Ye, Xinming;Lu, Haiyan

作者机构:[Zhou, Jiantao ;Yan, Min ;Ye, Xinming ;Lu, Haiyan ] College of Computer Science, Inner Mongolia University, Hohhot, China

第一作者:Zhou, Jiantao

通讯作者:Zhou, J.(cszjtao@imu.edu.cn)

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

来源:Proc. - 7th Web Information Systems and Applications Conference, WISA 2010, Workshop on Semantic Web and Ontology, SWON 2010, Workshop on Electronic Government Technology and Application, EGTA 2010,2010

基金:China Computer Federation (CCF);CCF Electronic Government and Office Automation Society;IEEE Computer Society Technical Council on Multimedia Computing

SCOPUS被引频次:1

摘要:While most of the work on resource scheduling in Grid computing has focused on optimal makespan of the whole systems, our work addresses this problem 更多

2. Analyzing and verifying Petri net model of security protocol based on Maria SCOPUS EI 期刊论文 会议论文 认领

作者:Wang Y.;Zhou J.;Li H.;Hao Y.

作者全称:Wang, Yan;Zhou, Jiantao;Li, Hua;Hao, Ying

作者机构:[Wang, Yan ;Zhou, Jiantao ;Li, Hua ;Hao, Ying ] College of Computer Science, Inner Mongolia University, Huhhot 010021, Inner Mongolia, China;[Wang, Ya 更多

第一作者:Wang, Yan

通讯作者:Wang, Y.(cswy@imu.edu.cn)

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

来源:ICCASM 2010 - 2010 International Conference on Computer Application and System Modeling, Proceedings,2010,Vol.2

基金:Shanxi University;Taiyuan University of Technology;Taiyuan University of Science and Technology;Shanxi Normal University

摘要:Formal specification and analysis of security protocol is a research hotspot in network security at present. This paper models authentication service 更多

3. WF-net模型到PNML的转换方法研究与实现 CSCD 期刊论文 认领

作者:周建涛;海晓军

外文作者:Zhou Jiantao;Hai Xiaojun

第一作者:周建涛

作者机构:[周建涛;海晓军]内蒙古大学计算机学院,呼和浩特

来源:计算机科学,2010,Vol.37,Issue.12

基金:国家自然科学基金(60863015); 国家科技部春晖计划项目(Z2007-1-01042); 内蒙古自然科学基金项目(20080404ZD20)资助;国家自然科学基金,国家科技部春晖计划项目,内蒙古自然科学基金项目

CSCD被引频次:1

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

知网综合影响因子:0.669

知网复合影响因子:1.087

关键词:元模型;WF-net;PNML;转换规则

摘要:Petri网标记语言PNML是一种基于XML的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义。工作流网WF-net是用于 更多

4. 无中心网络任务资源匹配算法研究 学位论文 认领

作者:严敏

学位授予单位:内蒙古大学

导师:周建涛

学位名称:硕士

论文提交日期:2010

学位论文类别:硕士学位论文

5. 与测试相结合的系统安全性验证技术研究 学位论文 认领

作者:钟国栋

学位授予单位:内蒙古大学

导师:周建涛

学位名称:硕士

论文提交日期:2010

学位论文类别:硕士学位论文

6. 回民区政府组织部短信服务系统的设计与实现 学位论文 认领

作者:周靖

学位授予单位:内蒙古大学

导师:周建涛

学位名称:硕士

论文提交日期:2010

学位论文类别:硕士学位论文

7. 面向语义约束的协同验证研究 学位论文 认领

作者:郝颖

学位授予单位:内蒙古大学

导师:周建涛

学位名称:硕士

论文提交日期:2010

学位论文类别:硕士学位论文

8. 基于验证与测试协同的网络软件可信性确认方法 科技成果 疑似

成果完成人:刘靖;孙涛;叶新铭;周建涛;李华;邢熠;白云莉

第一完成单位:[刘靖;孙涛;叶新铭;周建涛;李华;邢熠;白云莉]内蒙古大学

成果类别:基础理论

成果水平:国内领先

年份:2010

更新时间:Mar 28, 2019
TOP