論文題目 |
第一作者 |
發表年度 |
刊物/會議名稱 |
基于可執行文件靜態分析的入侵檢測模型
|
蘇璞睿
|
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
|
計算機研究與發展
|