Matches in SemOpenAlex for { <https://semopenalex.org/work/W2002301923> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2002301923 abstract "Adopting two independent models for functional verification and performance analysis respectively could not guarantee the performance models satisfying the functionality correctness. In this paper, a colored Petri nets (CP-nets) based method is proposed to integrate functional verification and performance analysis for network protocols. Firstly, a CP-nets based function model for the protocol is constructed and validated. Then, performance related temporal constrains are added into above model, and data monitor units are generated together to form a corresponding CP-nets based performance model. Finally, based on such performance model, simulation based performance evaluation is executed. Because such coessential CP-nets models are utilized where every occurrence sequence in the performance model corresponds to an occurrence sequence in the functional model, it is guaranteed that both models satisfy the functionality correctness requirements of that protocol. As a representative, an integrated analysis process of TRDP protocol is presented to illustrate the practical effectiveness of our proposed method." @default.
- W2002301923 created "2016-06-24" @default.
- W2002301923 creator A5044819516 @default.
- W2002301923 creator A5060020916 @default.
- W2002301923 creator A5078794661 @default.
- W2002301923 creator A5089723017 @default.
- W2002301923 creator A5090731696 @default.
- W2002301923 date "2010-06-01" @default.
- W2002301923 modified "2023-09-27" @default.
- W2002301923 title "Integrating functional verification and performance analysis for network protocols using CP-nets" @default.
- W2002301923 cites W2004359772 @default.
- W2002301923 cites W2123328759 @default.
- W2002301923 cites W2136755926 @default.
- W2002301923 cites W2142340571 @default.
- W2002301923 cites W2288500343 @default.
- W2002301923 doi "https://doi.org/10.1109/iscc.2010.5546714" @default.
- W2002301923 hasPublicationYear "2010" @default.
- W2002301923 type Work @default.
- W2002301923 sameAs 2002301923 @default.
- W2002301923 citedByCount "0" @default.
- W2002301923 crossrefType "proceedings-article" @default.
- W2002301923 hasAuthorship W2002301923A5044819516 @default.
- W2002301923 hasAuthorship W2002301923A5060020916 @default.
- W2002301923 hasAuthorship W2002301923A5078794661 @default.
- W2002301923 hasAuthorship W2002301923A5089723017 @default.
- W2002301923 hasAuthorship W2002301923A5090731696 @default.
- W2002301923 hasConcept C11413529 @default.
- W2002301923 hasConcept C120314980 @default.
- W2002301923 hasConcept C142724271 @default.
- W2002301923 hasConcept C199360897 @default.
- W2002301923 hasConcept C204787440 @default.
- W2002301923 hasConcept C2778112365 @default.
- W2002301923 hasConcept C2780385302 @default.
- W2002301923 hasConcept C38677869 @default.
- W2002301923 hasConcept C41008148 @default.
- W2002301923 hasConcept C54355233 @default.
- W2002301923 hasConcept C55439883 @default.
- W2002301923 hasConcept C71924100 @default.
- W2002301923 hasConcept C80444323 @default.
- W2002301923 hasConcept C86803240 @default.
- W2002301923 hasConcept C98045186 @default.
- W2002301923 hasConceptScore W2002301923C11413529 @default.
- W2002301923 hasConceptScore W2002301923C120314980 @default.
- W2002301923 hasConceptScore W2002301923C142724271 @default.
- W2002301923 hasConceptScore W2002301923C199360897 @default.
- W2002301923 hasConceptScore W2002301923C204787440 @default.
- W2002301923 hasConceptScore W2002301923C2778112365 @default.
- W2002301923 hasConceptScore W2002301923C2780385302 @default.
- W2002301923 hasConceptScore W2002301923C38677869 @default.
- W2002301923 hasConceptScore W2002301923C41008148 @default.
- W2002301923 hasConceptScore W2002301923C54355233 @default.
- W2002301923 hasConceptScore W2002301923C55439883 @default.
- W2002301923 hasConceptScore W2002301923C71924100 @default.
- W2002301923 hasConceptScore W2002301923C80444323 @default.
- W2002301923 hasConceptScore W2002301923C86803240 @default.
- W2002301923 hasConceptScore W2002301923C98045186 @default.
- W2002301923 hasLocation W20023019231 @default.
- W2002301923 hasOpenAccess W2002301923 @default.
- W2002301923 hasPrimaryLocation W20023019231 @default.
- W2002301923 hasRelatedWork W1516169988 @default.
- W2002301923 hasRelatedWork W2024218563 @default.
- W2002301923 hasRelatedWork W2024711394 @default.
- W2002301923 hasRelatedWork W2064946650 @default.
- W2002301923 hasRelatedWork W2350422380 @default.
- W2002301923 hasRelatedWork W2363791375 @default.
- W2002301923 hasRelatedWork W2368782494 @default.
- W2002301923 hasRelatedWork W3091728393 @default.
- W2002301923 hasRelatedWork W4243553186 @default.
- W2002301923 hasRelatedWork W75780404 @default.
- W2002301923 isParatext "false" @default.
- W2002301923 isRetracted "false" @default.
- W2002301923 magId "2002301923" @default.
- W2002301923 workType "article" @default.