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

斷巖

書(shū)目名稱(chēng)Engineering of Computer-Based Systems影響因子(影響力)




書(shū)目名稱(chēng)Engineering of Computer-Based Systems影響因子(影響力)學(xué)科排名




書(shū)目名稱(chēng)Engineering of Computer-Based Systems網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱(chēng)Engineering of Computer-Based Systems網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱(chēng)Engineering of Computer-Based Systems被引頻次




書(shū)目名稱(chēng)Engineering of Computer-Based Systems被引頻次學(xué)科排名




書(shū)目名稱(chēng)Engineering of Computer-Based Systems年度引用




書(shū)目名稱(chēng)Engineering of Computer-Based Systems年度引用學(xué)科排名




書(shū)目名稱(chēng)Engineering of Computer-Based Systems讀者反饋




書(shū)目名稱(chēng)Engineering of Computer-Based Systems讀者反饋學(xué)科排名

果核

藐視

,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 ‘a(chǎn)ssertions’ 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