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

Innovations in Systems and Software Engineering最新文献

筛选
英文 中文
SysML modeling of service-oriented system-of-systems 面向服务的系统中系统的SysML建模
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-05-09 DOI: 10.1007/s11334-022-00455-5
J. Delsing, Géza Kulcsár, Øystein Haugen
{"title":"SysML modeling of service-oriented system-of-systems","authors":"J. Delsing, Géza Kulcsár, Øystein Haugen","doi":"10.1007/s11334-022-00455-5","DOIUrl":"https://doi.org/10.1007/s11334-022-00455-5","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47998643","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata 从Emerson-Lei自动机到确定性、极限确定性或适合mdp自动机
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-04-09 DOI: 10.1007/s11334-022-00445-7
Tobias John, Simon Jantsch, C. Baier, Sascha Klüppelholz
{"title":"From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata","authors":"Tobias John, Simon Jantsch, C. Baier, Sascha Klüppelholz","doi":"10.1007/s11334-022-00445-7","DOIUrl":"https://doi.org/10.1007/s11334-022-00445-7","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"18 1","pages":"385 - 403"},"PeriodicalIF":1.2,"publicationDate":"2022-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43881870","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
MaxSAT-based temporal logic inference from noisy data 基于maxsat的噪声数据时间逻辑推理
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-04-06 DOI: 10.1007/s11334-022-00444-8
Jean-Raphael Gaglione, D. Neider, Rajarshi Roy, U. Topcu, Zhe Xu
{"title":"MaxSAT-based temporal logic inference from noisy data","authors":"Jean-Raphael Gaglione, D. Neider, Rajarshi Roy, U. Topcu, Zhe Xu","doi":"10.1007/s11334-022-00444-8","DOIUrl":"https://doi.org/10.1007/s11334-022-00444-8","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"18 1","pages":"427 - 442"},"PeriodicalIF":1.2,"publicationDate":"2022-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45741162","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Replicability of experimental tool evaluations in model-based software and systems engineering with MATLAB/Simulink 基于模型的软件和系统工程中实验工具评估的MATLAB/Simulink可复制性
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-03-25 DOI: 10.1007/s11334-022-00442-w
Alexander Boll, Nicole Vieregg, Timo Kehrer
{"title":"Replicability of experimental tool evaluations in model-based software and systems engineering with MATLAB/Simulink","authors":"Alexander Boll, Nicole Vieregg, Timo Kehrer","doi":"10.1007/s11334-022-00442-w","DOIUrl":"https://doi.org/10.1007/s11334-022-00442-w","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"1 1","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41396213","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
An automated model for leaf image-based plant recognition: an optimal feature-based machine learning approach 基于叶片图像的植物识别自动化模型：一种基于最优特征的机器学习方法
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-03-16 DOI: 10.1007/s11334-022-00440-y
Aditi Ghosh, Parthajit Roy
{"title":"An automated model for leaf image-based plant recognition: an optimal feature-based machine learning approach","authors":"Aditi Ghosh, Parthajit Roy","doi":"10.1007/s11334-022-00440-y","DOIUrl":"https://doi.org/10.1007/s11334-022-00440-y","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46718161","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
CGARP: Chaos genetic algorithm-based relay node placement for multifaceted heterogeneous wireless sensor networks 基于混沌遗传算法的多面异构无线传感器网络中继节点布局
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-03-08 DOI: 10.1007/s11334-022-00439-5
P. Banerjee, S. Mandal, D. De, B. Maiti
{"title":"CGARP: Chaos genetic algorithm-based relay node placement for multifaceted heterogeneous wireless sensor networks","authors":"P. Banerjee, S. Mandal, D. De, B. Maiti","doi":"10.1007/s11334-022-00439-5","DOIUrl":"https://doi.org/10.1007/s11334-022-00439-5","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46648836","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A variable reference architecture for the management and configuration of ground vehicle simulations 用于地面车辆仿真管理和配置的可变参考体系结构
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-03-05 DOI: 10.1007/s11334-022-00441-x
Ryan Colletti, A. Qamar, W. Bailey, N. Rolfes, C. Paredis
{"title":"A variable reference architecture for the management and configuration of ground vehicle simulations","authors":"Ryan Colletti, A. Qamar, W. Bailey, N. Rolfes, C. Paredis","doi":"10.1007/s11334-022-00441-x","DOIUrl":"https://doi.org/10.1007/s11334-022-00441-x","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41959716","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Formal verification and validation of run-to-completion style state charts using Event-B 使用Event-B对运行到完成样式的状态图进行正式的验证和确认
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-03-04 DOI: 10.1007/s11334-021-00416-4
K. Morris, C. Snook, Son Hoang, G. Hulette, R. Armstrong, M. Butler
{"title":"Formal verification and validation of run-to-completion style state charts using Event-B","authors":"K. Morris, C. Snook, Son Hoang, G. Hulette, R. Armstrong, M. Butler","doi":"10.1007/s11334-021-00416-4","DOIUrl":"https://doi.org/10.1007/s11334-021-00416-4","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"18 1","pages":"523-541"},"PeriodicalIF":1.2,"publicationDate":"2022-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42866306","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Realization of 5G V2V communication system at 28 GHz for smart vehicle 智能汽车28ghz 5G V2V通信系统的实现
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-03-03 DOI: 10.1007/s11334-022-00435-9
J. K. Ray, Ardhendu Shekhar Biswas, S. Sil, R. Bera, S. Shome, Pallabi Biswas, M. Mitra
{"title":"Realization of 5G V2V communication system at 28 GHz for smart vehicle","authors":"J. K. Ray, Ardhendu Shekhar Biswas, S. Sil, R. Bera, S. Shome, Pallabi Biswas, M. Mitra","doi":"10.1007/s11334-022-00435-9","DOIUrl":"https://doi.org/10.1007/s11334-022-00435-9","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45424325","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Innovations in systems and software engineering guest editorial: special issue on software and systems reuse 系统和软件工程的创新客座编辑：关于软件和系统重用的特刊
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-03-01 DOI: 10.1007/s11334-022-00451-9
L. L. Jilani, Sihem Ben Sassi
{"title":"Innovations in systems and software engineering guest editorial: special issue on software and systems reuse","authors":"L. L. Jilani, Sihem Ben Sassi","doi":"10.1007/s11334-022-00451-9","DOIUrl":"https://doi.org/10.1007/s11334-022-00451-9","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"18 1","pages":"1 - 3"},"PeriodicalIF":1.2,"publicationDate":"2022-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47805410","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
首页 上一页
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学术官方微信