FRINK Linked Data Fragments server

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

• W2476543262 abstract "The point of Software-Defined Infrastructure is an infrastructure that is at once more flexible, controllable, and transparent to user and developer. One important characteristic of this infrastructure is that it is not owned or controlled by the user. At runtime, it is an opaque black box. Thus, it must have guaranteed properties of both performance and function. Infrastructure also has limited visibility and debuggability. It's hard to diagnose network problems, and it's hard to diagnose runtime issues on a remote system. Thus, programs which manipulate the infrastructure (e.g., orchestration systems, SDN applications, etc.) should have their infrastructure manipulations verified, to the extent that this is possible â?A ¸S we need to catch bugs statically to the extent that we can, performance and correctness both. Fortunately, infrastructure configurations ought to be inherently verifiable. Verification of state-free systems is in NP; verification of finite-state systems, at least for safety properties, is similarly in NP It has been shown by a number of authors that OpenFlow rulesets are state-free, and verification is therefore in NP. Similar arguments can be made for various orchestration layers and workflow engines, depending on precise semantics. These results imply that the underlying model of computation for configuration of software-defined networking and at least some elements of software-defined infrastructure are state-free or, at worst, finite-state, and therefore that verification of these systems is relatively tractable. It is, at the least, not undecidable. The large challenge before the community is then to design configuration models for software-defined infrastructure that preserve the precise and weak semantics of the implementation domain; offer appropriate abstractions of performance characteristics; and nonetheless retain usability and concision." @default.
• W2476543262 created "2016-08-23" @default.
• W2476543262 creator A5038757242 @default.
• W2476543262 date "2016-05-01" @default.
• W2476543262 modified "2023-09-27" @default.
• W2476543262 title "Declarative Verifiable SDI Specifications" @default.
• W2476543262 cites W121467848 @default.
• W2476543262 cites W1480875294 @default.
• W2476543262 cites W1819209966 @default.
• W2476543262 cites W1882012874 @default.
• W2476543262 cites W193675003 @default.
• W2476543262 cites W1972121713 @default.
• W2476543262 cites W1983833794 @default.
• W2476543262 cites W2021718794 @default.
• W2476543262 cites W2040775779 @default.
• W2476543262 cites W2043701535 @default.
• W2476543262 cites W2092201353 @default.
• W2476543262 cites W2098937115 @default.
• W2476543262 cites W2107724874 @default.
• W2476543262 cites W2115526539 @default.
• W2476543262 cites W2123548135 @default.
• W2476543262 cites W2127862840 @default.
• W2476543262 cites W2129666400 @default.
• W2476543262 cites W2136439543 @default.
• W2476543262 cites W2147118406 @default.
• W2476543262 cites W2149236835 @default.
• W2476543262 cites W2237372923 @default.
• W2476543262 cites W2469560967 @default.
• W2476543262 cites W2487548163 @default.
• W2476543262 cites W95959045 @default.
• W2476543262 cites W2141988289 @default.
• W2476543262 cites W2735195553 @default.
• W2476543262 doi "https://doi.org/10.1109/spw.2016.49" @default.
• W2476543262 hasPublicationYear "2016" @default.
• W2476543262 type Work @default.
• W2476543262 sameAs 2476543262 @default.
• W2476543262 citedByCount "0" @default.
• W2476543262 crossrefType "proceedings-article" @default.
• W2476543262 hasAuthorship W2476543262A5038757242 @default.
• W2476543262 hasConcept C111498074 @default.
• W2476543262 hasConcept C120314980 @default.
• W2476543262 hasConcept C142362112 @default.
• W2476543262 hasConcept C149091818 @default.
• W2476543262 hasConcept C153349607 @default.
• W2476543262 hasConcept C160145156 @default.
• W2476543262 hasConcept C167822520 @default.
• W2476543262 hasConcept C169590947 @default.
• W2476543262 hasConcept C177212765 @default.
• W2476543262 hasConcept C177264268 @default.
• W2476543262 hasConcept C186846655 @default.
• W2476543262 hasConcept C199168358 @default.
• W2476543262 hasConcept C199360897 @default.
• W2476543262 hasConcept C2777904410 @default.
• W2476543262 hasConcept C33054407 @default.
• W2476543262 hasConcept C41008148 @default.
• W2476543262 hasConcept C48103436 @default.
• W2476543262 hasConcept C55439883 @default.
• W2476543262 hasConcept C558565934 @default.
• W2476543262 hasConcept C77088390 @default.
• W2476543262 hasConcept C85847156 @default.
• W2476543262 hasConceptScore W2476543262C111498074 @default.
• W2476543262 hasConceptScore W2476543262C120314980 @default.
• W2476543262 hasConceptScore W2476543262C142362112 @default.
• W2476543262 hasConceptScore W2476543262C149091818 @default.
• W2476543262 hasConceptScore W2476543262C153349607 @default.
• W2476543262 hasConceptScore W2476543262C160145156 @default.
• W2476543262 hasConceptScore W2476543262C167822520 @default.
• W2476543262 hasConceptScore W2476543262C169590947 @default.
• W2476543262 hasConceptScore W2476543262C177212765 @default.
• W2476543262 hasConceptScore W2476543262C177264268 @default.
• W2476543262 hasConceptScore W2476543262C186846655 @default.
• W2476543262 hasConceptScore W2476543262C199168358 @default.
• W2476543262 hasConceptScore W2476543262C199360897 @default.
• W2476543262 hasConceptScore W2476543262C2777904410 @default.
• W2476543262 hasConceptScore W2476543262C33054407 @default.
• W2476543262 hasConceptScore W2476543262C41008148 @default.
• W2476543262 hasConceptScore W2476543262C48103436 @default.
• W2476543262 hasConceptScore W2476543262C55439883 @default.
• W2476543262 hasConceptScore W2476543262C558565934 @default.
• W2476543262 hasConceptScore W2476543262C77088390 @default.
• W2476543262 hasConceptScore W2476543262C85847156 @default.
• W2476543262 hasLocation W24765432621 @default.
• W2476543262 hasOpenAccess W2476543262 @default.
• W2476543262 hasPrimaryLocation W24765432621 @default.
• W2476543262 hasRelatedWork W139101146 @default.
• W2476543262 hasRelatedWork W1534106856 @default.
• W2476543262 hasRelatedWork W20328701 @default.
• W2476543262 hasRelatedWork W2217511707 @default.
• W2476543262 hasRelatedWork W2261225340 @default.
• W2476543262 hasRelatedWork W2521280855 @default.
• W2476543262 hasRelatedWork W2594389189 @default.
• W2476543262 hasRelatedWork W2776248742 @default.
• W2476543262 hasRelatedWork W2785797961 @default.
• W2476543262 hasRelatedWork W2808849587 @default.
• W2476543262 hasRelatedWork W2892818578 @default.
• W2476543262 hasRelatedWork W2903337687 @default.
• W2476543262 hasRelatedWork W2904162908 @default.
• W2476543262 hasRelatedWork W3045122454 @default.
• W2476543262 hasRelatedWork W3045559840 @default.
• W2476543262 hasRelatedWork W3098920235 @default.

• next