Matches in SemOpenAlex for { <https://semopenalex.org/work/W4225361470> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W4225361470 abstract "The User Plane Function (UPF) aims to provide network services in the 3GPP 5G core network. These services need to be implemented on demand inexpensively with provable properties. Existing network dataplane programming languages are not up to the task. A new software paradigm is presented for the UPF. It is inspired by model checking a concurrent reactive system where conceptually each component of the system is modeled as an extended finite-state machine and their product is verified. We show how such a product can be computed for one example of a UPF and how its state invariants can be inferred, thereby eliminating the need to formally verify the product separately. Code can be generated from the product and regenerated on the fly to remain optimal for the probability distribution of network traffic the UPF must process." @default.
- W4225361470 created "2022-05-05" @default.
- W4225361470 creator A5049277739 @default.
- W4225361470 date "2022-01-30" @default.
- W4225361470 modified "2023-10-18" @default.
- W4225361470 title "Network Programming via Computable Products" @default.
- W4225361470 doi "https://doi.org/10.48550/arxiv.2201.12950" @default.
- W4225361470 hasPublicationYear "2022" @default.
- W4225361470 type Work @default.
- W4225361470 citedByCount "0" @default.
- W4225361470 crossrefType "posted-content" @default.
- W4225361470 hasAuthorship W4225361470A5049277739 @default.
- W4225361470 hasBestOaLocation W42253614701 @default.
- W4225361470 hasConcept C120314980 @default.
- W4225361470 hasConcept C121332964 @default.
- W4225361470 hasConcept C127413603 @default.
- W4225361470 hasConcept C167822520 @default.
- W4225361470 hasConcept C168167062 @default.
- W4225361470 hasConcept C199360897 @default.
- W4225361470 hasConcept C201995342 @default.
- W4225361470 hasConcept C2524010 @default.
- W4225361470 hasConcept C2777904410 @default.
- W4225361470 hasConcept C2780451532 @default.
- W4225361470 hasConcept C33923547 @default.
- W4225361470 hasConcept C41008148 @default.
- W4225361470 hasConcept C48103436 @default.
- W4225361470 hasConcept C80444323 @default.
- W4225361470 hasConcept C90673727 @default.
- W4225361470 hasConcept C97355855 @default.
- W4225361470 hasConcept C98045186 @default.
- W4225361470 hasConceptScore W4225361470C120314980 @default.
- W4225361470 hasConceptScore W4225361470C121332964 @default.
- W4225361470 hasConceptScore W4225361470C127413603 @default.
- W4225361470 hasConceptScore W4225361470C167822520 @default.
- W4225361470 hasConceptScore W4225361470C168167062 @default.
- W4225361470 hasConceptScore W4225361470C199360897 @default.
- W4225361470 hasConceptScore W4225361470C201995342 @default.
- W4225361470 hasConceptScore W4225361470C2524010 @default.
- W4225361470 hasConceptScore W4225361470C2777904410 @default.
- W4225361470 hasConceptScore W4225361470C2780451532 @default.
- W4225361470 hasConceptScore W4225361470C33923547 @default.
- W4225361470 hasConceptScore W4225361470C41008148 @default.
- W4225361470 hasConceptScore W4225361470C48103436 @default.
- W4225361470 hasConceptScore W4225361470C80444323 @default.
- W4225361470 hasConceptScore W4225361470C90673727 @default.
- W4225361470 hasConceptScore W4225361470C97355855 @default.
- W4225361470 hasConceptScore W4225361470C98045186 @default.
- W4225361470 hasLocation W42253614701 @default.
- W4225361470 hasOpenAccess W4225361470 @default.
- W4225361470 hasPrimaryLocation W42253614701 @default.
- W4225361470 hasRelatedWork W2045840663 @default.
- W4225361470 hasRelatedWork W2076751416 @default.
- W4225361470 hasRelatedWork W2135396778 @default.
- W4225361470 hasRelatedWork W2972471777 @default.
- W4225361470 hasRelatedWork W3087756144 @default.
- W4225361470 hasRelatedWork W3128358553 @default.
- W4225361470 hasRelatedWork W3174876402 @default.
- W4225361470 hasRelatedWork W4239527502 @default.
- W4225361470 hasRelatedWork W4243252198 @default.
- W4225361470 hasRelatedWork W843695103 @default.
- W4225361470 isParatext "false" @default.
- W4225361470 isRetracted "false" @default.
- W4225361470 workType "article" @default.