Matches in SemOpenAlex for { <https://semopenalex.org/work/W1553079932> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1553079932 endingPage "13" @default.
- W1553079932 startingPage "1" @default.
- W1553079932 abstract "Parameterized bisimulation provides an abstract description of software correctness. In real world situations, however, many software products are approximately correct. To characterize the approximate correctness, we generalize the parameterized bisimulation to numerical version and probabilistic setting. First, we propose the definition of the parameterized bisimulation index that expresses the degree to which a binary relation is parameterized bisimulation. Then,<mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML id=M1><mml:mrow><mml:mi>λ</mml:mi></mml:mrow></mml:math>-parameterized bisimulation over environment<mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML id=M2><mml:mrow><mml:mi>e</mml:mi></mml:mrow></mml:math>and its substitutivity laws are presented. Finally,<mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML id=M3><mml:mrow><mml:mi>λ</mml:mi></mml:mrow></mml:math>-parameterized probabilistic bisimulation is established to describe complicated software products with probabilistic phenomena." @default.
- W1553079932 created "2016-06-24" @default.
- W1553079932 creator A5055473786 @default.
- W1553079932 date "2015-01-01" @default.
- W1553079932 modified "2023-10-15" @default.
- W1553079932 title "Quantitative Analysis of Software Approximate Correctness" @default.
- W1553079932 cites W1568513899 @default.
- W1553079932 cites W1976268573 @default.
- W1553079932 cites W1980535239 @default.
- W1553079932 cites W2001748564 @default.
- W1553079932 cites W2011979623 @default.
- W1553079932 cites W2012095234 @default.
- W1553079932 cites W2013399198 @default.
- W1553079932 cites W2043907610 @default.
- W1553079932 cites W2085568542 @default.
- W1553079932 cites W2088189255 @default.
- W1553079932 cites W2092092493 @default.
- W1553079932 cites W2092216144 @default.
- W1553079932 cites W2107620109 @default.
- W1553079932 cites W2122994575 @default.
- W1553079932 cites W2135115058 @default.
- W1553079932 cites W2135657750 @default.
- W1553079932 cites W291120829 @default.
- W1553079932 cites W2912462169 @default.
- W1553079932 cites W3022137235 @default.
- W1553079932 cites W80515974 @default.
- W1553079932 doi "https://doi.org/10.1155/2015/173012" @default.
- W1553079932 hasPublicationYear "2015" @default.
- W1553079932 type Work @default.
- W1553079932 sameAs 1553079932 @default.
- W1553079932 citedByCount "0" @default.
- W1553079932 crossrefType "journal-article" @default.
- W1553079932 hasAuthorship W1553079932A5055473786 @default.
- W1553079932 hasBestOaLocation W15530799321 @default.
- W1553079932 hasConcept C11413529 @default.
- W1553079932 hasConcept C135315306 @default.
- W1553079932 hasConcept C154945302 @default.
- W1553079932 hasConcept C165464430 @default.
- W1553079932 hasConcept C199360897 @default.
- W1553079932 hasConcept C2777904410 @default.
- W1553079932 hasConcept C41008148 @default.
- W1553079932 hasConcept C49937458 @default.
- W1553079932 hasConcept C55439883 @default.
- W1553079932 hasConcept C80444323 @default.
- W1553079932 hasConceptScore W1553079932C11413529 @default.
- W1553079932 hasConceptScore W1553079932C135315306 @default.
- W1553079932 hasConceptScore W1553079932C154945302 @default.
- W1553079932 hasConceptScore W1553079932C165464430 @default.
- W1553079932 hasConceptScore W1553079932C199360897 @default.
- W1553079932 hasConceptScore W1553079932C2777904410 @default.
- W1553079932 hasConceptScore W1553079932C41008148 @default.
- W1553079932 hasConceptScore W1553079932C49937458 @default.
- W1553079932 hasConceptScore W1553079932C55439883 @default.
- W1553079932 hasConceptScore W1553079932C80444323 @default.
- W1553079932 hasFunder F4320321001 @default.
- W1553079932 hasLocation W15530799321 @default.
- W1553079932 hasLocation W15530799322 @default.
- W1553079932 hasOpenAccess W1553079932 @default.
- W1553079932 hasPrimaryLocation W15530799321 @default.
- W1553079932 hasRelatedWork W1553079932 @default.
- W1553079932 hasRelatedWork W2031441199 @default.
- W1553079932 hasRelatedWork W2078031357 @default.
- W1553079932 hasRelatedWork W2107399212 @default.
- W1553079932 hasRelatedWork W2125656483 @default.
- W1553079932 hasRelatedWork W2155105871 @default.
- W1553079932 hasRelatedWork W2326316958 @default.
- W1553079932 hasRelatedWork W2959774828 @default.
- W1553079932 hasRelatedWork W3096633875 @default.
- W1553079932 hasRelatedWork W2285915279 @default.
- W1553079932 hasVolume "2015" @default.
- W1553079932 isParatext "false" @default.
- W1553079932 isRetracted "false" @default.
- W1553079932 magId "1553079932" @default.
- W1553079932 workType "article" @default.