中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 112)

Filters    
Items/Page:    Sort:
面向无穷数据的形式模型综述 [期刊论文]
软件学报, 2016-01-01, 卷号: 27, 期号: 3, 页码: 682-690
宋富; 吴志林
  |  
 
一种模型驱动的可视化生成系统 [期刊论文]
软件学报, 2016-01-01, 卷号: 27, 期号: 5, 页码: 1199-1211
杜一; 郭旦怀; 陈昕; 任磊; 戴国忠
  |  
 
SRLtoRadl生成系统及其范畴论语义 [期刊论文]
电子学报, 2014-01-01, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康

 
确定型语言的相关研究综述 [期刊论文]
集成技术, 2013-01-01, 期号: 6, 页码: 65-70
陈海明; 陆平

 
中国机器翻译研究的机遇与挑战——第八届全国机器翻译研讨会总结与展望 [期刊论文]
中文信息学报, 2013-01-01, 卷号: 27, 期号: 4, 页码: 1-8
杜金华; 张萌; 宗成庆; 孙乐

 
基于XACML的可验证云访问控制方案 [期刊论文]
计算机工程, 2013-01-01, 卷号: 39, 期号: 10, 页码: 42-48,56
司晓琳; 王鹏翩; 张立武

 
基于多尺度描述方法的移动用户界面生成框架 [期刊论文]
计算机学报, 2013-01-01, 卷号: 36, 期号: 11, 页码: 2179-2190
杜一; 田丰; 马翠霞; 戴国忠; 王宏安

 
一种可扩展的用户界面描述语言 [期刊论文]
软件学报, 2013-01-01, 卷号: 24, 期号: 5, 页码: 1127-1142
杜一; 邓昌智; 田丰; 任磊; 戴国忠

 
面向儿童的图形化编程语言和工具 [期刊论文]
计算机辅助设计与图形学学报, 2013-01-01, 卷号: 25, 期号: 4, 页码: 584-591
王婷婷; 王丹力; 路璐; 何亮; 王宏安; 戴国忠

 
基于PAR的排序算法自动生成研究 [期刊论文]
软件学报, 2012-01-01, 卷号: 23, 期号: 9, 页码: 2248-2260
石海鹤; 薛锦云

 

1 2 3 4 5 6 7 8 9 10 next

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace