Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113881275> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2113881275 endingPage "359" @default.
- W2113881275 startingPage "346" @default.
- W2113881275 abstract "We describe an approach of using the evaluation mechanism of the specification and verification system PVSto support formal design exploration of WSN algorithms at the early stages of their development. The specification of the algorithm is expressed with an extensible set of programming primitives, and properties of interest are evaluated with ad hoc network simulators automatically generated from the formal specification. In particular, we build on the PVSiopackage as the core base for the network simulator. According to requirements, properties of interest can be simulated at different levels of abstraction. We illustrate our approach by specifying and simulating a standard routing algorithm for wireless sensor networks." @default.
- W2113881275 created "2016-06-24" @default.
- W2113881275 creator A5063933019 @default.
- W2113881275 creator A5065265267 @default.
- W2113881275 creator A5083678014 @default.
- W2113881275 date "2008-09-19" @default.
- W2113881275 modified "2023-09-25" @default.
- W2113881275 title "Early Prototyping of Wireless Sensor Network Algorithms in PVS" @default.
- W2113881275 cites W1971944553 @default.
- W2113881275 cites W2014187406 @default.
- W2113881275 cites W2056441173 @default.
- W2113881275 cites W2098808671 @default.
- W2113881275 cites W2100617218 @default.
- W2113881275 cites W2108706121 @default.
- W2113881275 cites W2110936068 @default.
- W2113881275 cites W2113486906 @default.
- W2113881275 cites W2128127992 @default.
- W2113881275 cites W2135439762 @default.
- W2113881275 cites W2147035977 @default.
- W2113881275 cites W2169124154 @default.
- W2113881275 cites W2169458211 @default.
- W2113881275 cites W2171427043 @default.
- W2113881275 cites W4231432895 @default.
- W2113881275 doi "https://doi.org/10.1007/978-3-540-87698-4_29" @default.
- W2113881275 hasPublicationYear "2008" @default.
- W2113881275 type Work @default.
- W2113881275 sameAs 2113881275 @default.
- W2113881275 citedByCount "16" @default.
- W2113881275 countsByYear W21138812752012 @default.
- W2113881275 countsByYear W21138812752013 @default.
- W2113881275 countsByYear W21138812752014 @default.
- W2113881275 countsByYear W21138812752015 @default.
- W2113881275 countsByYear W21138812752017 @default.
- W2113881275 countsByYear W21138812752018 @default.
- W2113881275 countsByYear W21138812752021 @default.
- W2113881275 crossrefType "book-chapter" @default.
- W2113881275 hasAuthorship W2113881275A5063933019 @default.
- W2113881275 hasAuthorship W2113881275A5065265267 @default.
- W2113881275 hasAuthorship W2113881275A5083678014 @default.
- W2113881275 hasConcept C108037233 @default.
- W2113881275 hasConcept C111472728 @default.
- W2113881275 hasConcept C111498074 @default.
- W2113881275 hasConcept C111919701 @default.
- W2113881275 hasConcept C11413529 @default.
- W2113881275 hasConcept C116253237 @default.
- W2113881275 hasConcept C120314980 @default.
- W2113881275 hasConcept C124304363 @default.
- W2113881275 hasConcept C138885662 @default.
- W2113881275 hasConcept C149635348 @default.
- W2113881275 hasConcept C177264268 @default.
- W2113881275 hasConcept C199360897 @default.
- W2113881275 hasConcept C24590314 @default.
- W2113881275 hasConcept C31258907 @default.
- W2113881275 hasConcept C32833848 @default.
- W2113881275 hasConcept C41008148 @default.
- W2113881275 hasConcept C555944384 @default.
- W2113881275 hasConcept C91280400 @default.
- W2113881275 hasConcept C94523657 @default.
- W2113881275 hasConceptScore W2113881275C108037233 @default.
- W2113881275 hasConceptScore W2113881275C111472728 @default.
- W2113881275 hasConceptScore W2113881275C111498074 @default.
- W2113881275 hasConceptScore W2113881275C111919701 @default.
- W2113881275 hasConceptScore W2113881275C11413529 @default.
- W2113881275 hasConceptScore W2113881275C116253237 @default.
- W2113881275 hasConceptScore W2113881275C120314980 @default.
- W2113881275 hasConceptScore W2113881275C124304363 @default.
- W2113881275 hasConceptScore W2113881275C138885662 @default.
- W2113881275 hasConceptScore W2113881275C149635348 @default.
- W2113881275 hasConceptScore W2113881275C177264268 @default.
- W2113881275 hasConceptScore W2113881275C199360897 @default.
- W2113881275 hasConceptScore W2113881275C24590314 @default.
- W2113881275 hasConceptScore W2113881275C31258907 @default.
- W2113881275 hasConceptScore W2113881275C32833848 @default.
- W2113881275 hasConceptScore W2113881275C41008148 @default.
- W2113881275 hasConceptScore W2113881275C555944384 @default.
- W2113881275 hasConceptScore W2113881275C91280400 @default.
- W2113881275 hasConceptScore W2113881275C94523657 @default.
- W2113881275 hasLocation W21138812751 @default.
- W2113881275 hasOpenAccess W2113881275 @default.
- W2113881275 hasPrimaryLocation W21138812751 @default.
- W2113881275 hasRelatedWork W122981225 @default.
- W2113881275 hasRelatedWork W1630534680 @default.
- W2113881275 hasRelatedWork W2020513309 @default.
- W2113881275 hasRelatedWork W2088326001 @default.
- W2113881275 hasRelatedWork W2114849205 @default.
- W2113881275 hasRelatedWork W2143608634 @default.
- W2113881275 hasRelatedWork W2156331672 @default.
- W2113881275 hasRelatedWork W2311857108 @default.
- W2113881275 hasRelatedWork W2602139996 @default.
- W2113881275 hasRelatedWork W2785477058 @default.
- W2113881275 isParatext "false" @default.
- W2113881275 isRetracted "false" @default.
- W2113881275 magId "2113881275" @default.
- W2113881275 workType "book-chapter" @default.