Matches in SemOpenAlex for { <https://semopenalex.org/work/W2759507096> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2759507096 abstract "Networks protocols are the heart of communication networks. An efficient network protocol does maximum utilization of the underlying network capabilities. Network Protocol synthesis is the process of synthesizing or deriving network specific protocols from the requirements of a given specific network. In this report, we present a step-by-step approach for the automated synthesis of network protocols from the network specifications. Using SMT solvers to automate the protocol generation is the key idea behind the presented synthesis approach. The protocols generated using this approach followed the most optimal way of data transmission for the given network requirements." @default.
- W2759507096 created "2017-10-06" @default.
- W2759507096 creator A5072787717 @default.
- W2759507096 creator A5073949229 @default.
- W2759507096 date "2017-09-19" @default.
- W2759507096 modified "2023-09-27" @default.
- W2759507096 title "Derivation of Network Reprogramming Protocol with Z3." @default.
- W2759507096 cites W1571997754 @default.
- W2759507096 cites W1601081492 @default.
- W2759507096 cites W1787995280 @default.
- W2759507096 cites W2033409246 @default.
- W2759507096 cites W2051375792 @default.
- W2759507096 cites W2058701138 @default.
- W2759507096 cites W2080979018 @default.
- W2759507096 cites W2099574482 @default.
- W2759507096 cites W2124651399 @default.
- W2759507096 cites W2128982490 @default.
- W2759507096 cites W2157457404 @default.
- W2759507096 cites W2162685648 @default.
- W2759507096 cites W2188073520 @default.
- W2759507096 cites W2468070113 @default.
- W2759507096 cites W89211096 @default.
- W2759507096 hasPublicationYear "2017" @default.
- W2759507096 type Work @default.
- W2759507096 sameAs 2759507096 @default.
- W2759507096 citedByCount "0" @default.
- W2759507096 crossrefType "posted-content" @default.
- W2759507096 hasAuthorship W2759507096A5072787717 @default.
- W2759507096 hasAuthorship W2759507096A5073949229 @default.
- W2759507096 hasConcept C120314980 @default.
- W2759507096 hasConcept C12269588 @default.
- W2759507096 hasConcept C139940560 @default.
- W2759507096 hasConcept C142724271 @default.
- W2759507096 hasConcept C16986412 @default.
- W2759507096 hasConcept C193415008 @default.
- W2759507096 hasConcept C199360897 @default.
- W2759507096 hasConcept C204787440 @default.
- W2759507096 hasConcept C26517878 @default.
- W2759507096 hasConcept C2780385302 @default.
- W2759507096 hasConcept C31258907 @default.
- W2759507096 hasConcept C38652104 @default.
- W2759507096 hasConcept C41008148 @default.
- W2759507096 hasConcept C71924100 @default.
- W2759507096 hasConcept C98045186 @default.
- W2759507096 hasConceptScore W2759507096C120314980 @default.
- W2759507096 hasConceptScore W2759507096C12269588 @default.
- W2759507096 hasConceptScore W2759507096C139940560 @default.
- W2759507096 hasConceptScore W2759507096C142724271 @default.
- W2759507096 hasConceptScore W2759507096C16986412 @default.
- W2759507096 hasConceptScore W2759507096C193415008 @default.
- W2759507096 hasConceptScore W2759507096C199360897 @default.
- W2759507096 hasConceptScore W2759507096C204787440 @default.
- W2759507096 hasConceptScore W2759507096C26517878 @default.
- W2759507096 hasConceptScore W2759507096C2780385302 @default.
- W2759507096 hasConceptScore W2759507096C31258907 @default.
- W2759507096 hasConceptScore W2759507096C38652104 @default.
- W2759507096 hasConceptScore W2759507096C41008148 @default.
- W2759507096 hasConceptScore W2759507096C71924100 @default.
- W2759507096 hasConceptScore W2759507096C98045186 @default.
- W2759507096 hasLocation W27595070961 @default.
- W2759507096 hasOpenAccess W2759507096 @default.
- W2759507096 hasPrimaryLocation W27595070961 @default.
- W2759507096 hasRelatedWork W1581842094 @default.
- W2759507096 hasRelatedWork W1597757236 @default.
- W2759507096 hasRelatedWork W1966491770 @default.
- W2759507096 hasRelatedWork W1984814987 @default.
- W2759507096 hasRelatedWork W2066041704 @default.
- W2759507096 hasRelatedWork W2077791406 @default.
- W2759507096 hasRelatedWork W2085954083 @default.
- W2759507096 hasRelatedWork W2097925624 @default.
- W2759507096 hasRelatedWork W2122974553 @default.
- W2759507096 hasRelatedWork W2139586936 @default.
- W2759507096 hasRelatedWork W2143678116 @default.
- W2759507096 hasRelatedWork W2144988547 @default.
- W2759507096 hasRelatedWork W2147078387 @default.
- W2759507096 hasRelatedWork W2166269754 @default.
- W2759507096 hasRelatedWork W2172141007 @default.
- W2759507096 hasRelatedWork W2492825885 @default.
- W2759507096 hasRelatedWork W2765092807 @default.
- W2759507096 hasRelatedWork W2870149203 @default.
- W2759507096 hasRelatedWork W2610016940 @default.
- W2759507096 hasRelatedWork W2880085991 @default.
- W2759507096 isParatext "false" @default.
- W2759507096 isRetracted "false" @default.
- W2759507096 magId "2759507096" @default.
- W2759507096 workType "article" @default.