Matches in SemOpenAlex for { <https://semopenalex.org/work/W2509808220> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2509808220 startingPage "18" @default.
- W2509808220 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 (and stateful) network functions and service chains. For example, WNetKAT allows to model flows which need to traverse certain waypoint functions, which can change the traffic rate. This paper also shows the relationship 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 shows the decidability of whether an expression equals to 0, which is sufficient in many practical scenarios, and we initiate the discussion of decidable subsets of the whole language." @default.
- W2509808220 created "2016-09-16" @default.
- W2509808220 creator A5066080641 @default.
- W2509808220 creator A5069362159 @default.
- W2509808220 creator A5078142495 @default.
- W2509808220 date "2017-01-01" @default.
- W2509808220 modified "2023-10-16" @default.
- W2509808220 title "WNetKAT: A Weighted SDN Programming and Verification Language" @default.
- W2509808220 doi "https://doi.org/10.4230/lipics.opodis.2016.18" @default.
- W2509808220 hasPublicationYear "2017" @default.
- W2509808220 type Work @default.
- W2509808220 sameAs 2509808220 @default.
- W2509808220 citedByCount "1" @default.
- W2509808220 countsByYear W25098082202022 @default.
- W2509808220 crossrefType "proceedings-article" @default.
- W2509808220 hasAuthorship W2509808220A5066080641 @default.
- W2509808220 hasAuthorship W2509808220A5069362159 @default.
- W2509808220 hasAuthorship W2509808220A5078142495 @default.
- W2509808220 hasConcept C112505250 @default.
- W2509808220 hasConcept C118615104 @default.
- W2509808220 hasConcept C120314980 @default.
- W2509808220 hasConcept C136643341 @default.
- W2509808220 hasConcept C153269930 @default.
- W2509808220 hasConcept C192697461 @default.
- W2509808220 hasConcept C199360897 @default.
- W2509808220 hasConcept C2780069185 @default.
- W2509808220 hasConcept C33923547 @default.
- W2509808220 hasConcept C41008148 @default.
- W2509808220 hasConcept C77270119 @default.
- W2509808220 hasConcept C80444323 @default.
- W2509808220 hasConceptScore W2509808220C112505250 @default.
- W2509808220 hasConceptScore W2509808220C118615104 @default.
- W2509808220 hasConceptScore W2509808220C120314980 @default.
- W2509808220 hasConceptScore W2509808220C136643341 @default.
- W2509808220 hasConceptScore W2509808220C153269930 @default.
- W2509808220 hasConceptScore W2509808220C192697461 @default.
- W2509808220 hasConceptScore W2509808220C199360897 @default.
- W2509808220 hasConceptScore W2509808220C2780069185 @default.
- W2509808220 hasConceptScore W2509808220C33923547 @default.
- W2509808220 hasConceptScore W2509808220C41008148 @default.
- W2509808220 hasConceptScore W2509808220C77270119 @default.
- W2509808220 hasConceptScore W2509808220C80444323 @default.
- W2509808220 hasLocation W25098082201 @default.
- W2509808220 hasOpenAccess W2509808220 @default.
- W2509808220 hasPrimaryLocation W25098082201 @default.
- W2509808220 hasRelatedWork W1503565364 @default.
- W2509808220 hasRelatedWork W1598142426 @default.
- W2509808220 hasRelatedWork W1654885996 @default.
- W2509808220 hasRelatedWork W1998717618 @default.
- W2509808220 hasRelatedWork W2052292955 @default.
- W2509808220 hasRelatedWork W208031627 @default.
- W2509808220 hasRelatedWork W2177564498 @default.
- W2509808220 hasRelatedWork W2269028567 @default.
- W2509808220 hasRelatedWork W2404340395 @default.
- W2509808220 hasRelatedWork W2471389158 @default.
- W2509808220 hasRelatedWork W2569163292 @default.
- W2509808220 hasRelatedWork W2595598880 @default.
- W2509808220 hasRelatedWork W2751326373 @default.
- W2509808220 hasRelatedWork W2766124107 @default.
- W2509808220 hasRelatedWork W2952803791 @default.
- W2509808220 hasRelatedWork W2963852181 @default.
- W2509808220 hasRelatedWork W3014360398 @default.
- W2509808220 hasRelatedWork W3147934642 @default.
- W2509808220 hasRelatedWork W3178278250 @default.
- W2509808220 hasRelatedWork W35546544 @default.
- W2509808220 hasVolume "70" @default.
- W2509808220 isParatext "false" @default.
- W2509808220 isRetracted "false" @default.
- W2509808220 magId "2509808220" @default.
- W2509808220 workType "article" @default.