论文题目 |
第一作者 |
发表年度 |
刊物/会议名称 |
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 |
软件工程国际研讨会 |