中文
相关论文

相关论文: Efficient Synthesis of Network Updates

200 篇论文

Traditional communication networks consist of large sets of vendor-specific manually configurable devices which are hardwired with specific control logic or algorithms. The resulting networks comprise distributed control plane architectures…

网络与互联网体系结构 · 计算机科学 2020-07-13 Ijaz Ahmad

With the rise of Software Defined Networks (SDN), there is growing interest in dynamic and centralized traffic engineering, where decisions about forwarding paths are taken dynamically from a network-wide perspective. Frequent path…

网络与互联网体系结构 · 计算机科学 2016-10-11 Tal Mizrahi , Yoram Moses

Software Defined Networking has afforded numerous benefits to the network users but there are certain persisting issues with this technology, two of which are scalability and privacy. The natural solution to overcoming these limitations is…

网络与互联网体系结构 · 计算机科学 2023-11-10 Akrit Mudvari , Leandros Tassiulas

Software-Defined Networking (SDN) separates the network control plane and data plane, which provides a network-wide view with centralized control (in the control plane) and programmable network configuration for data plane injected by SDN…

密码学与安全 · 计算机科学 2019-06-12 Weng Jiasi , Weng Jian , Liu Jia-Nan , Zhang Yue

Many programs that interact with a database need to undergo schema refactoring several times during their life cycle. Since this process typically requires making significant changes to the program's implementation, schema refactoring is…

编程语言 · 计算机科学 2019-04-12 Yuepeng Wang , James Dong , Rushi Shah , Isil Dillig

We present a new method for scaling automatic configuration of computer networks. The key idea is to relax the computationally hard search problem of finding a configuration that satisfies a given specification into an approximate objective…

网络与互联网体系结构 · 计算机科学 2022-11-04 Luca Beurer-Kellner , Martin Vechev , Laurent Vanbever , Petar Veličković

Software Defined Networking (SDN) is an emerging technology of efficiently controlling and managing computer networks, such as in data centres, Wide Area Networks (WANs), as well as in ubiquitous communication. In this paper, we explore the…

网络与互联网体系结构 · 计算机科学 2020-12-15 Anees Al-Najjar , Furqan Hameed Khan , Marius Portmann

In network management, when it comes to security breaches, human error constitutes a dominant factor. We present our tool topoS which automatically synthesizes low-level network configurations from high-level security goals. The automation…

网络与互联网体系结构 · 计算机科学 2016-04-04 Cornelius Diekmann , Andreas Korsten , Georg Carle

Scenarios, or Message Sequence Charts, offer an intuitive way of describing the desired behaviors of a distributed protocol. In this paper we propose a new way of specifying finite-state protocols using scenarios: we show that it is…

形式语言与自动机理论 · 计算机科学 2014-03-03 Rajeev Alur , Milo Martin , Mukund Raghothaman , Christos Stergiou , Stavros Tripakis , Abhishek Udupa

View synthesis aims to produce unseen views from a set of views captured by two or more cameras at different positions. This task is non-trivial since it is hard to conduct pixel-level matching among different views. To address this issue,…

计算机视觉与模式识别 · 计算机科学 2021-01-27 Zhuoman Liu , Wei Jia , Ming Yang , Peiyao Luo , Yong Guo , Mingkui Tan

As the Software Defined Networking (SDN) paradigm gains momentum, every network operator faces the obvious dilemma: when and how to migrate from existing IP routers to SDN compliant equipments. A single step complete overhaul of a fully…

网络与互联网体系结构 · 计算机科学 2013-10-02 Tamal Das , Marcel Caria , Admela Jukan , Marco Hoffmann

Software Defined Networking (SDN) not only enables agility through the realization of part of the network functionality in software but also facilitates offering advanced features at the network layer. Hence, SDN can support a wide range of…

网络与互联网体系结构 · 计算机科学 2019-08-20 Mona Elsaadawy , Bettina Kemme , Mohamed Younis

Software-defined networking (SDN) has been widely utilized to enforce the security of traditional networks, thereby promoting the process of transforming traditional networks into SDN networks. However, SDN-based security enforcement…

密码学与安全 · 计算机科学 2023-01-11 Yunfei Meng , Changbo Ke , Zhiqiu Huang , Guohua Shen , Chunming Liu , Xiaojie Feng

Software Defined Networking (SDN) offers a flexible and scalable architecture that abstracts decision making away from individual devices and provides a programmable network platform. However, implementing a centralized SDN architecture…

网络与互联网体系结构 · 计算机科学 2019-05-30 Michael Baddeley , Reza Nejabati , George Oikonomou , Mahesh Sooriyabandara , Dimitra Simeonidou

Software-Defined Networking (SDN) is an evolutionary networking paradigm which has been adopted by large network and cloud providers, among which are Tech Giants. However, embracing a new and futuristic paradigm as an alternative to…

网络与互联网体系结构 · 计算机科学 2021-03-31 Sajad Khorsandroo , Adrian Gallego Sanchez , Ali Saman Tosun , Jose' Manuel Arco Rodriguez , Roberto Doriguzzi-Corin

The adoption of Software Defined Networking (SDN) within traditional networks has provided operators the ability to manage diverse resources and easily reconfigure networks as requirements change. Recent research has extended this concept…

网络与互联网体系结构 · 计算机科学 2019-05-30 Michael Baddeley , Usman Raza , Aleksandar Stanoev , George Oikonomou , Reza Nejabati , Mahesh Sooriyabandara , Dimitra Simeonidou

Emerging software-defined networking technologies enable more adaptive communication infrastructures, allowing for quick reactions to changes in networking requirements by exploiting the workload's temporal structure. However, operating…

网络与互联网体系结构 · 计算机科学 2022-11-08 Monika Henzinger , Ami Paz , Arash Pourdamghani , Stefan Schmid

Software Defined Networking (SDN) has emerged as a programmable approach for provisioning and managing network resources by defining a clear separation between the control and data forwarding planes. Nowadays SDN has gained significant…

Synthetic network traffic generation has emerged as a promising alternative for various data-driven applications in the networking domain. It enables the creation of synthetic data that preserves real-world characteristics while addressing…

When managing wide-area networks, network architects must decide how to balance multiple conflicting metrics, and ensure fair allocations to competing traffic while prioritizing critical traffic. The state of practice poses challenges since…

编程语言 · 计算机科学 2022-07-05 Yanjun Wang , Zixuan Li , Chuan Jiang , Xiaokang Qiu , Sanjay G. Rao