Cover Image

A Formal Model for Path Set Attribute Calculation in Network Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fiaschi, Giovanni, Vitucci, Carlo, Westerbäck, Thomas, Sundmark, Daniel, Nolte, Thomas
Format:	Preprint
Published:	2025
Subjects:	Networking and Internet Architecture F.2.2; G.2.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Semantic Caching for Improving Web Affordability
by: Akbar, Hafsa, et al.
Published: (2025)

Safety-Aware AoI Scheduling for LEO Satellite-Assisted Autonomous Driving
by: Sun, Kangkang, et al.
Published: (2026)

Performance Analysis of Dynamic Equilibria in Joint Path Selection and Congestion Control in Path-Aware Networks
by: Keshvadi, Sina
Published: (2025)

Scalable Network Tomography for Dynamic Spectrum Access
by: Madnaik, Aadesh, et al.
Published: (2024)

An Axiomatic Analysis of Path Selection Strategies for Multipath Transport in Path-Aware Networks
by: Baumeister, Alissa, et al.
Published: (2025)

Formal Methods for Mobile Ad Hoc Networks: A Survey
by: Fokkink, Wan, et al.
Published: (2025)

Routing Attacks in Ethereum PoS: A Systematic Exploration
by: Doumanidis, Constantine, et al.
Published: (2025)

Towards A Simple and Efficient VDTN Routing Protocol for Data Collection in Smart Cities
by: Er, Ngurah Indra, et al.
Published: (2021)

Communication Traffic Characteristics Reveal an IoT Devices Identity
by: Chowdhury, Rajarshi Roy, et al.
Published: (2024)

Orderly Management of Packets in RDMA by Eunomia
by: Mahmood, Sana, et al.
Published: (2024)

Utility Function is All You Need: LLM-based Congestion Control
by: Rozen-Schiff, Neta, et al.
Published: (2026)

Designing Capacitated Subnetworks for Shortest Path Routing
by: Chimani, Markus, et al.
Published: (2026)

A Leaner and Faster Web: How CBOR Can Improve Dynamic Content Encoding in JSON and DNS over HTTPS
by: Lenders, Martine S., et al.
Published: (2025)

No Traffic to Cry: Traffic-Oblivious Link Deactivation for Green Traffic Engineering
by: Ilsen, Max, et al.
Published: (2026)

Automatic Configuration Protocols for Optical Quantum Networks
by: Taherkhani, Amin, et al.
Published: (2025)

The characteristic polynomials of $r$-uniform hypercycles with length $l$
by: Bo, Dong, et al.
Published: (2025)

NNCTC: Physical Layer Cross-Technology Communication via Neural Networks
by: Wang, Haoyu, et al.
Published: (2024)

Adaptive Multi-Dimensional Coordinated Comprehensive Routing Scheme for IoV
by: Ren, Ruixing, et al.
Published: (2026)

Toward Intelligent and Secure Cloud: Large Language Model Empowered Proactive Defense
by: Zhou, Yuyang, et al.
Published: (2024)

Securing 5G Bootstrapping: A Two-Layer IBS Authentication Protocol
by: Dong, Yilu, et al.
Published: (2025)

QUIC Delay Control: an implementation of congestion and delay control
by: Mascolo, Saverio, et al.
Published: (2025)

Differentiated Services: an Experimental vs. Simulated Case Study
by: Andreozzi, Sergio
Published: (2026)

Simpler and Unified Recognition Algorithm for Path Graphs and Directed Path Graphs
by: Balzotti, Lorenzo
Published: (2020)

Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
by: Knop, Dušan, et al.
Published: (2017)

Stack Management for MPLS Network Actions: Integration of Nodes with Limited Hardware Capabilities
by: Ihle, Fabian, et al.
Published: (2025)

CBR -- Boosting Adaptive Classification By Retrieval of Encrypted Network Traffic with Out-of-distribution
by: Lukach, Amir, et al.
Published: (2024)

TurboTLS: TLS connection establishment with 1 less round trip
by: Aguilar-Melchor, Carlos, et al.
Published: (2023)

Technical Report: Toward Applying Quantum Computing to Network Verification
by: Dozier, Kahlil, et al.
Published: (2024)

Tracing Data Packet Paths over the Internet using Traceroute
by: Dreibholz, Thomas, et al.
Published: (2026)

Customizable Contraction Hierarchies -- A Survey
by: Bläsius, Thomas, et al.
Published: (2025)

3GPP NR V2X Mode 2d: Analysis of Distributed Scheduling for Groupcast using ns-3 5G LENA Simulator
by: Fehrenbach, Thomas, et al.
Published: (2025)

Uno: A One-Stop Solution for Inter- and Intra-Datacenter Congestion Control and Reliable Connectivity
by: Bonato, Tommaso, et al.
Published: (2025)

What a Mesh: Formal Security Analysis of WPA3 SAE Wireless Authentication
by: Metere, Roberto, et al.
Published: (2026)

Detecting APT Malware Command and Control over HTTP(S) Using Contextual Summaries
by: Alageel, Almuthanna, et al.
Published: (2025)

On the Min-Max Star Partitioning Number
by: Feldmann, Sarah, et al.
Published: (2024)

Drawing Reeb Graphs
by: Chambers, Erin, et al.
Published: (2025)

Thin Tree Verification is coNP-Complete
by: Moayyedi, Alice
Published: (2025)

A Unified Framework for Weighted Hypergraphic Networks and Fractional Matching
by: Castera, Rémi, et al.
Published: (2026)

Traffic-Aware Configuration of OPC UA PubSub in Industrial Automation Networks
by: Ekrad, Kasra, et al.
Published: (2026)

An Intelligent Native Network Slicing Security Architecture Empowered by Federated Learning
by: Moreira, Rodrigo, et al.
Published: (2024)