首頁 > 雜志
軟件學報(2010年07期)
Journal of Software
-
- 基本信息
-
：中國科學院軟件研究所;中國計算機學會
：月刊
：1000-9825
- 出版信息
-
： 信息科技
： 計算機軟件及計算機應用
：7688篇
- 評價信息
-
：5.201
：2.815
：
目 錄
- 采用了剪枝優(yōu)化的子類型關系判定算法
- 改進的以SMT為基礎的實時系統(tǒng)限界模型檢測(英文)
- 串匹配算法中模式串與文本之間關系的研究
- Multicut問題參數算法的改進
- 分布式緩存系統(tǒng)中一種優(yōu)化緩存部署的圖算法
- 基于規(guī)格說明的若干邏輯覆蓋測試準則
- 基于容斥原理的Skyband基數估計方法
- 圖像-文本相關性挖掘的Web圖像聚類方法
- 高速長距離網絡傳輸協(xié)議
- 互聯網無中斷轉發(fā)的生存性路由協(xié)議
- 網絡態(tài)勢感知研究
- 車用自組網信息廣播
- 終端性能自適應傳輸協(xié)議
- 無線傳感器網絡中的最大生命期基因路由算法
- 物聯網資源尋址模型
- 移動Ad Hoc網絡的跨層優(yōu)化擁塞控制
- 無線傳感器網絡動態(tài)密鑰管理方法
- 基于熵模型的高透明性自適應視頻水印算法
- 域間IP欺騙防御服務增強機制
- 可證明安全的節(jié)點不相交多路徑源路由協(xié)議
- 針對無標度網絡的緊湊路由方法
- 多約束最短鏈路分離路徑精確算法
- 一類代數免疫度達到最優(yōu)的布爾函數的構造
- 3GPP認證與密鑰協(xié)商協(xié)議安全性分析
- 第1屆中國網絡攻防與系統(tǒng)安全會議(NADSS 2010)征文通知
- 2010 CCF中國計算機大會會議通知
- 《軟件學報》投稿指南
- 《軟件學報》形式化方法和工具?？魑耐ㄖ?/li>
