Matches in SemOpenAlex for { <https://semopenalex.org/work/W2134686989> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2134686989 endingPage "16" @default.
- W2134686989 startingPage "2" @default.
- W2134686989 abstract "We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEPA model in order to remove uses of the cooperation and hiding operators and compile an arbitrary sub-model into a single sequential component. This transformation is applied to PEPA models which are not in the correct form for the application of the fluid-flow analysis for PEPA [2]. The result of the transformation is a PEPA model which is amenable to fluid-flow analysis but which is strongly equivalent [1] to the input PEPA model and so, by an application of Hillston’s theorem, performance results computed from one model are valid for the other. We apply the method to a Markovian model of a key distribution centre used to facilitate secure distribution of cryptographic session keys between remote principals communicating over an insecure network.KeywordsStochastic SimulationPartial EvaluationPeak ErrorInsecure NetworkPEPA ModelThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W2134686989 created "2016-06-24" @default.
- W2134686989 creator A5000114432 @default.
- W2134686989 creator A5037431084 @default.
- W2134686989 creator A5046726128 @default.
- W2134686989 creator A5062570346 @default.
- W2134686989 date "2008-01-01" @default.
- W2134686989 modified "2023-10-16" @default.
- W2134686989 title "Partial Evaluation of PEPA Models for Fluid-Flow Analysis" @default.
- W2134686989 cites W1789075405 @default.
- W2134686989 cites W2010939995 @default.
- W2134686989 cites W2097218887 @default.
- W2134686989 cites W2111390218 @default.
- W2134686989 cites W2114337911 @default.
- W2134686989 cites W2128953183 @default.
- W2134686989 cites W2146973388 @default.
- W2134686989 cites W2169908972 @default.
- W2134686989 cites W4206542816 @default.
- W2134686989 cites W4243589874 @default.
- W2134686989 doi "https://doi.org/10.1007/978-3-540-87412-6_2" @default.
- W2134686989 hasPublicationYear "2008" @default.
- W2134686989 type Work @default.
- W2134686989 sameAs 2134686989 @default.
- W2134686989 citedByCount "10" @default.
- W2134686989 countsByYear W21346869892012 @default.
- W2134686989 countsByYear W21346869892013 @default.
- W2134686989 countsByYear W21346869892014 @default.
- W2134686989 crossrefType "book-chapter" @default.
- W2134686989 hasAuthorship W2134686989A5000114432 @default.
- W2134686989 hasAuthorship W2134686989A5037431084 @default.
- W2134686989 hasAuthorship W2134686989A5046726128 @default.
- W2134686989 hasAuthorship W2134686989A5062570346 @default.
- W2134686989 hasConcept C104317684 @default.
- W2134686989 hasConcept C11413529 @default.
- W2134686989 hasConcept C120314980 @default.
- W2134686989 hasConcept C154945302 @default.
- W2134686989 hasConcept C161771561 @default.
- W2134686989 hasConcept C178489894 @default.
- W2134686989 hasConcept C185592680 @default.
- W2134686989 hasConcept C204241405 @default.
- W2134686989 hasConcept C2524010 @default.
- W2134686989 hasConcept C2776436953 @default.
- W2134686989 hasConcept C2779791154 @default.
- W2134686989 hasConcept C33923547 @default.
- W2134686989 hasConcept C38349280 @default.
- W2134686989 hasConcept C41008148 @default.
- W2134686989 hasConcept C55493867 @default.
- W2134686989 hasConcept C80444323 @default.
- W2134686989 hasConceptScore W2134686989C104317684 @default.
- W2134686989 hasConceptScore W2134686989C11413529 @default.
- W2134686989 hasConceptScore W2134686989C120314980 @default.
- W2134686989 hasConceptScore W2134686989C154945302 @default.
- W2134686989 hasConceptScore W2134686989C161771561 @default.
- W2134686989 hasConceptScore W2134686989C178489894 @default.
- W2134686989 hasConceptScore W2134686989C185592680 @default.
- W2134686989 hasConceptScore W2134686989C204241405 @default.
- W2134686989 hasConceptScore W2134686989C2524010 @default.
- W2134686989 hasConceptScore W2134686989C2776436953 @default.
- W2134686989 hasConceptScore W2134686989C2779791154 @default.
- W2134686989 hasConceptScore W2134686989C33923547 @default.
- W2134686989 hasConceptScore W2134686989C38349280 @default.
- W2134686989 hasConceptScore W2134686989C41008148 @default.
- W2134686989 hasConceptScore W2134686989C55493867 @default.
- W2134686989 hasConceptScore W2134686989C80444323 @default.
- W2134686989 hasLocation W21346869891 @default.
- W2134686989 hasOpenAccess W2134686989 @default.
- W2134686989 hasPrimaryLocation W21346869891 @default.
- W2134686989 hasRelatedWork W1543782959 @default.
- W2134686989 hasRelatedWork W1579759137 @default.
- W2134686989 hasRelatedWork W1605273124 @default.
- W2134686989 hasRelatedWork W1971318400 @default.
- W2134686989 hasRelatedWork W2040238210 @default.
- W2134686989 hasRelatedWork W2062952062 @default.
- W2134686989 hasRelatedWork W2185674212 @default.
- W2134686989 hasRelatedWork W2293146630 @default.
- W2134686989 hasRelatedWork W3039717730 @default.
- W2134686989 hasRelatedWork W2291582517 @default.
- W2134686989 isParatext "false" @default.
- W2134686989 isRetracted "false" @default.
- W2134686989 magId "2134686989" @default.
- W2134686989 workType "book-chapter" @default.