Matches in SemOpenAlex for { <https://semopenalex.org/work/W2140839771> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2140839771 endingPage "179" @default.
- W2140839771 startingPage "164" @default.
- W2140839771 abstract "Embedded networks for chip-to-chip networks are emerging as communication infrastructure in mobile devices. We present three novel embedded network protocols: a sliding window protocol, a protocol for opening and closing connections, and a bandwidth reservation protocol. The design of these protocols is tailored to the low power and low cost requirements of mobile devices. The model checker SPIN played an important role in the design and analysis of these protocols. Large instances of the protocols could be analyzed successfully using the distributed model checker DiVinE.KeywordsState SpaceMobile DeviceModel CheckTransmission Control ProtocolBandwidth AllocationThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W2140839771 created "2016-06-24" @default.
- W2140839771 creator A5022546654 @default.
- W2140839771 creator A5033443273 @default.
- W2140839771 creator A5055497304 @default.
- W2140839771 creator A5078610814 @default.
- W2140839771 date "2010-01-01" @default.
- W2140839771 modified "2023-09-27" @default.
- W2140839771 title "Embedded Network Protocols for Mobile Devices" @default.
- W2140839771 cites W1900874134 @default.
- W2140839771 cites W1980469422 @default.
- W2140839771 cites W2120538858 @default.
- W2140839771 cites W2139509279 @default.
- W2140839771 cites W2142137210 @default.
- W2140839771 cites W2170341009 @default.
- W2140839771 cites W2171480813 @default.
- W2140839771 cites W4234792749 @default.
- W2140839771 doi "https://doi.org/10.1007/978-3-642-15898-8_11" @default.
- W2140839771 hasPublicationYear "2010" @default.
- W2140839771 type Work @default.
- W2140839771 sameAs 2140839771 @default.
- W2140839771 citedByCount "0" @default.
- W2140839771 crossrefType "book-chapter" @default.
- W2140839771 hasAuthorship W2140839771A5022546654 @default.
- W2140839771 hasAuthorship W2140839771A5033443273 @default.
- W2140839771 hasAuthorship W2140839771A5055497304 @default.
- W2140839771 hasAuthorship W2140839771A5078610814 @default.
- W2140839771 hasBestOaLocation W21408397712 @default.
- W2140839771 hasConcept C110251889 @default.
- W2140839771 hasConcept C111919701 @default.
- W2140839771 hasConcept C120314980 @default.
- W2140839771 hasConcept C12269588 @default.
- W2140839771 hasConcept C142724271 @default.
- W2140839771 hasConcept C149635348 @default.
- W2140839771 hasConcept C186967261 @default.
- W2140839771 hasConcept C204787440 @default.
- W2140839771 hasConcept C2780385302 @default.
- W2140839771 hasConcept C31258907 @default.
- W2140839771 hasConcept C41008148 @default.
- W2140839771 hasConcept C71924100 @default.
- W2140839771 hasConcept C80444323 @default.
- W2140839771 hasConceptScore W2140839771C110251889 @default.
- W2140839771 hasConceptScore W2140839771C111919701 @default.
- W2140839771 hasConceptScore W2140839771C120314980 @default.
- W2140839771 hasConceptScore W2140839771C12269588 @default.
- W2140839771 hasConceptScore W2140839771C142724271 @default.
- W2140839771 hasConceptScore W2140839771C149635348 @default.
- W2140839771 hasConceptScore W2140839771C186967261 @default.
- W2140839771 hasConceptScore W2140839771C204787440 @default.
- W2140839771 hasConceptScore W2140839771C2780385302 @default.
- W2140839771 hasConceptScore W2140839771C31258907 @default.
- W2140839771 hasConceptScore W2140839771C41008148 @default.
- W2140839771 hasConceptScore W2140839771C71924100 @default.
- W2140839771 hasConceptScore W2140839771C80444323 @default.
- W2140839771 hasLocation W21408397711 @default.
- W2140839771 hasLocation W21408397712 @default.
- W2140839771 hasOpenAccess W2140839771 @default.
- W2140839771 hasPrimaryLocation W21408397711 @default.
- W2140839771 hasRelatedWork W1517983254 @default.
- W2140839771 hasRelatedWork W1758485012 @default.
- W2140839771 hasRelatedWork W1844863970 @default.
- W2140839771 hasRelatedWork W1903064990 @default.
- W2140839771 hasRelatedWork W1941763185 @default.
- W2140839771 hasRelatedWork W1942976490 @default.
- W2140839771 hasRelatedWork W1975216629 @default.
- W2140839771 hasRelatedWork W1981789370 @default.
- W2140839771 hasRelatedWork W2026859491 @default.
- W2140839771 hasRelatedWork W2034819286 @default.
- W2140839771 hasRelatedWork W2034914683 @default.
- W2140839771 hasRelatedWork W2041094650 @default.
- W2140839771 hasRelatedWork W2058275702 @default.
- W2140839771 hasRelatedWork W2134922614 @default.
- W2140839771 hasRelatedWork W2139654866 @default.
- W2140839771 hasRelatedWork W2153016211 @default.
- W2140839771 hasRelatedWork W2160092273 @default.
- W2140839771 hasRelatedWork W2164262765 @default.
- W2140839771 hasRelatedWork W2546115888 @default.
- W2140839771 hasRelatedWork W2998829605 @default.
- W2140839771 isParatext "false" @default.
- W2140839771 isRetracted "false" @default.
- W2140839771 magId "2140839771" @default.
- W2140839771 workType "book-chapter" @default.