论文题目 |
第一作者 |
发表年度 |
刊物/会议名称 |
基于可执行文件静态分析的入侵检测模型 |
苏璞睿 |
2006-9-1 |
计算机学报 |
有界单向函数的通用求逆算法研究 |
薛锐 |
2006-9-1 |
计算机学报 |
一种高效的数字笔迹多维数据编码算法 |
李俊峰 |
2006-9-1 |
软件学报 |
虚拟环境下基于语义的三维交互技术 |
纪连恩 |
2006-9-1 |
软件学报 |
PKI中的可验证部分密钥托管 |
庄勇 |
2006-9-1 |
计算机学报 |
匿名无线认证协议的匿名性缺陷和改进 |
彭华熹 |
2006-9-1 |
通信学报 |
基于身份的可验证加密签名协议的安全性分析 |
张振峰 |
2006-9-1 |
计算机学报 |
一种三层以太网交换机的组播方案 |
李铮 |
2006-9-1 |
小型微型计算机系统 |
无线传感器网络的通信协议 |
孙利民 |
2006-9-1 |
中国计算机学会通讯 |
在停车场管理中的应用 |
孙利民 |
2006-9-1 |
中国计算机学会通讯 |
一种基于PDCA的软件过程控制与改进模型研究 |
武占春 |
2006-8-9 |
软件学报 |
一种基于Messy GA的结构测试数据自动生成方法 |
薛云志 |
2006-8-8 |
软件学报 |
混合RBAC-DTE策略的多角色管理 |
唐柳英 |
2006-8-3 |
计算机学报 |
Federal Open Agent System Platform |
汪红兵 |
2006-8-25 |
International Enformatika Conference 2006 |
A Powerful Technique to Eliminate Isomorphism in Finite Model Search |
贾祥雪 |
2006-8-17 |
Third International Joint Confrerence,IJCAR 2006 |
ESTS: An Error Statistic Based Time Synchronization Protocol for Wireless Sensor Networks |
孙利民 |
2006-8-16 |
智能计算国际会议 |
网络计算机集群负载均衡机制的研究 |
张普 |
2006-8-15 |
计算机工程与设计 |
项目过程自动化建立方法的研究与实现 |
刘经纬 |
2006-8-15 |
计算机工程与设计 |
Retrieving and Matching RDF Graphs by Solving the Satisfiability Problem |
刘生 |
2006-8-12 |
International Conference on Web Intelligence(WI 06) |
A Test Data Generation Tool for Unit Testing of C Programs |
许中兴 |
2006-8-10 |
QSIC 2006 |
SAT-Based Verification of LTL Formulas |
张文辉 |
2006-8-1 |
FMICS 2006 |
基于单向陷门置换的长消息签密方案 |
胡振宇 |
2006-8-1 |
中国科学 E辑 信息科学 |
基于JSF的网格门户设计与实现 |
陈秋萍 |
2006-8-1 |
计算机工程与设计 |
核心化多级安全数据库系统未决提交事务日志写出依赖研究 |
徐震 |
2006-8-1 |
计算机学报 |
一种基于身份的多信任域认证模型 |
彭华熹 |
2006-8-1 |
计算机学报 |
面向SELlinux的角色权限研究 |
武延军 |
2006-8-1 |
计算机研究与发展 |
基于场景语义的3D交互体系结构 |
纪连恩 |
2006-8-1 |
计算机辅助设计与图形学学报 |
基于周期时间限制的自主访问控制委托模型 |
张宏 |
2006-8-1 |
计算机学报 |
基于视线的地形可视性分析研究 |
吕品 |
2006-8-1 |
计算机工程与应用 |
UPIM:以用户为中心的笔式交互系统设计 |
王晓春 |
2006-8-1 |
计算机研究与发展 |