中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-9 of 9)

Items/Page: Sort:
	基于时序逻辑证明编译优化程序变换的保义性 [期刊论文] 软件学报, 2009-01-01, 卷号: 20, 期号: 8, 页码: 2074-2086 陶秋铭; 赵琛; 郭亮 \|
	短消息指标新定义及在事务信道限制中的应用 [期刊论文] 软件学报, 2009-01-01, 卷号: 20, 期号: 4, 页码: 985-996 曾海涛; 王永吉; 祖伟; 蔡嘉勇; 阮利 \|
	使用容量指标的安全实时数据库信道限制方法 [期刊论文] 通信学报, 2008-01-01, 卷号: 29, 期号: 8, 页码: 46-56 曾海涛; 王永吉; 阮利; 祖伟; 蔡嘉勇 \|
	基于容器中间件的组件系统体系结构性能评价 [期刊论文] 软件学报, 2006-01-01, 卷号: 17, 期号: 6, 页码: 1328-1337 张勇; 黄涛; 魏峻; 陈宁江 \|
	以用户为中心的场景设计方法研究 [期刊论文] 计算机学报, 2005-01-01, 卷号: 28, 期号: 6, 页码: 1043-1047 王丹力; 华庆一; 戴国忠 \|
	供应链例外事件管理系统 [期刊论文] 计算机集成制造系统, 2004-01-01, 卷号: 10, 期号: 11, 页码: 1402-1407 张凯峰; 韩永生; 潘旭伟 \|
	Petri网可达性的综合判定法 [期刊论文] 软件学报, 2004-01-01, 卷号: 15, 期号: 7, 页码: 949-955 胡娟; 刘力惠; 范植华; 李磊; 王常青; 周纬杰 \|
	移动复制数据库系统冲突检测及消解策略 [期刊论文] 计算机学报, 2002-01-01, 卷号: 25, 期号: 3, 页码: 297-305 丁治明; 王珊; 孟小峰 \|
	多媒体节目时序描述的组合技术 [期刊论文] 软件学报, 2001-01-01, 卷号: 12, 期号: 3, 页码: 398-404 赵琛 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In