玖玖爱zyz99,亚洲AV成人一区二区三区在线观看

軟件學(xué)報

編輯出版：軟件學(xué)報雜志編輯部
主辦：中國科學(xué)院軟件研究所
出版周期：月刊出版地：北京市
語種：中文　　ISSN：1000-9825

相關(guān)推薦

《電腦知識與技術(shù)雜志》2004年30期

《現(xiàn)代計算機(專業(yè)版)雜志》2014年21

《軟件和集成電路雜志》1995年12期

《信息與電腦(理論版)雜志》2011年11

《微型機與應(yīng)用雜志》2013年14期

《桌面出版與設(shè)計雜志》1997年01期

《現(xiàn)代圖書情報技術(shù)雜志》1984年04期

《中文信息學(xué)報雜志》1990年03期

《計算機輔助設(shè)計與圖形學(xué)學(xué)報雜志》

《每周電腦報雜志》2004年11期

《軟件學(xué)報雜志》2008年10期目錄

描述邏輯εL混合循環(huán)術(shù)語集的LCS和MSC推理
蔣運承;王駒;周生明;湯庸;
支持模糊隸屬度比較的擴展模糊描述邏輯
康達(dá)周;徐寶文;陸建江;李言輝;
跨平臺C/C++解釋計算平臺(Ch)及其應(yīng)用研討會通知
傳名調(diào)用演算的二值傳遞CPS變換
喻鋼;柳欣欣;
面向復(fù)雜網(wǎng)絡(luò)存儲系統(tǒng)的元胞自動機動力學(xué)分析方法
陳進(jìn)才;何平;葛雄資;
一種解決構(gòu)件連接死鎖問題的方法
毛斐巧;齊德昱;林偉偉;
基于設(shè)計演算的形式化用例分析建模框架
陳鑫;李宣東;
C代碼API一致性檢驗中的等值分析
孟策;賀也平;羅宇翔;
基于FJ的多版本類動態(tài)更新演算
張仕;黃林鵬;
內(nèi)存數(shù)據(jù)庫在TPC-H負(fù)載下的處理器性能
劉大為;欒華;王珊;覃飆;
挖掘數(shù)據(jù)流任意滑動時間窗口內(nèi)頻繁模式
李國徽;陳輝;
可信關(guān)聯(lián)規(guī)則及其基于極大團的挖掘算法
肖波;徐前方;藺志青;郭軍;李春光;
基于權(quán)重查詢詞的XML結(jié)構(gòu)查詢擴展
萬常選;魯遠(yuǎn);
一種考慮QoS數(shù)據(jù)可信性的服務(wù)選擇方法
李研;周明輝;李瑞超;曹東剛;梅宏;
ServLoc：無線傳感反應(yīng)網(wǎng)絡(luò)的安全位置服務(wù)機制
馬建慶;鐘亦平;張世永;
基于網(wǎng)絡(luò)編碼的無線傳感網(wǎng)多路徑傳輸方法
李姍姍;廖湘科;朱培棟;肖儂;
基于鄰居信息交換的組播快速切換算法
張暉;張宏科;
對DES的Rectangle攻擊和Boomerang攻擊
張蕾;吳文玲;
敬告作者
一種支持海量跨媒體檢索的集成索引結(jié)構(gòu)
莊毅;莊越挺;吳飛;
自適應(yīng)筆式用戶界面開發(fā)的概念框架
徐禮爽;周明駿;鄧昌智;田豐;劉媛媛;戴國忠;
2007年中國計算機大會推薦優(yōu)秀論文介紹
鄭緯民;
基于U-tree的不確定移動對象索引策略
丁曉鋒;盧炎生;潘鵬;洪亮;魏瓊;
基于P2P的Wleb搜索技術(shù)
方啟明;楊廣文;武永衛(wèi);鄭緯民;
一種構(gòu)造代碼安全性證明的方法
郭宇;陳意云;林春曉;
高性能的XML解析器OnceXMLParser
金蓓弘;曹冬磊;任鑫;余雙;戴蓓潔;
基于ID的門限多重秘密共享方案
龐遼軍;裴慶祺;焦李成;王育民;
一種基于攻擊圖的論文QQ81995535 入侵響應(yīng)方法
石進(jìn);郭山清;陸音;謝立;
基于協(xié)商的跨社區(qū)訪問的動態(tài)角色轉(zhuǎn)換機制
付長勝;肖儂;趙英杰;陳濤;
基于分組到達(dá)率的802．11DCF性能分析
楊衛(wèi)東;馬建峰;李亞輝;
基于Markov決策過程用交叉熵方法優(yōu)化軟件測試
張德平;聶長海;徐寶文;
協(xié)作筆式用戶界面開發(fā)工具研究
周明駿;徐禮爽;田豐;戴國忠;
《軟件學(xué)報》投稿指南

計算機論文導(dǎo)航: 北大核心統(tǒng)計源核心 CSCD CSCD擴展國家級期刊省級期刊雜志見刊

描述邏輯εL混合循環(huán)術(shù)語集的LCS和MSC推理

支持模糊隸屬度比較的擴展模糊描述邏輯

跨平臺C/C++解釋計算平臺(Ch)及其應(yīng)用研討會通知

傳名調(diào)用演算的二值傳遞CPS變換

面向復(fù)雜網(wǎng)絡(luò)存儲系統(tǒng)的元胞自動機動力學(xué)分析方法

一種解決構(gòu)件連接死鎖問題的方法

基于設(shè)計演算的形式化用例分析建模框架

C代碼API一致性檢驗中的等值分析

基于FJ的多版本類動態(tài)更新演算

內(nèi)存數(shù)據(jù)庫在TPC-H負(fù)載下的處理器性能

挖掘數(shù)據(jù)流任意滑動時間窗口內(nèi)頻繁模式

可信關(guān)聯(lián)規(guī)則及其基于極大團的挖掘算法

基于權(quán)重查詢詞的XML結(jié)構(gòu)查詢擴展

一種考慮QoS數(shù)據(jù)可信性的服務(wù)選擇方法

ServLoc：無線傳感反應(yīng)網(wǎng)絡(luò)的安全位置服務(wù)機制

基于網(wǎng)絡(luò)編碼的無線傳感網(wǎng)多路徑傳輸方法

基于鄰居信息交換的組播快速切換算法

對DES的Rectangle攻擊和Boomerang攻擊

敬告作者

一種支持海量跨媒體檢索的集成索引結(jié)構(gòu)

自適應(yīng)筆式用戶界面開發(fā)的概念框架

2007年中國計算機大會推薦優(yōu)秀論文介紹

基于U-tree的不確定移動對象索引策略

基于P2P的Wleb搜索技術(shù)

一種構(gòu)造代碼安全性證明的方法

高性能的XML解析器OnceXMLParser

基于ID的門限多重秘密共享方案

一種基于攻擊圖的 論文QQ81995535 入侵響應(yīng)方法

基于協(xié)商的跨社區(qū)訪問的動態(tài)角色轉(zhuǎn)換機制

基于分組到達(dá)率的802．11DCF性能分析

基于Markov決策過程用交叉熵方法優(yōu)化軟件測試

協(xié)作筆式用戶界面開發(fā)工具研究

《軟件學(xué)報》投稿指南

一種基于攻擊圖的論文QQ81995535 入侵響應(yīng)方法