Matches in SemOpenAlex for { <https://semopenalex.org/work/W1992958726> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1992958726 endingPage "551" @default.
- W1992958726 startingPage "538" @default.
- W1992958726 abstract "Petri net modeling enables us to verify the protocol of interest formally. However, aside from formal verification, a new protocol really needs to be tested in a relatively realistic environment in which it interworks (or at least co-exists) with earlier or different versions of the same or similar protocols. Simulation excels in meeting such challenges. But the correctness of a protocol can never be proved by simulation alone. In this paper, we present an innovative methodology that combines the use of colored Petri nets and simulation (in ns-2) to obtain the advantages of deep formal verification with the broad spectrum testing of simulation. A new version of SACK TCP, α -min Paced SACK TCP, is used as the example protocol under test in our research. Our experimental results show that α -min Paced SACK TCP could reduce the number of packets queued at the bottleneck router significantly, decreasing the possibility of packet discard due to limited buffer space. Of course, the proposed methodology is a generic approach that can be used to study the performance of any new network protocol that is intended to run in an existing, complex network environment." @default.
- W1992958726 created "2016-06-24" @default.
- W1992958726 creator A5029371742 @default.
- W1992958726 creator A5033658029 @default.
- W1992958726 date "2011-02-01" @default.
- W1992958726 modified "2023-09-29" @default.
- W1992958726 title "Using simulation to test formally verified protocols in complex environments" @default.
- W1992958726 cites W1534850333 @default.
- W1992958726 cites W1549371619 @default.
- W1992958726 cites W1562236607 @default.
- W1992958726 cites W1589724738 @default.
- W1992958726 cites W1993375778 @default.
- W1992958726 cites W1996109622 @default.
- W1992958726 cites W2002089154 @default.
- W1992958726 cites W2009662776 @default.
- W1992958726 cites W2021512083 @default.
- W1992958726 cites W2029336252 @default.
- W1992958726 cites W2073111596 @default.
- W1992958726 cites W2098506891 @default.
- W1992958726 cites W2101548772 @default.
- W1992958726 cites W2153275071 @default.
- W1992958726 cites W2155660165 @default.
- W1992958726 cites W2163278739 @default.
- W1992958726 cites W3148137902 @default.
- W1992958726 cites W1501411805 @default.
- W1992958726 doi "https://doi.org/10.1016/j.mcm.2010.03.039" @default.
- W1992958726 hasPublicationYear "2011" @default.
- W1992958726 type Work @default.
- W1992958726 sameAs 1992958726 @default.
- W1992958726 citedByCount "0" @default.
- W1992958726 crossrefType "journal-article" @default.
- W1992958726 hasAuthorship W1992958726A5029371742 @default.
- W1992958726 hasAuthorship W1992958726A5033658029 @default.
- W1992958726 hasBestOaLocation W19929587261 @default.
- W1992958726 hasConcept C11413529 @default.
- W1992958726 hasConcept C120314980 @default.
- W1992958726 hasConcept C142724271 @default.
- W1992958726 hasConcept C149635348 @default.
- W1992958726 hasConcept C158379750 @default.
- W1992958726 hasConcept C204787440 @default.
- W1992958726 hasConcept C2780385302 @default.
- W1992958726 hasConcept C2780513914 @default.
- W1992958726 hasConcept C2781338159 @default.
- W1992958726 hasConcept C31258907 @default.
- W1992958726 hasConcept C33588617 @default.
- W1992958726 hasConcept C41008148 @default.
- W1992958726 hasConcept C55439883 @default.
- W1992958726 hasConcept C6557445 @default.
- W1992958726 hasConcept C71924100 @default.
- W1992958726 hasConcept C86803240 @default.
- W1992958726 hasConceptScore W1992958726C11413529 @default.
- W1992958726 hasConceptScore W1992958726C120314980 @default.
- W1992958726 hasConceptScore W1992958726C142724271 @default.
- W1992958726 hasConceptScore W1992958726C149635348 @default.
- W1992958726 hasConceptScore W1992958726C158379750 @default.
- W1992958726 hasConceptScore W1992958726C204787440 @default.
- W1992958726 hasConceptScore W1992958726C2780385302 @default.
- W1992958726 hasConceptScore W1992958726C2780513914 @default.
- W1992958726 hasConceptScore W1992958726C2781338159 @default.
- W1992958726 hasConceptScore W1992958726C31258907 @default.
- W1992958726 hasConceptScore W1992958726C33588617 @default.
- W1992958726 hasConceptScore W1992958726C41008148 @default.
- W1992958726 hasConceptScore W1992958726C55439883 @default.
- W1992958726 hasConceptScore W1992958726C6557445 @default.
- W1992958726 hasConceptScore W1992958726C71924100 @default.
- W1992958726 hasConceptScore W1992958726C86803240 @default.
- W1992958726 hasIssue "3-4" @default.
- W1992958726 hasLocation W19929587261 @default.
- W1992958726 hasOpenAccess W1992958726 @default.
- W1992958726 hasPrimaryLocation W19929587261 @default.
- W1992958726 hasRelatedWork W1516169988 @default.
- W1992958726 hasRelatedWork W1597592026 @default.
- W1992958726 hasRelatedWork W1998323989 @default.
- W1992958726 hasRelatedWork W2024218563 @default.
- W1992958726 hasRelatedWork W2124870959 @default.
- W1992958726 hasRelatedWork W2170821048 @default.
- W1992958726 hasRelatedWork W3091728393 @default.
- W1992958726 hasRelatedWork W4243553186 @default.
- W1992958726 hasRelatedWork W94000989 @default.
- W1992958726 hasRelatedWork W2516240846 @default.
- W1992958726 hasVolume "53" @default.
- W1992958726 isParatext "false" @default.
- W1992958726 isRetracted "false" @default.
- W1992958726 magId "1992958726" @default.
- W1992958726 workType "article" @default.