当前位置：数字出版物超市 >> 学者知网节 >> 承担国家项目资助发文
共有记录13条
序号 题名 作者 文献来源 发表年份 被引频次 下载频次
1 基于时序逻辑的Web服务安全形式化描述与分析 刘洪燕 中国优秀博硕士学位论文全文数据库 (硕士) 2006 0 69
2 基于语义的Web服务发现研究 吴芸 中国优秀硕士学位论文全文数据库 2007 0 147
3 基于P2P环境的语义WEB服务发现模型研究 许鹏波 中国优秀硕士学位论文全文数据库 2007 0 102
4 基于XML的集成中间件技术研究 鱼滨 中国优秀博硕士学位论文全文数据库 (博士) 2003 8 450
5 基于P2P环境的语义Web服务发现模型 许鹏波;鱼滨; 2006年全国开放式分布与并行计算学术会议 2006 0 46
6 基于P2P环境的语义Web服务发现模型 许鹏波;鱼滨; 微电子学与计算机 2006 1 158
7 Web服务提供方安全模型的设计、建模与分析 刘洪燕;段振华;张鹏飞; 计算机技术与发展 2006 0 52
8 基于语义的Web服务匹配研究 吴芸;鱼滨; 计算机技术与发展 2007 1 173
9 多速率混合系统的符号化可达性分析 张海宾;段振华; 西安交通大学学报 2007 1 48
10 稠密时间区间时序逻辑的可满足性判定 张海宾;段振华; 西安电子科技大学学报 2007 1 48
11 多速率混合系统的模型检查 张海宾;段振华; 西安电子科技大学学报 2008 0 24
12 基于代数的模糊Petri网逆向推理算法 门鹏;段振华; 系统仿真学报 2007 0 54
13 使用扩展区间时序逻辑为并发工作流建模 雷丽晖;段振华; 西安电子科技大学学报 2007 0 65