Buch, Englisch, 265 Seiten, Format (B × H): 155 mm x 235 mm
14th International Conference, NETYS 2026, Agadir, Morocco, June 10-12, 2026, Proceedings
Buch, Englisch, 265 Seiten, Format (B × H): 155 mm x 235 mm
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-032-33125-0
Verlag: Springer
This book constitutes the refereed proceedings of the 14th International Conference on Networked Systems, NETYS 2026, held in Agadir, Morocco, during June 10-12, 2026.
The 14 full papers and 1 short paper were included in this book were carefully reviewed and selected from 38 submissions. This conference covering all aspects related to data management, data science, distributed algorithms, large language models, machine learning, multi-core architectures, networks, parallel programming, security, and verification.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
.- Verification .
.- Adaptive Bitwidth Abstraction for Distributed Bounded Model Checking of Concurrent Programs.
.- Identifying Conditionally Relevant Variables for Safety-Critical Controllers under Single-Event Upsets.
.- Verifying Sequential Consistency under Bounded Preemptions.
.- On computing reachable configurations of Pushdown Systems with an Upper Stack.
.- NLP/LLM .
.- VoteRE: Multi-LLM Consensus for Relation Extraction.
.- S-GBT: Smooth Growth Bound Tensor for Certified Robustness Against Word Substitution Attacks in NLP.
.- Distributed Computing .
.- Deterministic Asynchronous Consensus with Some Crash-Immune Processes.
.- Byzantine Cheap Talk: Adversarial Resilience and Topology E!ects in LLM Coordination Games.
.- FLAIR: Distributed Federated Learning with Dynamic Clustering.
.- Networking .
.- Quantifying CPU Configuration E!ects on DNS Resolver Power Consumption.
.- A Methodology to Assess Power Modeling in Energy-Aware Federated Learning on Heterogeneous Mobile Devices.
.- Deep Graph Learning for Structural Vulnerability Assessment in IPv6 Transition Networks.
.- Security/Authentication .
.- A Lightweight Authentication Using Binary Fuse Filters in Resource Constrained IoT.
.- RAV: A Unified Two-Stage Recognition and Verification Framework for Biometric Authentication.
.- Representation Collapse in Self-Supervised EEG Models: A Cross-Subject Analysis of Foundation Model Failures.
