论文题目 |
第一作者 |
发表年度 |
刊物/会议名称 |
一种多业务以太网接入交换机的关键技术 |
张晓哲 |
2005-4-1 |
计算机科学 |
双手交互界面研究进展 |
付永刚 |
2005-4-1 |
计算机研究与发展 |
基于进化分布式本体的语义Web服务动态发现 |
马应龙 |
2005-4-1 |
计算机学报 |
An Agent-based Model For Web Services Transaction Processing |
王欣明 |
2005-3-29 |
IEEE |
Mining Quantitative Associations in Large Database |
胡陈勇 |
2005-3-29 |
Web Technologies Research and Development-APWeb 2005 |
ID-based Ring Authenticated Encryption |
曹天杰 |
2005-3-28 |
第19届先进信息网络与应用国际会议 |
An Efficient ID-based Deniable Authentication Protocol from Pairings |
曹天杰 |
2005-3-28 |
第19届先进信息网络与应用国际会议 |
RTAI下动态集成的资源预留调度器的设计与实现 |
王绍恒 |
2005-3-26 |
计算机工程与设计 |
通过扩展LSM框架构建审计支持机制 |
陈慧 |
2005-3-1 |
计算机科学 |
UML的形式化及其应用. |
周瑾 |
2005-3-1 |
计算机科学 |
一种支持软件过程控制和改进的主动度量模型 |
王青 |
2005-3-1 |
软件学报 |
一种新的笔式交互范式的可用性评估 |
吴刚 |
2005-3-1 |
计算机工程与设计 |
基于主题语言模型的中文信息检索系统研究 |
张俊林 |
2005-3-1 |
中文信息学报 |
EWAF: 一种Web应用程序框架 |
樊会锋 |
2005-3-1 |
计算机工程与设计 |
VOD服务器性能及服务方式研究 |
王军健 |
2005-3-1 |
计算机工程与设计 |
结合飞行的快速步行导航技术 |
纪连恩 |
2005-3-1 |
系统仿真学报 |
由一阶逻辑公式得到命题逻辑可满足性问题实例 |
黄拙 |
2005-3-1 |
软件学报 |
Interactive Transmission of Highly Detailed Surfaces |
冀俊峰 |
2005-2-15 |
计算机科学及其应用大会 |
基于工作流的知识流建模与控制 |
张晓刚 |
2005-2-1 |
软件学报 |
基于框架的形式化商务安全策略模型 |
温红子 |
2005-2-1 |
电子学报 |
基于零知识集的群组密钥分配方案 |
孙海波 |
2005-2-1 |
电子学报 |
Dynamic security analysis of group key agreement protocol |
孙海波 |
2005-2-1 |
IEE Proceedings Communications |
电子数据取证研究概述 |
孙波 |
2005-2-1 |
计算机科学 |
Secret sharing among weighted participants |
王明生 |
2005-2-1 |
北京电子科技学院学报 |
一种高效的基于模拟退火的LBG算法 |
佘春东 |
2005-2-1 |
小型微型计算机系统 |
Concurrency Control Protocol for Dynamic Priority Scheduling in Hard Real-Time Databases |
王宏安 |
2005-2-1 |
Chinese Journal of Electronics |
一种面向嵌入式实时软件的需求建模语言 |
舒风笛 |
2005-2-1 |
计算机科学 |
基于PETRI网模型的LEO/MEO/GEO三层卫星网络的性能分析 |
洪志国 |
2005-2-1 |
电子学报 |
双层卫星网络QoS路由算法研究 |
王滨 |
2005-2-1 |
无线通信技术 |
基于进化计算的无人飞行器多航迹规划 |
郑昌文 |
2005-2-1 |
宇航学报 |