FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952803791> ?p ?o ?g. }

• W2952803791 abstract "Programmability and verifiability lie at the heart of the software-defined networking paradigm. While OpenFlow and its match-action concept provide primitive operations to manipulate hardware configurations, over the last years, several more expressive network programming languages have been developed. This paper presents WNetKAT, the first network programming language accounting for the fact that networks are inherently weighted, and communications subject to capacity constraints (e.g., in terms of bandwidth) and costs (e.g., latency or monetary costs). WNetKAT is based on a syntactic and semantic extension of the NetKAT algebra. We demonstrate several relevant applications for WNetKAT, including cost- and capacity-aware reachability, as well as quality-of-service and fairness aspects. These applications do not only apply to classic, splittable and unsplittable (s; t)-flows, but also generalize to more complex network functions and service chains. For example, WNetKAT allows to model flows which need to traverse certain waypoint functions, which may change the traffic rate. This paper also shows the relation between the equivalence problem of WNetKAT and the equivalence problem of the weighted finite automata, which implies undecidability of the former. However, this paper also succeeds to prove the decidability of another useful problem, which is sufficient in many practical scnearios: whether an expression equals to 0. Moreover, we initiate the discussion of decidable subsets of the whole language." @default.
• W2952803791 created "2019-06-27" @default.
• W2952803791 creator A5022295634 @default.
• W2952803791 creator A5066080641 @default.
• W2952803791 creator A5078142495 @default.
• W2952803791 date "2016-08-30" @default.
• W2952803791 modified "2023-10-16" @default.
• W2952803791 title "WNetKAT: A Weighted SDN Programming and Verification Language" @default.
• W2952803791 cites W1464760834 @default.
• W2952803791 cites W1608999459 @default.
• W2952803791 cites W1643571618 @default.
• W2952803791 cites W1651984967 @default.
• W2952803791 cites W1882012874 @default.
• W2952803791 cites W1975524622 @default.
• W2952803791 cites W1984461846 @default.
• W2952803791 cites W1994926493 @default.
• W2952803791 cites W1998857182 @default.
• W2952803791 cites W2020915715 @default.
• W2952803791 cites W2029582349 @default.
• W2952803791 cites W2030814077 @default.
• W2952803791 cites W2034101986 @default.
• W2952803791 cites W2040678819 @default.
• W2952803791 cites W2047339217 @default.
• W2952803791 cites W2070024382 @default.
• W2952803791 cites W2071187149 @default.
• W2952803791 cites W2085867284 @default.
• W2952803791 cites W2099501333 @default.
• W2952803791 cites W2105520014 @default.
• W2952803791 cites W2110722699 @default.
• W2952803791 cites W2115526539 @default.
• W2952803791 cites W2116995348 @default.
• W2952803791 cites W2126492182 @default.
• W2952803791 cites W2126822952 @default.
• W2952803791 cites W2127646505 @default.
• W2952803791 cites W2130210899 @default.
• W2952803791 cites W2142972529 @default.
• W2952803791 cites W2148837283 @default.
• W2952803791 cites W2151517515 @default.
• W2952803791 cites W2254505267 @default.
• W2952803791 cites W2283556750 @default.
• W2952803791 cites W2395000686 @default.
• W2952803791 cites W2470577043 @default.
• W2952803791 cites W2802897770 @default.
• W2952803791 cites W2913846715 @default.
• W2952803791 cites W2949162956 @default.
• W2952803791 hasPublicationYear "2016" @default.
• W2952803791 type Work @default.
• W2952803791 sameAs 2952803791 @default.
• W2952803791 citedByCount "0" @default.
• W2952803791 crossrefType "posted-content" @default.
• W2952803791 hasAuthorship W2952803791A5022295634 @default.
• W2952803791 hasAuthorship W2952803791A5066080641 @default.
• W2952803791 hasAuthorship W2952803791A5078142495 @default.
• W2952803791 hasConcept C112505250 @default.
• W2952803791 hasConcept C118615104 @default.
• W2952803791 hasConcept C120314980 @default.
• W2952803791 hasConcept C136643341 @default.
• W2952803791 hasConcept C153269930 @default.
• W2952803791 hasConcept C192697461 @default.
• W2952803791 hasConcept C199360897 @default.
• W2952803791 hasConcept C2777904410 @default.
• W2952803791 hasConcept C2780069185 @default.
• W2952803791 hasConcept C2781271823 @default.
• W2952803791 hasConcept C33923547 @default.
• W2952803791 hasConcept C41008148 @default.
• W2952803791 hasConcept C77270119 @default.
• W2952803791 hasConcept C79403827 @default.
• W2952803791 hasConcept C80444323 @default.
• W2952803791 hasConceptScore W2952803791C112505250 @default.
• W2952803791 hasConceptScore W2952803791C118615104 @default.
• W2952803791 hasConceptScore W2952803791C120314980 @default.
• W2952803791 hasConceptScore W2952803791C136643341 @default.
• W2952803791 hasConceptScore W2952803791C153269930 @default.
• W2952803791 hasConceptScore W2952803791C192697461 @default.
• W2952803791 hasConceptScore W2952803791C199360897 @default.
• W2952803791 hasConceptScore W2952803791C2777904410 @default.
• W2952803791 hasConceptScore W2952803791C2780069185 @default.
• W2952803791 hasConceptScore W2952803791C2781271823 @default.
• W2952803791 hasConceptScore W2952803791C33923547 @default.
• W2952803791 hasConceptScore W2952803791C41008148 @default.
• W2952803791 hasConceptScore W2952803791C77270119 @default.
• W2952803791 hasConceptScore W2952803791C79403827 @default.
• W2952803791 hasConceptScore W2952803791C80444323 @default.
• W2952803791 hasLocation W29528037911 @default.
• W2952803791 hasOpenAccess W2952803791 @default.
• W2952803791 hasPrimaryLocation W29528037911 @default.
• W2952803791 hasRelatedWork W105732303 @default.
• W2952803791 hasRelatedWork W139131380 @default.
• W2952803791 hasRelatedWork W208031627 @default.
• W2952803791 hasRelatedWork W2089501676 @default.
• W2952803791 hasRelatedWork W2096009691 @default.
• W2952803791 hasRelatedWork W2177564498 @default.
• W2952803791 hasRelatedWork W2269028567 @default.
• W2952803791 hasRelatedWork W2270336032 @default.
• W2952803791 hasRelatedWork W2277816930 @default.
• W2952803791 hasRelatedWork W2395244651 @default.
• W2952803791 hasRelatedWork W2404340395 @default.
• W2952803791 hasRelatedWork W2509808220 @default.
• W2952803791 hasRelatedWork W2522989697 @default.
• W2952803791 hasRelatedWork W2546693429 @default.

• next