发布求助
文献互助 智能选刊 最新文献

International Journal of Software Engineering and Knowledge Engineering最新文献

筛选
英文 中文
NNTBFV: Simplifying and Verifying Neural Networks using Testing-Based Formal Verification NNTBFV：使用基于测试的形式化验证简化和验证神经网络
IF 0.9 4区 计算机科学
International Journal of Software Engineering and Knowledge Engineering Pub Date : 2023-08-25 DOI: 10.1142/s0218194023500523
Haiying Liu, Shaoying Liu, Guangquan Xu, A. Liu, Dingbang Fang
{"title":"NNTBFV: Simplifying and Verifying Neural Networks using Testing-Based Formal Verification","authors":"Haiying Liu, Shaoying Liu, Guangquan Xu, A. Liu, Dingbang Fang","doi":"10.1142/s0218194023500523","DOIUrl":"https://doi.org/10.1142/s0218194023500523","url":null,"abstract":"","PeriodicalId":50288,"journal":{"name":"International Journal of Software Engineering and Knowledge Engineering","volume":" ","pages":""},"PeriodicalIF":0.9,"publicationDate":"2023-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49538738","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Formalization and Verification of Enhanced Group Communication CoAP 增强型群组通信CoAP的形式化与验证
IF 0.9 4区 计算机科学
International Journal of Software Engineering and Knowledge Engineering Pub Date : 2023-08-25 DOI: 10.1142/s0218194023500535
Sin-Hao Chen, Ran Li, Huibiao Zhu
{"title":"Formalization and Verification of Enhanced Group Communication CoAP","authors":"Sin-Hao Chen, Ran Li, Huibiao Zhu","doi":"10.1142/s0218194023500535","DOIUrl":"https://doi.org/10.1142/s0218194023500535","url":null,"abstract":"","PeriodicalId":50288,"journal":{"name":"International Journal of Software Engineering and Knowledge Engineering","volume":" ","pages":""},"PeriodicalIF":0.9,"publicationDate":"2023-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49657287","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Business-Oriented Methodology to Evaluate the Security of Software Architecture Quantitatively 一种面向业务的软件架构安全性定量评估方法
IF 0.9 4区 计算机科学
International Journal of Software Engineering and Knowledge Engineering Pub Date : 2023-08-25 DOI: 10.1142/s0218194023500511
Hao Chen, Shengyang Zhou, Chen Chen, Zheng Dai, Bixin Li
{"title":"A Business-Oriented Methodology to Evaluate the Security of Software Architecture Quantitatively","authors":"Hao Chen, Shengyang Zhou, Chen Chen, Zheng Dai, Bixin Li","doi":"10.1142/s0218194023500511","DOIUrl":"https://doi.org/10.1142/s0218194023500511","url":null,"abstract":"","PeriodicalId":50288,"journal":{"name":"International Journal of Software Engineering and Knowledge Engineering","volume":" ","pages":""},"PeriodicalIF":0.9,"publicationDate":"2023-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41613079","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Enhancing Multi-Behavior Recommendations through Capturing Dynamic Preferences 通过捕获动态偏好来增强多行为推荐
IF 0.9 4区 计算机科学
International Journal of Software Engineering and Knowledge Engineering Pub Date : 2023-08-17 DOI: 10.1142/s0218194023410012
Cairong Yan, Xiaopeng Guan, Haixia Han, Zhaohui Zhang, Yanting Zhang
{"title":"Enhancing Multi-Behavior Recommendations through Capturing Dynamic Preferences","authors":"Cairong Yan, Xiaopeng Guan, Haixia Han, Zhaohui Zhang, Yanting Zhang","doi":"10.1142/s0218194023410012","DOIUrl":"https://doi.org/10.1142/s0218194023410012","url":null,"abstract":"","PeriodicalId":50288,"journal":{"name":"International Journal of Software Engineering and Knowledge Engineering","volume":" ","pages":""},"PeriodicalIF":0.9,"publicationDate":"2023-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49044742","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Benchmarking Whole Knowledge Graph Embedding Techniques 对标全知识图嵌入技术
IF 0.9 4区 计算机科学
International Journal of Software Engineering and Knowledge Engineering Pub Date : 2023-08-03 DOI: 10.1142/s0218194023500481
P. Bonte, Sander Vanden Hautte, F. de Turck, Sofie Van Hoecke, F. Ongenae
{"title":"Benchmarking Whole Knowledge Graph Embedding Techniques","authors":"P. Bonte, Sander Vanden Hautte, F. de Turck, Sofie Van Hoecke, F. Ongenae","doi":"10.1142/s0218194023500481","DOIUrl":"https://doi.org/10.1142/s0218194023500481","url":null,"abstract":"","PeriodicalId":50288,"journal":{"name":"International Journal of Software Engineering and Knowledge Engineering","volume":" ","pages":""},"PeriodicalIF":0.9,"publicationDate":"2023-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48505678","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An Extensible Modeling Method Supporting Ontology-based Scenario Specification and Domain-specific Extension 支持基于本体的场景规范和特定领域扩展的可扩展建模方法
IF 0.9 4区 计算机科学
International Journal of Software Engineering and Knowledge Engineering Pub Date : 2023-08-03 DOI: 10.1142/s021819402350047x
Young-Min Baek, Esther Cho, Donghwan Shin, Doo-Hwan Bae
{"title":"An Extensible Modeling Method Supporting Ontology-based Scenario Specification and Domain-specific Extension","authors":"Young-Min Baek, Esther Cho, Donghwan Shin, Doo-Hwan Bae","doi":"10.1142/s021819402350047x","DOIUrl":"https://doi.org/10.1142/s021819402350047x","url":null,"abstract":"","PeriodicalId":50288,"journal":{"name":"International Journal of Software Engineering and Knowledge Engineering","volume":" ","pages":""},"PeriodicalIF":0.9,"publicationDate":"2023-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47462775","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra 基于AADL和过程代数的信息物理系统建模与验证方法
IF 0.9 4区 计算机科学
International Journal of Software Engineering and Knowledge Engineering Pub Date : 2023-07-28 DOI: 10.1142/s0218194023500468
Z. Li, Zining Cao, Fujun Wang, Chao Xing
{"title":"A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra","authors":"Z. Li, Zining Cao, Fujun Wang, Chao Xing","doi":"10.1142/s0218194023500468","DOIUrl":"https://doi.org/10.1142/s0218194023500468","url":null,"abstract":"","PeriodicalId":50288,"journal":{"name":"International Journal of Software Engineering and Knowledge Engineering","volume":" ","pages":""},"PeriodicalIF":0.9,"publicationDate":"2023-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46595130","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
EVaDe: Efficient and lightweight Mirai Variants Detection via Approximate Largest Submatrix Search 通过近似最大子矩阵搜索高效轻量级Mirai变体检测
IF 0.9 4区 计算机科学
International Journal of Software Engineering and Knowledge Engineering Pub Date : 2023-07-07 DOI: 10.1142/s0218194023500444
Xuguo Wang, Ligeng Chen, Yuyang Wang, Hao Huang, Bing Mao
{"title":"EVaDe: Efficient and lightweight Mirai Variants Detection via Approximate Largest Submatrix Search","authors":"Xuguo Wang, Ligeng Chen, Yuyang Wang, Hao Huang, Bing Mao","doi":"10.1142/s0218194023500444","DOIUrl":"https://doi.org/10.1142/s0218194023500444","url":null,"abstract":"","PeriodicalId":50288,"journal":{"name":"International Journal of Software Engineering and Knowledge Engineering","volume":" ","pages":""},"PeriodicalIF":0.9,"publicationDate":"2023-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48085871","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Boosting Just-In-Time Code Comment Updating via Programming Context and Refactor 通过编程上下文和重构促进及时的代码注释更新
IF 0.9 4区 计算机科学
International Journal of Software Engineering and Knowledge Engineering Pub Date : 2023-07-07 DOI: 10.1142/s0218194023500456
Xiangbo Mi, Jingxuan Zhang, Yixuan Tang, Yue Ju, Jinpeng Lan
{"title":"Boosting Just-In-Time Code Comment Updating via Programming Context and Refactor","authors":"Xiangbo Mi, Jingxuan Zhang, Yixuan Tang, Yue Ju, Jinpeng Lan","doi":"10.1142/s0218194023500456","DOIUrl":"https://doi.org/10.1142/s0218194023500456","url":null,"abstract":"","PeriodicalId":50288,"journal":{"name":"International Journal of Software Engineering and Knowledge Engineering","volume":" ","pages":""},"PeriodicalIF":0.9,"publicationDate":"2023-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43698985","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Python API Misuse Mining and Classification Based on Hybrid Analysis and Attention Mechanism 基于混合分析和注意机制的Python API误用挖掘与分类
IF 0.9 4区 计算机科学
International Journal of Software Engineering and Knowledge Engineering Pub Date : 2023-07-04 DOI: 10.1142/s0218194023500432
Xincheng He, Xiaojin Liu, Lei Xu
{"title":"Python API Misuse Mining and Classification Based on Hybrid Analysis and Attention Mechanism","authors":"Xincheng He, Xiaojin Liu, Lei Xu","doi":"10.1142/s0218194023500432","DOIUrl":"https://doi.org/10.1142/s0218194023500432","url":null,"abstract":"","PeriodicalId":50288,"journal":{"name":"International Journal of Software Engineering and Knowledge Engineering","volume":" ","pages":""},"PeriodicalIF":0.9,"publicationDate":"2023-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45045542","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信