English
Related papers

Related papers: Prognosis: Closed-Box Analysis of Network Protocol…

200 papers

Various natural language processing tasks are structured prediction problems where outputs are constructed with multiple interdependent decisions. Past work has shown that domain knowledge, framed as constraints over the output space, can…

Computation and Language · Computer Science 2020-06-03 Xingyuan Pan , Maitrey Mehta , Vivek Srikumar

Network traffic refers to the amount of data being sent and received over the Internet or any system that connects computers. Analyzing network traffic is vital for security and management, yet remains challenging due to the heterogeneity…

Machine Learning · Computer Science 2026-01-15 Xiaochang Li , Chen Qian , Qineng Wang , Jiangtao Kong , Yuchen Wang , Ziyu Yao , Bo Ji , Long Cheng , Gang Zhou , Huajie Shao

Approximating nonlinear differential equations using a neural network provides a robust and efficient tool for various scientific computing tasks, including real-time predictions, inverse problems, optimal controls, and surrogate modeling.…

Machine Learning · Computer Science 2023-10-02 Yuxuan Liu , Zecheng Zhang , Hayden Schaeffer

Packet losses are common events in today's networks. They usually result in longer delivery times for application data since retransmissions are the de facto technique to recover from such losses. Retransmissions is a good strategy for many…

Information Theory · Computer Science 2022-08-17 François Michel , Alejandro Cohen , Derya Malak , Quentin De Coninck , Muriel Médard , Olivier Bonaventure

This paper contributes to a development of randomized methods for neural networks. The proposed learner model is generated incrementally by stochastic configuration (SC) algorithms, termed as Stochastic Configuration Networks (SCNs). In…

Neural and Evolutionary Computing · Computer Science 2018-02-14 Dianhui Wang , Ming Li

The vehicular connectivity revolution is fueling the automotive industry's most significant transformation seen in decades. However, as modern vehicles become more connected, they also become much more vulnerable to cyber-attacks. In this…

Cryptography and Security · Computer Science 2017-11-09 Matan Levi , Yair Allouche , Aryeh Kontorovich

Forecasting future events is a fundamental capability for general-purpose systems that plan or act across different levels of abstraction. Yet, evaluating whether a forecast is "correct" remains challenging due to the inherent uncertainty…

Computer Vision and Pattern Recognition · Computer Science 2026-04-16 Jacob C Walker , Pedro Vélez , Luisa Polania Cabrera , Guangyao Zhou , Sayna Ebrahimi , Rishabh Kabra , Carl Doersch , Maks Ovsjanikov , João Carreira , Shiry Ginosar

Infrastructure protocols like Congestion Control (CC) seek to provide reliable performance across a wide range of Internet environments. Currently, protocol designers assess performance through hand-designed test cases or data sets captured…

Networking and Internet Architecture · Computer Science 2026-05-05 Shehab Sarar Ahmed , William Sentosa , Yinjie Zhang , Yoav Lebendiker , Michael Shnaiderman , Tomer Gilad , Nathan H. Jay , Brighten Godfrey , Michael Schapira

We present Prophecy, a tool for automatically inferring formal properties of feed-forward neural networks. Prophecy is based on the observation that a significant part of the logic of feed-forward networks is captured in the activation…

Machine Learning · Computer Science 2026-05-12 Divya Gopinath , Corina S. Pasareanu , Muhammad Usman

We propose and experimentally evaluate a novel method that dynamically changes the contention window of access points based on system load to improve performance in a dense Wi-Fi deployment. A key feature is that no MAC protocol changes,…

Networking and Internet Architecture · Computer Science 2019-12-17 Thomas Sandholm , Bernardo Huberman , Belal Hamzeh , Scott Clearwater

Over the past decade, Graph Neural Networks (GNNs) have transformed graph representation learning. In the widely adopted message-passing GNN framework, nodes refine their representations by aggregating information from neighboring nodes…

Machine Learning · Computer Science 2025-11-26 Astrit Tola , Jack Myrick , Baris Coskunuzer

We study a theoretical and algorithmic framework for structured prediction in the online learning setting. The problem of structured prediction, i.e. estimating function where the output space lacks a vectorial structure, is well studied in…

Machine Learning · Computer Science 2024-06-19 Pierre Boudart , Alessandro Rudi , Pierre Gaillard

With the emergence of time-critical applications in modern communication networks, there is a growing demand for proactive network adaptation and quality of service (QoS) prediction. However, a fundamental question remains largely…

Networking and Internet Architecture · Computer Science 2025-04-28 Samie Mostafavi , Simon Egger , György Dán , James Gross

Network slicing is considered a key enabler to 5th Generation (5G) communication networks. Mobile network operators may deploy network slices -- complete logical networks customized for specific services expecting a certain Quality of…

Networking and Internet Architecture · Computer Science 2019-09-19 Sebastian Gallenmüller , Johannes Naab , Iris Adam , Georg Carle

Strong intelligent machines powered by deep neural networks are increasingly deployed as black boxes to make decisions in risk-sensitive domains, such as finance and medical. To reduce potential risk and build trust with users, it is…

Computer Vision and Pattern Recognition · Computer Science 2019-09-13 Lingyang Chu , Xia Hu , Juhua Hu , Lanjun Wang , Jian Pei

Network traffic classification, a task to classify network traffic and identify its type, is the most fundamental step to improve network services and manage modern networks. Classical machine learning and deep learning method have…

Networking and Internet Architecture · Computer Science 2021-07-09 Yao Peng , Meirong He , Yu Wang

Prediction algorithms typically assume the training data are independent samples, but in many modern applications samples come from individuals connected by a network. For example, in adolescent health studies of risk-taking behaviors,…

Methodology · Statistics 2018-06-26 Tianxi Li , Elizaveta Levina , Ji Zhu

Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysis is an attractive, but non-trivial approach. We have…

Cryptography and Security · Computer Science 2007-05-23 Suzana Andova , Cas Cremers , Kristian Gjosteen , Sjouke Mauw , Stig F. Mjolsnes , Sasa Radomirovic

With increasingly more computation being shifted to the edge of the network, monitoring of critical infrastructures, such as intermediate processing nodes in autonomous driving, is further complicated due to the typically…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-01-31 Dominik Scheinert , Babak Sistani Zadeh Aghdam , Soeren Becker , Odej Kao , Lauritz Thamsen

The rapidly growing traffic demands in fiber-optical networks require flexibility and accuracy in configuring lightpaths, for which fast and accurate quality of transmission (QoT) estimation is of pivotal importance. This paper introduces a…

Networking and Internet Architecture · Computer Science 2023-05-15 Jasper Müller , Sai Kireet Patri , Tobias Fehenberger , Helmut Griesser , Jörg-Peter Elbers , Carmen Mas-Machuca