Matches in SemOpenAlex for { <https://semopenalex.org/work/W1709826635> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1709826635 abstract "Active networks allow users to the network infrastructure, by injecting information that describes or controls a distributed algorithm to be executed for the user by the network infrastructure. The nature of the services that can be implemented with such a facility is determined by the programming interface to the active network, i.e. the set of abstractions it exposes to users. The complexity of this interface may range from a few simple parameters to a completely general programming language. We present a model that supports reasoning independently about the correctness of both the underlying active network platform and the algorithms injected into it, in a manner that admits the full range of possible programming interfaces. The model is described without relying on any particular formalism. The interaction between the underlying platform and the user injected program is captured in a specialized form of program composition that allows properties of each to be preserved. The use of the model is illustrated via an example dealing with mobility. For the example, we use the UNITY formalism to be more precise about the programs and properties that are preserved." @default.
- W1709826635 created "2016-06-24" @default.
- W1709826635 creator A5032170235 @default.
- W1709826635 creator A5046123988 @default.
- W1709826635 creator A5060479166 @default.
- W1709826635 date "2002-11-27" @default.
- W1709826635 modified "2023-09-30" @default.
- W1709826635 title "Reasoning about active network protocols" @default.
- W1709826635 cites W1857327297 @default.
- W1709826635 cites W2123477284 @default.
- W1709826635 cites W2143346868 @default.
- W1709826635 cites W2155814128 @default.
- W1709826635 doi "https://doi.org/10.1109/icnp.1998.723723" @default.
- W1709826635 hasPublicationYear "2002" @default.
- W1709826635 type Work @default.
- W1709826635 sameAs 1709826635 @default.
- W1709826635 citedByCount "8" @default.
- W1709826635 crossrefType "proceedings-article" @default.
- W1709826635 hasAuthorship W1709826635A5032170235 @default.
- W1709826635 hasAuthorship W1709826635A5046123988 @default.
- W1709826635 hasAuthorship W1709826635A5060479166 @default.
- W1709826635 hasBestOaLocation W17098266352 @default.
- W1709826635 hasConcept C102665078 @default.
- W1709826635 hasConcept C113041634 @default.
- W1709826635 hasConcept C120314980 @default.
- W1709826635 hasConcept C142362112 @default.
- W1709826635 hasConcept C153349607 @default.
- W1709826635 hasConcept C177264268 @default.
- W1709826635 hasConcept C182620335 @default.
- W1709826635 hasConcept C199360897 @default.
- W1709826635 hasConcept C31258907 @default.
- W1709826635 hasConcept C34165917 @default.
- W1709826635 hasConcept C41008148 @default.
- W1709826635 hasConcept C55439883 @default.
- W1709826635 hasConcept C558565934 @default.
- W1709826635 hasConcept C73301696 @default.
- W1709826635 hasConcept C80444323 @default.
- W1709826635 hasConcept C89505385 @default.
- W1709826635 hasConcept C99613125 @default.
- W1709826635 hasConceptScore W1709826635C102665078 @default.
- W1709826635 hasConceptScore W1709826635C113041634 @default.
- W1709826635 hasConceptScore W1709826635C120314980 @default.
- W1709826635 hasConceptScore W1709826635C142362112 @default.
- W1709826635 hasConceptScore W1709826635C153349607 @default.
- W1709826635 hasConceptScore W1709826635C177264268 @default.
- W1709826635 hasConceptScore W1709826635C182620335 @default.
- W1709826635 hasConceptScore W1709826635C199360897 @default.
- W1709826635 hasConceptScore W1709826635C31258907 @default.
- W1709826635 hasConceptScore W1709826635C34165917 @default.
- W1709826635 hasConceptScore W1709826635C41008148 @default.
- W1709826635 hasConceptScore W1709826635C55439883 @default.
- W1709826635 hasConceptScore W1709826635C558565934 @default.
- W1709826635 hasConceptScore W1709826635C73301696 @default.
- W1709826635 hasConceptScore W1709826635C80444323 @default.
- W1709826635 hasConceptScore W1709826635C89505385 @default.
- W1709826635 hasConceptScore W1709826635C99613125 @default.
- W1709826635 hasLocation W17098266351 @default.
- W1709826635 hasLocation W17098266352 @default.
- W1709826635 hasOpenAccess W1709826635 @default.
- W1709826635 hasPrimaryLocation W17098266351 @default.
- W1709826635 hasRelatedWork W1585424749 @default.
- W1709826635 hasRelatedWork W1703421111 @default.
- W1709826635 hasRelatedWork W1980551499 @default.
- W1709826635 hasRelatedWork W1988737431 @default.
- W1709826635 hasRelatedWork W2003171618 @default.
- W1709826635 hasRelatedWork W2035869769 @default.
- W1709826635 hasRelatedWork W2038929233 @default.
- W1709826635 hasRelatedWork W2085386050 @default.
- W1709826635 hasRelatedWork W2104019110 @default.
- W1709826635 hasRelatedWork W2113540887 @default.
- W1709826635 hasRelatedWork W2133840309 @default.
- W1709826635 hasRelatedWork W2146362229 @default.
- W1709826635 hasRelatedWork W2151203015 @default.
- W1709826635 hasRelatedWork W2172190772 @default.
- W1709826635 hasRelatedWork W2342420027 @default.
- W1709826635 hasRelatedWork W3013369561 @default.
- W1709826635 hasRelatedWork W34755257 @default.
- W1709826635 hasRelatedWork W1582777693 @default.
- W1709826635 hasRelatedWork W2114898490 @default.
- W1709826635 hasRelatedWork W2122514333 @default.
- W1709826635 isParatext "false" @default.
- W1709826635 isRetracted "false" @default.
- W1709826635 magId "1709826635" @default.
- W1709826635 workType "article" @default.