中文
相关论文

相关论文: Prognosis: Closed-Box Analysis of Network Protocol…

200 篇论文

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…

计算与语言 · 计算机科学 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…

机器学习 · 计算机科学 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.…

机器学习 · 计算机科学 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…

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…

神经与进化计算 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

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…

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…

机器学习 · 计算机科学 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,…

网络与互联网体系结构 · 计算机科学 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…

机器学习 · 计算机科学 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…

机器学习 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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,…

统计方法学 · 统计学 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…

密码学与安全 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 2023-05-15 Jasper Müller , Sai Kireet Patri , Tobias Fehenberger , Helmut Griesser , Jörg-Peter Elbers , Carmen Mas-Machuca