云計算中的隱私研究hzq-資料下載頁
2025-04-30 18:27本頁面
【正文】 性驗證 .航空學(xué)報 (已錄用 ) 14. 網(wǎng)構(gòu)軟件的資源自適應(yīng)性的形式化分析與驗證 . 軟件學(xué)報 , 2022,19(5): 11861200. 15. 模型檢測基于概率時間自動機的反例產(chǎn)生研究 . 計算機研究與發(fā)展 , 2022, 45(10): 16381645. 16. 一種基于形式化規(guī)約生成軟件體系結(jié)構(gòu)模型的方法 . 軟件學(xué)報 , 2022, 21(11): 27382751. 17. 基于 PTCPN 的網(wǎng)構(gòu)軟件建模與分析方法 . 軟件學(xué)報 , 2022,21(6):12541267. 18. 基于 Time Petri Nets 的實時系統(tǒng)資源沖突檢測 . 計算機研究與發(fā)展 , 2022,46(9): 15781585. 19. 基于價格進程代數(shù)的 Web服務(wù)組合描述和成本分析 . 計算機研究與發(fā)展 , 2022,46(5):832840. 45 南京航空航天大學(xué)計算機科學(xué)與技術(shù)學(xué)院 黃志球 NUAA CIST 本團隊近 5年代表文章列表 20. Towards a Formal Verification Approach for Business Process Coordination. In: The proc. of 2022 IEEE International Conference on Web Services (ICWS), Miami, USA, IEEE Computer Society, 2022: 361368. 21. Modeling CostAware Web Services Composition Using PTCCS. In: Proceedings of the 2022 IEEE International Conference on Web Services (ICWS 2022), 2022:461468. 22. An MDE Based Approach for Generating Software Architecture Models from Formal Specifications. In: Proc. of The 10th International Conference on Quality Software (QSIC 2022), 2022: 373376. 23. Ensuring Coordination of Multibusiness Interactions. In: Proceedings of 2022 IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2022: 356363. 24. Modeling and Analysis of Flexible Transaction for Web Services. In: Proceedings of 2022 IEEE International Conference on Web Services (ICWS), IEEE Computer Society, 2022: 10081009. 46 南京航空航天大學(xué)計算機科學(xué)與技術(shù)學(xué)院 黃志球 NUAA CIST 本團隊相關(guān)專利 (1) 一種基于語義的代碼搜索方法 brief introduction: 針對當前主流的搜索引擎僅依賴關(guān)鍵字、搜索范圍局限等不足，利用現(xiàn)成引擎基礎(chǔ)上，將搜索結(jié)果經(jīng)過分析加上語義信息，優(yōu)化了結(jié)果排序，提高了搜索結(jié)果的查準率。 (2)一種支持定制證據(jù)模型與屬性模型的軟件可信評估實現(xiàn)方法 brief introduction: 針對目前軟件可信及評估缺少相應(yīng)的軟件工具，提出了實現(xiàn)對可信證據(jù)進行管理并依照評估規(guī)范進行可信等級的評定方法。本發(fā)明及相應(yīng)可信評估軟件作為一個網(wǎng)絡(luò)信息系統(tǒng)，旨在實現(xiàn)軟件的可信評估管理功能。能夠管理多個軟件資源，存儲、檢索各種可信證據(jù)，并根據(jù)一定的規(guī)則進行軟件可信等級的評定。 47 南京航空航天大學(xué)計算機科學(xué)與技術(shù)學(xué)院 黃志球 NUAA CIST 本團隊相關(guān)工作統(tǒng)計 ? 7篇 SCI源刊 ? 14篇一級學(xué)報（軟件學(xué)報，計算機學(xué)報，計算機研究與發(fā)展，航空學(xué)報） ? 多篇頂級相關(guān)會議 like SCC,ICWS,QSIC (接受率 20%) ? 30+核心期刊文章 ? 國際他引超 50次 ? 專利 3項，著作權(quán) 1項 48 南京航空航天大學(xué)計算機科學(xué)與技術(shù)學(xué)院 黃志球 NUAA CIST ?Thank You! ?Qamp。 A 49 南京航空航天大學(xué)計算機科學(xué)與技術(shù)學(xué)院 黃志球 NUAA CIST
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1