Titlebook: Engineering of Computer-Based Systems; 8th International Co Jan Kofroň,Tiziana Margaria,Cristina Seceleanu Conference proceedings 2024 The

断岩

书目名称Engineering of Computer-Based Systems影响因子(影响力)




书目名称Engineering of Computer-Based Systems影响因子(影响力)学科排名




书目名称Engineering of Computer-Based Systems网络公开度




书目名称Engineering of Computer-Based Systems网络公开度学科排名




书目名称Engineering of Computer-Based Systems被引频次




书目名称Engineering of Computer-Based Systems被引频次学科排名




书目名称Engineering of Computer-Based Systems年度引用




书目名称Engineering of Computer-Based Systems年度引用学科排名




书目名称Engineering of Computer-Based Systems读者反馈




书目名称Engineering of Computer-Based Systems读者反馈学科排名

果核

藐视

,Ambient Temperature Prediction for Embedded Systems Using Machine Learning,and’s board. After providing an overview of the related work, we describe how we train the two ML models and identify the optimal training and test datasets to avoid the problems of data under- and over-fitting. Given this train/test split, the trained RF and XGBoost models provide temperature predi

cataract

A Federated Learning Algorithms Development Paradigm,work targeting smart Internet of Things in edge systems is still an open challenge. A solution to that challenge named Python Testbed for Federated Learning Algorithms (PTB-FLA) appeared recently. This solution is written in pure Python, it supports both centralized and decentralized algorithms, and

胎儿

heckle

heckle

,Learning in Uppaal for Test Case Generation for Cyber-Physical Systems,ta for modelling. Different from other studies, we construct the model from the environment’s perspective. After building the model, we synthesize policies for different kinds of environments by using reinforcement learning in Uppaal and parse the policies for test-case generation. Statistical model

incisive

,A Literature Survey of Assertions in Software Testing,lidation tasks. We provide an overview of the last two decades of research involving ‘assertions’ in software testing. Based on a term–based search, we filtered the inclusion of relevant papers and synthesised them w.r.t. the problem addressed, the solution designed, and the evaluation conducted. Th

Genistein

,FPGA-Based Encryption for Peer-to-Peer Industrial Network Links,ential to extend IT security across increasingly connected factories. However, in the highly specialised field of operations technology and embedded systems, not every device can run additional security measures, as they are old or designed with sparse resources. We introduce here the concept of a “

Aggressive

,Formalization and Verification of MQTT-SN Communication Using CSP,nderlying protocol to provide ordered and reliable connections during transmission, making it ideal for sensors in WSN with extremely limited computing power and resources. Due to the widespread use of WSN in various areas, the MQTT-SN protocol has promising application prospects. Furthermore, secur