论文题目 |
第一作者 |
发表年度 |
刊物/会议名称 |
一种多业务以太网接入交换机的关键技术
|
张晓哲
|
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
|
宇航学报
|