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

全部所外国外

文章名称第一作者下载量
多通道几何教学系统中国科学院软件研究所 280
生产执行协同与优化套件-生产平衡软件石化盈科信息技术有限责任公司 276
交互式草图视频编辑平台系统中国科学院软件研究所 266
Agilor实时数据库OPC Server系统v1.0 中国科学院软件研究所 266
虚拟下颌运动仿真系统中国科学院软件研究所 243
聋儿康复网络资源系统中国科学院软件研究所 236
中科和谐笔式电子教学系统中国科学院软件研究所 233
面向流程企业过程数据的综合展示平台软件v1.0 中国科学院软件研究所 233
笔式界面软件开发平台软件中国科学院软件研究所 225
交互式信息可视化工具箱软件中国科学院软件研究所 220
基于语义分类和描述框架的知识抽取系统研究臧良俊 212
素材制作系统中国科学院软件研究所 200
基于数字笔和语音的儿童讲故事系统中国科学院软件研究所 177
工程项目集成管理系统中国科学院软件研究所 176
基于视频的交互手势库软件中国科学院软件研究所 175
幼儿备课系统中国科学院软件研究所 174
中科笔试少儿书画软件中国科学院软件研究所 173
智能建筑管理与控制集成化系统iiBS 中国科学院软件研究所 168
高速内存查询中间件v1.0 中国科学院软件研究所 166
实时数据库系统Agilor V1.0 中国科学院软件研究所 163
幼儿讲课系统 2007SR16570 中国科学院软件研究所 2007-10-24 中国科学院软件研究所 163
笔试工艺图版系统中国科学院软件研究所 163
Agilor实时数据库系统软件 V2.8 中国科学院软件研究所 159
工艺设计知识可视化管理系统中国科学院软件研究所 159
实时数据库系统V2.0 中国科学院软件研究所 156
中科笔式少儿书画软件中国科学院软件研究所 155
家居设计展示系统中国科学院软件研究所 155
数字笔记开发包软件中国科学院软件研究所 153
儿童音乐软件中国科学院软件研究所 153
中科笔试思维系统中国科学院软件研究所 150
基于数字笔的铁路股道调度管理系统中国科学院软件研究所 149
实时事件监测与跟踪系统V1.0 中国科学院软件研究所 149
笔式界面软件开发工具软件中国科学院软件研究所 144
石化企业生产管理与控制集成支持平台V1.0 中国科学院软件研究所 144
工程建设协同工作平台中国科学院软件研究所 140
儿童游戏软件中国科学院软件研究所 140
中科笔试会议白板系统中国科学院软件研究所 140
实时规则并行推理软件V1.0 中国科学院软件研究所 136
网络化文档管理系统中国科学院软件研究所 133
面向控制与实时调度的协同设计工具包软件V1.0 中国科学院软件研究所 131
基于Web的远程实时监控系统V1.0 中国科学院软件研究所 130
儿童益智软件中国科学院软件研究所 127
智能表单系统中国科学院软件研究所 127
儿童娱乐城益智软件中国科学院软件研究所 118
工程项目协同管理系统中国科学院软件研究所 104
格子Boltzmann 方程组的高可扩展隐式方法黄记祖 103
一种问题驱动的经验软件工程研究方法与实践何梅 76
中国科学院软件研究所图书文献资源分布软件所图书馆 40
分布式系统中必然方式下的谓词检测黄洪涛 39
循环优化序列自动定制方法研究薛云志 36
基于形式描述的编译优化自动测试方法与技术研究陶秋铭 30
一种Web应用服务器集群管理系统的设计与实现李辉 30
流程工业过程数据的多粒度分析方法及应用研究杨田 25
基于可信计算的度量验证关键技术研究徐梓耀 22
基于空间约束模型的目标识别张衡 22
基于虚拟机架构的操作系统监控技术研究武炳正 21
操作系统强制访问控制关键技术研究周洲仪 20
大规模移动对象位置信息处理及预测技术研究刘奎恩 20
网驰平台统一部署框架的设计与实现王宁 20
软件属性保障中的源代码静态分析技术研究孟策 20
组件化软件过程建模与分析方法研究翟健 19
虚拟机指令级重放技术的研究与实现周鹏 19
基于虚拟化的同族恶意代码分析与检测杨轶 19
可信存储关键技术及应用研究李昊 19
模态逻辑公式为见证的互模拟等价判定李明 19
C语言程序测试数据生成与死循环检测研究阮辉 18
门户应用构建工具的设计与实现徐琳 18
传统及云计算环境下隐蔽信道分析关键问题研究吴敬征 17
云数据库安全关键技术研究洪澄 17
分组密码的分析与设计张蕾 17
授权策略集成关键技术研究王雅哲 17
一种基于软件过程仿真的软件项目风险管理方法刘大鹏 17
需求变更影响分析模型及相关技术研究李引 17
可满足性问题研究贾祥雪 17
基于结构转换和序列标注的形式化句法统计翻译模型研究张大鲲 17
面向安全协议的移动进程演算的符号化理论刘佳 17
网络安全操作系统关键技术研究李尚杰 17
开放对等环境下的安全协作关键技术研究邓灵莉 16
围绕主题的同步交互学习支持方法的研究及工具开发虞淑娴 16
Web容器性能关键技术研究李洋 16
基于InCoME的软件成本估算方法及支撑工具叶凯 16
带参并发系统的模型检测潘宏 16
可信计算平台度量技术及其应用研究于爱民 16
C程序的静态分析许中兴 16
基于硬件虚拟化的软件安全沙盒技术研究姜军 15
软件缺陷分类预测的对比研究贾浩 15
面向服务质量的电子商务运行平台测试基准的设计与实现段智全 15
匿名凭证与匿名口令认证技术研究杨婧 15
语义访问控制关键技术研究张妍 15
后向无关联性的本地验证撤销群签名研究魏凌波 14
基于GPU的多片元效果的高效绘制刘芳 14
分组密码的可证明安全理论研究张立廷 14
Gnomon 分布式密码计算环境设计与实现米国粹 14
面向无线传感器网络的软件构件模型及构件开发工具集的设计与实现岳云霞 13
网络数据安全与隐私保护关键技术研究付艳艳 13
面向分布式拒绝服务攻击的安全防护绩效评估方法研究黄亮 13
基于MDA和工作流支持软件系统动态演化的方法研究张凡 13
基于阴影图的阴影实时绘制算法章曼 13
基于Xen的可信计算环境构建关键技术研究汪丹 13
基于虚拟机热迁移的可信恢复技术研究胡晓昌 13


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