
Networked Systems
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
This book constitutes the refereed proceedings of the 13th International Conference on Networked Systems, NETYS 2025, held in Rabat, Morocco, during May 21-23, 2025.
The 16 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 45 submissions.
They are grouped into the following topics: Verification; Distributed Systems; Machine Learning.
More details
Other editions
Additional editions

Content
.- Verification.
.- Reachability and Verification of Assertions for IoT Applications.
.- Enhancing Numerical Invariants Learning with Bounded Reachability Analysis.
.- Distributed Systems.
.- Distributed computation of temporal twins in periodic undirected time-varying graphs.
.- Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars.
.- Secure Lineage Storage on Public and Private Blockchains.
.- Byzantine Fault-Tolerant Distributed Set Intersection with Redundancy and Its Relationship with Byzantine Optimization.
.- Pattern formation of mobile agents in dynamic grids.
.- An automaton model to succinctly represent suffix-based specifications of a concurrent system.
.- SmartShards: Churn-Tolerant Continuously Available Distributed Ledger.
.- On Restricting Separator Problems in the OBLOT Computational Landscape.
.- Machine Learning.
.- Going Forward-Forward in Distributed Learning.
.- An Ensemble Model for 30-Minute Blood Glucose Prediction in Type 1 Diabetes: Balancing Accuracy and Simplicity.
.- Networked LLM Agents: Toward Autonomous LLMs for Querying Heterogeneous Databases.
.- Plant Diseases Detection with Retrieval-Augmented Generation.
.- Impact of Sparsification and Quantization on Energy Consumption in Federated Learning.
.- Vgg-ViT: A Framework for Deepfakes Images Detection.
.- Heterogeneous Graph Neural Network Based Arabic Coreference Resolution.
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.