Matches in SemOpenAlex for { <https://semopenalex.org/work/W4301037832> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4301037832 abstract "Mobile ad hoc network is a wireless, self-configured, infrastructureless network of mobile nodes. The nodes are highly mobile, which makes the application running on them face network related problems like node failure, link failure, network level disconnection, scarcity of resources, buffer degradation, and intermittent disconnection etc. Node failure and Network fault are need to be monitored continuously by supervising the network status. Node monitoring protocol is crucial, so it is required to test the protocol exhaustively to verify and validate the functionality and accuracy of the designed protocol. This paper presents a validation model for Node Monitoring Protocol using Specification and Description Llanguage (SDL) using both Static Agent (SA) and Mobile Agent (MA). We have verified properties of the Node Monitoring Protocol (NMP) based on the global states with no exits, deadlock states or proper termination states using reachability graph. Message Sequence Chart (MSC) gives an intuitive understanding of the described system behavior with varying node density and complex behavior etc." @default.
- W4301037832 created "2022-10-04" @default.
- W4301037832 creator A5036307649 @default.
- W4301037832 creator A5041379485 @default.
- W4301037832 date "2015-08-31" @default.
- W4301037832 modified "2023-10-16" @default.
- W4301037832 title "SDL based validation of a node monitoring protocol" @default.
- W4301037832 doi "https://doi.org/10.48550/arxiv.1508.07724" @default.
- W4301037832 hasPublicationYear "2015" @default.
- W4301037832 type Work @default.
- W4301037832 citedByCount "0" @default.
- W4301037832 crossrefType "posted-content" @default.
- W4301037832 hasAuthorship W4301037832A5036307649 @default.
- W4301037832 hasAuthorship W4301037832A5041379485 @default.
- W4301037832 hasBestOaLocation W43010378321 @default.
- W4301037832 hasConcept C120314980 @default.
- W4301037832 hasConcept C127413603 @default.
- W4301037832 hasConcept C142724271 @default.
- W4301037832 hasConcept C158379750 @default.
- W4301037832 hasConcept C159023740 @default.
- W4301037832 hasConcept C204787440 @default.
- W4301037832 hasConcept C2780385302 @default.
- W4301037832 hasConcept C31258907 @default.
- W4301037832 hasConcept C41008148 @default.
- W4301037832 hasConcept C62611344 @default.
- W4301037832 hasConcept C66938386 @default.
- W4301037832 hasConcept C71924100 @default.
- W4301037832 hasConcept C79403827 @default.
- W4301037832 hasConcept C91280400 @default.
- W4301037832 hasConceptScore W4301037832C120314980 @default.
- W4301037832 hasConceptScore W4301037832C127413603 @default.
- W4301037832 hasConceptScore W4301037832C142724271 @default.
- W4301037832 hasConceptScore W4301037832C158379750 @default.
- W4301037832 hasConceptScore W4301037832C159023740 @default.
- W4301037832 hasConceptScore W4301037832C204787440 @default.
- W4301037832 hasConceptScore W4301037832C2780385302 @default.
- W4301037832 hasConceptScore W4301037832C31258907 @default.
- W4301037832 hasConceptScore W4301037832C41008148 @default.
- W4301037832 hasConceptScore W4301037832C62611344 @default.
- W4301037832 hasConceptScore W4301037832C66938386 @default.
- W4301037832 hasConceptScore W4301037832C71924100 @default.
- W4301037832 hasConceptScore W4301037832C79403827 @default.
- W4301037832 hasConceptScore W4301037832C91280400 @default.
- W4301037832 hasLocation W43010378321 @default.
- W4301037832 hasOpenAccess W4301037832 @default.
- W4301037832 hasPrimaryLocation W43010378321 @default.
- W4301037832 hasRelatedWork W1485627940 @default.
- W4301037832 hasRelatedWork W2015084277 @default.
- W4301037832 hasRelatedWork W2130966263 @default.
- W4301037832 hasRelatedWork W2137458166 @default.
- W4301037832 hasRelatedWork W2149439395 @default.
- W4301037832 hasRelatedWork W2155698199 @default.
- W4301037832 hasRelatedWork W2270308778 @default.
- W4301037832 hasRelatedWork W2953525470 @default.
- W4301037832 hasRelatedWork W3012615340 @default.
- W4301037832 hasRelatedWork W3049664077 @default.
- W4301037832 isParatext "false" @default.
- W4301037832 isRetracted "false" @default.
- W4301037832 workType "article" @default.