Matches in SemOpenAlex for { <https://semopenalex.org/work/W2069771490> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2069771490 endingPage "146" @default.
- W2069771490 startingPage "115" @default.
- W2069771490 abstract "With recent advances in wireless communication technology, mobile computing is an increasingly important area of research. A mobile system is one where independently executing components may migrate through some space during the course of the computation, and where the pattern of connectivity among the components changes as they move in and out of proximity. Mobile UNITY is a notation and proof logic for specifying and reasoning about mobile systems. In this article it is argued that Mobile UNITY contributes to the modular development of system specifications because of the declarative fashion in which coordination among components is specified. The packet-fowarding mechanism at the core of the Mobile IP protocol for routing to mobile hosts is taken as an example. A Mobile UNITY model of packet forwarding and the mobile system in which it must operate is developed. Proofs of correctness properties, including important real-time properties, are outlined, and the role of formal verification in the development of protocols such as Mobile IP is discussed." @default.
- W2069771490 created "2016-06-24" @default.
- W2069771490 creator A5006410216 @default.
- W2069771490 creator A5018552051 @default.
- W2069771490 date "1999-04-01" @default.
- W2069771490 modified "2023-10-12" @default.
- W2069771490 title "Modeling mobile IP in mobile UNITY" @default.
- W2069771490 cites W1602193077 @default.
- W2069771490 cites W1665917888 @default.
- W2069771490 cites W1685072120 @default.
- W2069771490 cites W2033938536 @default.
- W2069771490 cites W2076513239 @default.
- W2069771490 cites W2128932399 @default.
- W2069771490 cites W2139392747 @default.
- W2069771490 cites W2162849489 @default.
- W2069771490 cites W2987907651 @default.
- W2069771490 cites W4230634801 @default.
- W2069771490 cites W4256363426 @default.
- W2069771490 doi "https://doi.org/10.1145/304399.304400" @default.
- W2069771490 hasPublicationYear "1999" @default.
- W2069771490 type Work @default.
- W2069771490 sameAs 2069771490 @default.
- W2069771490 citedByCount "25" @default.
- W2069771490 countsByYear W20697714902013 @default.
- W2069771490 countsByYear W20697714902014 @default.
- W2069771490 countsByYear W20697714902015 @default.
- W2069771490 countsByYear W20697714902021 @default.
- W2069771490 crossrefType "journal-article" @default.
- W2069771490 hasAuthorship W2069771490A5006410216 @default.
- W2069771490 hasAuthorship W2069771490A5018552051 @default.
- W2069771490 hasBestOaLocation W20697714901 @default.
- W2069771490 hasConcept C101468663 @default.
- W2069771490 hasConcept C108710211 @default.
- W2069771490 hasConcept C120314980 @default.
- W2069771490 hasConcept C144543869 @default.
- W2069771490 hasConcept C158379750 @default.
- W2069771490 hasConcept C199360897 @default.
- W2069771490 hasConcept C2524010 @default.
- W2069771490 hasConcept C2781307350 @default.
- W2069771490 hasConcept C31258907 @default.
- W2069771490 hasConcept C33923547 @default.
- W2069771490 hasConcept C36800599 @default.
- W2069771490 hasConcept C41008148 @default.
- W2069771490 hasConcept C55439883 @default.
- W2069771490 hasConcept C82203111 @default.
- W2069771490 hasConcept C95491727 @default.
- W2069771490 hasConceptScore W2069771490C101468663 @default.
- W2069771490 hasConceptScore W2069771490C108710211 @default.
- W2069771490 hasConceptScore W2069771490C120314980 @default.
- W2069771490 hasConceptScore W2069771490C144543869 @default.
- W2069771490 hasConceptScore W2069771490C158379750 @default.
- W2069771490 hasConceptScore W2069771490C199360897 @default.
- W2069771490 hasConceptScore W2069771490C2524010 @default.
- W2069771490 hasConceptScore W2069771490C2781307350 @default.
- W2069771490 hasConceptScore W2069771490C31258907 @default.
- W2069771490 hasConceptScore W2069771490C33923547 @default.
- W2069771490 hasConceptScore W2069771490C36800599 @default.
- W2069771490 hasConceptScore W2069771490C41008148 @default.
- W2069771490 hasConceptScore W2069771490C55439883 @default.
- W2069771490 hasConceptScore W2069771490C82203111 @default.
- W2069771490 hasConceptScore W2069771490C95491727 @default.
- W2069771490 hasIssue "2" @default.
- W2069771490 hasLocation W20697714901 @default.
- W2069771490 hasLocation W20697714902 @default.
- W2069771490 hasOpenAccess W2069771490 @default.
- W2069771490 hasPrimaryLocation W20697714901 @default.
- W2069771490 hasRelatedWork W1586650526 @default.
- W2069771490 hasRelatedWork W1599608098 @default.
- W2069771490 hasRelatedWork W2081441421 @default.
- W2069771490 hasRelatedWork W2105461153 @default.
- W2069771490 hasRelatedWork W2131103508 @default.
- W2069771490 hasRelatedWork W2139484754 @default.
- W2069771490 hasRelatedWork W2141538041 @default.
- W2069771490 hasRelatedWork W2156469230 @default.
- W2069771490 hasRelatedWork W2540234932 @default.
- W2069771490 hasRelatedWork W2548843418 @default.
- W2069771490 hasVolume "8" @default.
- W2069771490 isParatext "false" @default.
- W2069771490 isRetracted "false" @default.
- W2069771490 magId "2069771490" @default.
- W2069771490 workType "article" @default.