论文题目 |
第一作者 |
发表年度 |
刊物/会议名称 |
J2EE平台中分布式事务互操作的研究与实现
|
张勇
|
2005-7-1
|
计算机科学
|
模态逻辑与模型检测
|
张文辉
|
2005-7-1
|
中国计算机学会通讯
|
Linux内核多语言文件子系统的设计与实现
|
芮建武
|
2005-7-1
|
计算机科学
|
单目视频中人体三维运动的迭代优化估计
|
陈坚
|
2005-7-1
|
计算机辅助设计与图形学学报
|
JNI技术实现跨平台开发的研究
|
任俊伟
|
2005-7-1
|
计算机应用研究
|
CoPenML:基于XML的笔式用户界面构件体系结构
|
李杰
|
2005-7-1
|
计算机研究与发展
|
关于蜕变测试和特殊用例测试的势力研究
|
吴鹏
|
2005-7-1
|
软件学报
|
Analyzing Interoperability of Protocols Using Model Checking
|
吴鹏
|
2005-7-1
|
Chinese Journal of Electronics
|
快速真实地生成树的自然摇曳
|
柳有权
|
2005-7-1
|
计算机学报
|
无线IP网络中一种针对实时流的报头压缩算法
|
吴亦川
|
2005-6-26
|
软件学报
|
Dynamic LOD on GPU
|
冀俊峰
|
2005-6-22
|
国际计算机图形大会
|
A Probability-Guaranteed Adaptive Timeout Algorithm for High-Speed Network Flow Detection
|
王俊峰
|
2005-6-2
|
Computer Networks
|
一个组密钥协商协议的安全性分析
|
曹天杰
|
2005-6-12
|
计算机工程与应用
|
PIBG Toolkit: 一个笔式界面工具箱的分析与设计
|
田丰
|
2005-6-1
|
计算机学报
|
国产万亿次机群系统NPB性能测试分析
|
袁伟
|
2005-6-1
|
计算机研究与发展
|
角色分离的层次化RBAC模型
|
李卿
|
2005-6-1
|
计算机工程与设计
|
Pessimistic Predicate/Transform Model for Long Running Business Processes
|
汪锦岭
|
2005-6-1
|
Tsinghua Science and Technology
|
P2P平台的关键技术
|
万淑超
|
2005-6-1
|
计算机科学
|
A generalized real-time obstacle avoidance method without the cspace calculation
|
王永吉
|
2005-6-1
|
Journal of Computer Science and Technology
|
2D Point-in-polygon test by classifying edges into layers
|
王文成
|
2005-6-1
|
COMPUTERS & GRAPHICS
|
WWW的信息监控研究
|
曹天杰
|
2005-6-1
|
通讯和计算机
|
多任务域工作流系统的设计和实现
|
余亮
|
2005-6-1
|
计算机工程
|
高性能可扩展分布事务服务的研究和实现
|
张昕
|
2005-6-1
|
小型微型计算机系统
|
Sensor Network Optimization with GA for Object Tracking,
|
王晖
|
2005-6-1
|
GESTS International Transaction on Computer Science and Engineering,
|
以用户为中心的场景设计方法研究
|
王丹力
|
2005-6-1
|
计算机学报
|
结合纹理特征的模型简化误差度量算子
|
郭力真
|
2005-6-1
|
计算机学报
|
结合可见性处理的顺序点模型树
|
魏峰
|
2005-6-1
|
计算机学报
|
南水北调工程信息管理系统数据交换平台的研究与设计
|
徐罡
|
2005-6-1
|
南水北调与水利科技
|
RM及其扩展可调度性判定算法的性能分析
|
邢建生
|
2005-5-30
|
计算机研究与发展
|
Software Process Management Practices in China
|
王青
|
2005-5-25
|
软件工程国际研讨会
|