Matches in SemOpenAlex for { <https://semopenalex.org/work/W1486320812> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1486320812 abstract "In previous work, we have designed a tracking protocol, Stalk , for wireless sensor networks and proved it to be self-stabilizing at the pseudo-code (I/O automata) level. However, it is very challenging to achieve and verify self-stabilization of the same protocol at the implementation (TinyOS) level due to the size of the corresponding program at the implementation level. In this paper, we present a lightweight and practical method for specification-based design of stabilization and illustrate this method on the Stalk protocol as our case study." @default.
- W1486320812 created "2016-06-24" @default.
- W1486320812 creator A5058749843 @default.
- W1486320812 creator A5079903777 @default.
- W1486320812 date "2008-01-01" @default.
- W1486320812 modified "2023-09-25" @default.
- W1486320812 title "An Application of Specification-Based Design of Self-stabilization to Tracking in Wireless Sensor Networks" @default.
- W1486320812 cites W1511110335 @default.
- W1486320812 cites W1520408295 @default.
- W1486320812 cites W1531062132 @default.
- W1486320812 cites W1535573376 @default.
- W1486320812 cites W1599359157 @default.
- W1486320812 cites W1761393580 @default.
- W1486320812 cites W1996431954 @default.
- W1486320812 cites W2158395308 @default.
- W1486320812 cites W2158867151 @default.
- W1486320812 cites W2294004164 @default.
- W1486320812 cites W2294415147 @default.
- W1486320812 cites W2295160480 @default.
- W1486320812 cites W2295747887 @default.
- W1486320812 cites W3004594580 @default.
- W1486320812 cites W3137092842 @default.
- W1486320812 cites W4210597212 @default.
- W1486320812 cites W4254970788 @default.
- W1486320812 doi "https://doi.org/10.1007/978-3-540-89335-6_17" @default.
- W1486320812 hasPublicationYear "2008" @default.
- W1486320812 type Work @default.
- W1486320812 sameAs 1486320812 @default.
- W1486320812 citedByCount "0" @default.
- W1486320812 crossrefType "book-chapter" @default.
- W1486320812 hasAuthorship W1486320812A5058749843 @default.
- W1486320812 hasAuthorship W1486320812A5079903777 @default.
- W1486320812 hasBestOaLocation W14863208122 @default.
- W1486320812 hasConcept C111919701 @default.
- W1486320812 hasConcept C112505250 @default.
- W1486320812 hasConcept C120314980 @default.
- W1486320812 hasConcept C142724271 @default.
- W1486320812 hasConcept C149635348 @default.
- W1486320812 hasConcept C15744967 @default.
- W1486320812 hasConcept C177264268 @default.
- W1486320812 hasConcept C19417346 @default.
- W1486320812 hasConcept C199360897 @default.
- W1486320812 hasConcept C204787440 @default.
- W1486320812 hasConcept C24590314 @default.
- W1486320812 hasConcept C2775936607 @default.
- W1486320812 hasConcept C2776760102 @default.
- W1486320812 hasConcept C2780385302 @default.
- W1486320812 hasConcept C31258907 @default.
- W1486320812 hasConcept C41008148 @default.
- W1486320812 hasConcept C555944384 @default.
- W1486320812 hasConcept C71924100 @default.
- W1486320812 hasConcept C79403827 @default.
- W1486320812 hasConcept C80444323 @default.
- W1486320812 hasConceptScore W1486320812C111919701 @default.
- W1486320812 hasConceptScore W1486320812C112505250 @default.
- W1486320812 hasConceptScore W1486320812C120314980 @default.
- W1486320812 hasConceptScore W1486320812C142724271 @default.
- W1486320812 hasConceptScore W1486320812C149635348 @default.
- W1486320812 hasConceptScore W1486320812C15744967 @default.
- W1486320812 hasConceptScore W1486320812C177264268 @default.
- W1486320812 hasConceptScore W1486320812C19417346 @default.
- W1486320812 hasConceptScore W1486320812C199360897 @default.
- W1486320812 hasConceptScore W1486320812C204787440 @default.
- W1486320812 hasConceptScore W1486320812C24590314 @default.
- W1486320812 hasConceptScore W1486320812C2775936607 @default.
- W1486320812 hasConceptScore W1486320812C2776760102 @default.
- W1486320812 hasConceptScore W1486320812C2780385302 @default.
- W1486320812 hasConceptScore W1486320812C31258907 @default.
- W1486320812 hasConceptScore W1486320812C41008148 @default.
- W1486320812 hasConceptScore W1486320812C555944384 @default.
- W1486320812 hasConceptScore W1486320812C71924100 @default.
- W1486320812 hasConceptScore W1486320812C79403827 @default.
- W1486320812 hasConceptScore W1486320812C80444323 @default.
- W1486320812 hasLocation W14863208121 @default.
- W1486320812 hasLocation W14863208122 @default.
- W1486320812 hasOpenAccess W1486320812 @default.
- W1486320812 hasPrimaryLocation W14863208121 @default.
- W1486320812 hasRelatedWork W1492328890 @default.
- W1486320812 hasRelatedWork W1570872215 @default.
- W1486320812 hasRelatedWork W1963593375 @default.
- W1486320812 hasRelatedWork W2124749671 @default.
- W1486320812 hasRelatedWork W2204405235 @default.
- W1486320812 hasRelatedWork W2240983216 @default.
- W1486320812 hasRelatedWork W2317712185 @default.
- W1486320812 hasRelatedWork W2541909797 @default.
- W1486320812 hasRelatedWork W2560799597 @default.
- W1486320812 hasRelatedWork W2610784363 @default.
- W1486320812 isParatext "false" @default.
- W1486320812 isRetracted "false" @default.
- W1486320812 magId "1486320812" @default.
- W1486320812 workType "book-chapter" @default.