中文
相关论文

相关论文: Towards Model Checking Real-World Software-Defined…

200 篇论文

The evolution of software defined networking (SDN) has played a significant role in the development of next-generation networks (NGN). SDN as a programmable network having service provisioning on the fly has induced a keen interest both in…

网络与互联网体系结构 · 计算机科学 2020-01-29 Sanjeev Singh , Rakesh Kumar Jha

Software Defined Networking (SDN) offers flexibility to program a network based on a set of network requirements. Programming the networks using SDN is not completely straightforward because a programmer must deal with low level details. To…

网络与互联网体系结构 · 计算机科学 2018-07-09 Douglas Comer , Adib Rastegarnia

Artificial Neural Networks (ANNs) are being deployed for an increasing number of safety-critical applications, including autonomous cars and medical diagnosis. However, concerns about their reliability have been raised due to their…

机器学习 · 计算机科学 2021-09-17 Luiz Sena , Xidan Song , Erickson Alves , Iury Bessa , Edoardo Manino , Lucas Cordeiro , Eddie de Lima Filho

Recently, edge computing has emerged as a promising paradigm to support mobile access in IoT multinetworks. However, coexistence of heterogeneous wireless communication schemes brings about new challenges to the mobility management and…

网络与互联网体系结构 · 计算机科学 2021-04-07 Di Wu , Xiang Nie , Hanhui Deng , Zhijin Qin

Software-Defined Networking (SDN) is an emerging paradigm that promises to change this state of affairs, by breaking vertical integration, separating the network's control logic from the underlying routers and switches, promoting (logical)…

网络与互联网体系结构 · 计算机科学 2014-10-09 Diego Kreutz , Fernando M. V. Ramos , Paulo Verissimo , Christian Esteve Rothenberg , Siamak Azodolmolky , Steve Uhlig

The (logically) centralised architecture of the software-defined networks makes them an easy target for packet injection attacks. In these attacks, the attacker injects malicious packets into the SDN network to affect the services and…

密码学与安全 · 计算机科学 2023-01-23 Anh Tuan Phu , Bo Li , Faheem Ullah , Tanvir Ul Huque , Ranesh Naha , Ali Babar , Hung Nguyen

One of the key advantages of Software-Defined Networks (SDN) is the opportunity to integrate traffic engineering modules able to optimize network configuration according to traffic. Ideally, network should be dynamically reconfigured as…

网络与互联网体系结构 · 计算机科学 2020-11-26 Davide Sanvito , Ilario Filippini , Antonio Capone , Stefano Paris , Jeremie Leguay

Software-Defined Networks have seen an increasing in their deployment because they offer better network manageability compared to traditional networks. Despite their immense success and popularity, various security issues in SDN remain open…

网络与互联网体系结构 · 计算机科学 2017-11-30 Bilal Karim Mughal , Sufian Hameed , Ghulam Muhammad Shaikh

The last decade has witnessed significant attention on networked control systems (NCS) due to their ubiquitous presence in industrial applications, and, in the particular case of wireless NCS, because of their architectural flexibility and…

最优化与控制 · 数学 2016-11-22 Majid Zamani , Manuel Mazo , Mahmoud Khaled , Alessandro Abate

This paper addresses the emulation-based observer design for networked control systems (NCS) with linear plants that operate at two time scales in the presence of measurement noise. The system is formulated as a hybrid singularly perturbed…

系统与控制 · 电气工程与系统科学 2025-12-09 Weixuan Wang , Alejandro I. Maass , Dragan Nešić , Ying Tan , Romain Postoyan , W. P. M. H. Heemels

Signature-based Intrusion Detection Systems (SIDSs) are traditionally used to detect malicious activity in networks. A notable example of such a system is Snort, which compares network traffic against a series of rules that match known…

密码学与安全 · 计算机科学 2024-02-16 Ryan Guide , Eric Pauley , Yohan Beugin , Ryan Sheatsley , Patrick McDaniel

Computer networks have become a critical infrastructure. In fact, networks should not only meet strict requirements in terms of correctness, availability, and performance, but they should also be very flexible and support fast updates,…

网络与互联网体系结构 · 计算机科学 2019-03-27 Klaus-Tycho Foerster , Stefan Schmid , Stefano Vissicchio

The variety of existing cloud services creates a challenge for service providers to enforce reasonable Software Level Agreements (SLA) stating the Quality of Service (QoS) and penalties in case QoS is not achieved. To avoid such penalties…

分布式、并行与集群计算 · 计算机科学 2015-02-20 Rajkumar Buyya , Rodrigo N. Calheiros , Jungmin Son , Amir Vahid Dastjerdi , Young Yoon

The possibility of programming the control and data planes, enabled by the Software-Defined Networking (SDN) paradigm, represents a fertile ground on top of which novel operation and management mechanisms can be fully explored, being…

网络与互联网体系结构 · 计算机科学 2020-09-24 Sebastián Gómez Macías , Luciano Paschoal Gaspary , Juan Felipe Botero

Coflow provides a key application-layer abstraction for capturing communication patterns, enabling the efficient coordination of parallel data flows to reduce job completion times in distributed systems. Modern data center networks (DCNs)…

分布式、并行与集群计算 · 计算机科学 2026-04-10 Xin Wang , Hong Shen , Hui Tian , Dong Wang

This letter proposes a deep neural network (DNN)-based neuro-adaptive sliding mode control (SMC) strategy for leader-follower tracking in multi-agent systems with higher-order, heterogeneous, nonlinear, and unknown dynamics under external…

系统与控制 · 电气工程与系统科学 2025-07-30 Khushal Chaudhari , Krishanu Nath , Manas Kumar Bera

SDN-enabled Integrated satellite-terrestrial networks (ISTNs), can provide several advantages including global seamless coverage, high reliability, low latency, etc. and can be a key enabler towards next generation networks. To deal with…

网络与互联网体系结构 · 计算机科学 2021-08-23 Nariman Torkzaban , John S. Baras

Model predictive control (MPC) achieves stability and constraint satisfaction for general nonlinear systems, but requires computationally expensive online optimization. This paper studies approximations of such MPC controllers via neural…

系统与控制 · 电气工程与系统科学 2025-11-07 Henrik Hose , Johannes Köhler , Melanie N. Zeilinger , Sebastian Trimpe

Developers often spend much effort and resources to debug a program. To help the developers debug, numerous information retrieval (IR)-based and spectrum-based bug localization techniques have been devised. IR-based techniques process…

信息检索 · 计算机科学 2018-07-27 Thong Hoang , Richard J. Oentaryo , Tien-Duy B. Le , David Lo

Distributed Denial of Service attacks have become a significant threat to industries and governments leading to substantial financial losses. With the growing reliance on internet services, DDoS attacks can disrupt services by overwhelming…

机器学习 · 计算机科学 2025-01-27 Debashis Kar Suvra