FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155161269> ?p ?o ?g. }

• W2155161269 endingPage "175" @default.
• W2155161269 startingPage "175" @default.
• W2155161269 abstract "Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of communication, and analyzing both correctness and performance. In this paper, we propose using Real-Time Maude to formally model, simulate, and further analyze such algorithms. The Real-Time Maude formalism is expressive yet intuitive, and the tool provides a spectrum of analysis methods, including simulation, reachability analysis, and temporal logic model checking. We have used Real-Time Maude to formally model and analyze the sophisticated OGDC algorithm. We could perform all the analyses performed by the OGDC developers using the simulation tool ns-2, as well as further analyses which are beyond the capabilities of simulation tools. To the best of our knowledge, this is the first time a formal tool has been applied to such a complex wireless sensor network algorithm." @default.
• W2155161269 created "2016-06-24" @default.
• W2155161269 creator A5062516055 @default.
• W2155161269 creator A5078403066 @default.
• W2155161269 date "2006-04-25" @default.
• W2155161269 modified "2023-09-30" @default.
• W2155161269 title "Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude" @default.
• W2155161269 cites W1541256735 @default.
• W2155161269 cites W1575698838 @default.
• W2155161269 cites W1582964729 @default.
• W2155161269 cites W1678943029 @default.
• W2155161269 cites W1962072139 @default.
• W2155161269 cites W1979754763 @default.
• W2155161269 cites W2006340882 @default.
• W2155161269 cites W2011886298 @default.
• W2155161269 cites W2015688007 @default.
• W2155161269 cites W2015952112 @default.
• W2155161269 cites W2019810307 @default.
• W2155161269 cites W2056441173 @default.
• W2155161269 cites W2060095702 @default.
• W2155161269 cites W2098979034 @default.
• W2155161269 cites W2106265536 @default.
• W2155161269 cites W2128127992 @default.
• W2155161269 cites W2135439762 @default.
• W2155161269 cites W2148520774 @default.
• W2155161269 cites W2162338299 @default.
• W2155161269 cites W2187686559 @default.
• W2155161269 cites W2170425942 @default.
• W2155161269 doi "https://doi.org/10.5555/1898953.1899110" @default.
• W2155161269 hasPublicationYear "2006" @default.
• W2155161269 type Work @default.
• W2155161269 sameAs 2155161269 @default.
• W2155161269 citedByCount "13" @default.
• W2155161269 countsByYear W21551612692012 @default.
• W2155161269 countsByYear W21551612692013 @default.
• W2155161269 countsByYear W21551612692014 @default.
• W2155161269 crossrefType "proceedings-article" @default.
• W2155161269 hasAuthorship W2155161269A5062516055 @default.
• W2155161269 hasAuthorship W2155161269A5078403066 @default.
• W2155161269 hasConcept C110251889 @default.
• W2155161269 hasConcept C111498074 @default.
• W2155161269 hasConcept C11413529 @default.
• W2155161269 hasConcept C120314980 @default.
• W2155161269 hasConcept C136643341 @default.
• W2155161269 hasConcept C142362112 @default.
• W2155161269 hasConcept C153349607 @default.
• W2155161269 hasConcept C154945302 @default.
• W2155161269 hasConcept C24590314 @default.
• W2155161269 hasConcept C25016198 @default.
• W2155161269 hasConcept C31258907 @default.
• W2155161269 hasConcept C41008148 @default.
• W2155161269 hasConcept C49937458 @default.
• W2155161269 hasConcept C55439883 @default.
• W2155161269 hasConcept C555944384 @default.
• W2155161269 hasConcept C558565934 @default.
• W2155161269 hasConcept C73301696 @default.
• W2155161269 hasConcept C76155785 @default.
• W2155161269 hasConcept C80444323 @default.
• W2155161269 hasConceptScore W2155161269C110251889 @default.
• W2155161269 hasConceptScore W2155161269C111498074 @default.
• W2155161269 hasConceptScore W2155161269C11413529 @default.
• W2155161269 hasConceptScore W2155161269C120314980 @default.
• W2155161269 hasConceptScore W2155161269C136643341 @default.
• W2155161269 hasConceptScore W2155161269C142362112 @default.
• W2155161269 hasConceptScore W2155161269C153349607 @default.
• W2155161269 hasConceptScore W2155161269C154945302 @default.
• W2155161269 hasConceptScore W2155161269C24590314 @default.
• W2155161269 hasConceptScore W2155161269C25016198 @default.
• W2155161269 hasConceptScore W2155161269C31258907 @default.
• W2155161269 hasConceptScore W2155161269C41008148 @default.
• W2155161269 hasConceptScore W2155161269C49937458 @default.
• W2155161269 hasConceptScore W2155161269C55439883 @default.
• W2155161269 hasConceptScore W2155161269C555944384 @default.
• W2155161269 hasConceptScore W2155161269C558565934 @default.
• W2155161269 hasConceptScore W2155161269C73301696 @default.
• W2155161269 hasConceptScore W2155161269C76155785 @default.
• W2155161269 hasConceptScore W2155161269C80444323 @default.
• W2155161269 hasLocation W21551612691 @default.
• W2155161269 hasOpenAccess W2155161269 @default.
• W2155161269 hasPrimaryLocation W21551612691 @default.
• W2155161269 hasRelatedWork W1541256735 @default.
• W2155161269 hasRelatedWork W1575698838 @default.
• W2155161269 hasRelatedWork W1678943029 @default.
• W2155161269 hasRelatedWork W1962072139 @default.
• W2155161269 hasRelatedWork W1976195354 @default.
• W2155161269 hasRelatedWork W1979754763 @default.
• W2155161269 hasRelatedWork W2000947342 @default.
• W2155161269 hasRelatedWork W2001487918 @default.
• W2155161269 hasRelatedWork W2006340882 @default.
• W2155161269 hasRelatedWork W2011886298 @default.
• W2155161269 hasRelatedWork W2098979034 @default.
• W2155161269 hasRelatedWork W2106265536 @default.
• W2155161269 hasRelatedWork W2106812189 @default.
• W2155161269 hasRelatedWork W2108343033 @default.
• W2155161269 hasRelatedWork W2115309705 @default.
• W2155161269 hasRelatedWork W2134287022 @default.
• W2155161269 hasRelatedWork W2135439762 @default.
• W2155161269 hasRelatedWork W2140094053 @default.

• next