机构

• 软件研究所 [5]
• 化学研究所 [1]

采集方式

• OAI收割 [6]

内容类型

• 期刊论文 [4]
• 会议论文 [2]

发表日期

• 2015 [1]
• 2011 [3]
• 2010 [2]

学科主题

筛选

浏览/检索结果: 共6条，第1-6条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Effect of Peptide Charge Distribution on the Structure and Kinetics of DNA Complex 期刊论文  OAI收割 MACROMOLECULES, 2015, 卷号: 48, 期号: 3, 页码: 756-763 作者:  Su, Cuicui;  Zhao, Mingtian;  Zhu, Zhichao;  Zhou, Jihan;  Wen, Hao   |  收藏  |  浏览/下载：25/0  |  提交时间：2019/04/09 基于XYZ/ADL的异步Web服务组合描述与验证 期刊论文  OAI收割 计算机科学, 2011, 卷号: 38, 期号: 12, 页码: 139-143 石慧娟; 戎玫; 张广泉; 朱稷涵   |  收藏  |  浏览/下载：14/0  |  提交时间：2013/10/08 Web服务组合  XYZ/ADL  异步通信  时间属性  模型检测   数据和时间感知的Web服务组合模型检测 期刊论文  OAI收割 计算机科学, 2011, 卷号: 38, 期号: 11, 页码: 123-126,136 狄浩军; 戎玫; 张广泉; 朱稷涵   |  收藏  |  浏览/下载：16/0  |  提交时间：2013/10/08 Web服务组合  数据属性  时间属性  BPEL  模型检测   a method for detecting mismatch of time-aware web services based on smt 会议论文  OAI收割 6th International Conference on Computer Science and Education, ICCSE 2011, Singapore, Singapore, August 3, Xiyan Wang; Chen Shenbiao; Zhang Guangquan; Zhu Jihan; Wu Jianfeng   |  收藏  |  浏览/下载：34/0  |  提交时间：2013/10/08 Computer science  Education computing  Model checking  User interfaces   a method for modeling aspect-oriented dynamic software architecture 会议论文  OAI收割 5th International Conference on Computer Science and Education, ICCSE 2010, Hefei, China, August 24, Wang Ling; Zhang Guangquan; Zhu Jihan; Wu Jianfeng   |  收藏  |  浏览/下载：28/0  |  提交时间：2011/03/31 Biology  Computer science  Computer software  Education computing  Engineering education  Formal methods   基于有色Petri网的Web服务组合建模与分析 期刊论文  OAI收割 苏州大学学报(工科版), 2010, 卷号: 30, 期号: 4, 页码: 14-19 张侃; 朱稷涵; 张广泉 收藏  |  浏览/下载：12/0  |  提交时间：2011/05/23 有色Petri网  Web服务组合  建模  可达性分析