Networked Systems, Kartoniert / Broschiert
Networked Systems
- 13th International Conference, NETYS 2025, Rabat, Morocco, May 21-23, 2025, Proceedings
- Herausgeber:
- Salem Lahlou, Madhavan Mukund
- Verlag:
- Springer, 10/2025
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783032003461
- Artikelnummer:
- 12330595
- Umfang:
- 284 Seiten
- Gewicht:
- 435 g
- Maße:
- 235 x 155 mm
- Stärke:
- 16 mm
- Erscheinungstermin:
- 2.10.2025
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
.- 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.