Matches in SemOpenAlex for { <https://semopenalex.org/work/W1519034672> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1519034672 abstract "Traditionally, a distributed system has been viewed as a collection of fixed computational elements connected by a static network. Prompted by recent advances in wireless communications rechnology, the emerging field of mobile computing is challenging these assumptions by providing mobile hosts with connectivity that may change over time, raising the possibility that hosts may be called upon to operate while only weakly connected to or while completely disconnected from other hosts. We define a concurrent mobile system as one where independently executing coponents 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. Note that this definition is general enough to encompass a system of mobile hosts moving in physical space as well as a system of migrating software agents implemented on a set of possibly non-mobile hosts. In this paper, we present Mobile UNITY, which is a notation for expressing such systems and a logic for reasoning about their temporal properties. Based on the... Read complete abstract on page 2." @default.
- W1519034672 created "2016-06-24" @default.
- W1519034672 creator A5006410216 @default.
- W1519034672 creator A5018552051 @default.
- W1519034672 date "1997-01-01" @default.
- W1519034672 modified "2023-09-23" @default.
- W1519034672 title "Mobile UNITY: A Language and Logic for Concurrent Mobile Systems" @default.
- W1519034672 cites W1498342204 @default.
- W1519034672 cites W1510940979 @default.
- W1519034672 cites W1550593984 @default.
- W1519034672 cites W1857327297 @default.
- W1519034672 cites W1964729314 @default.
- W1519034672 cites W2035362408 @default.
- W1519034672 cites W2055371514 @default.
- W1519034672 cites W2076513239 @default.
- W1519034672 cites W2103953153 @default.
- W1519034672 cites W2108805674 @default.
- W1519034672 cites W2110425399 @default.
- W1519034672 cites W2116436884 @default.
- W1519034672 cites W2117260615 @default.
- W1519034672 cites W2131414602 @default.
- W1519034672 cites W2135509291 @default.
- W1519034672 cites W2160170050 @default.
- W1519034672 cites W2169746237 @default.
- W1519034672 cites W2263124607 @default.
- W1519034672 cites W2914206182 @default.
- W1519034672 cites W3143795508 @default.
- W1519034672 cites W3146075203 @default.
- W1519034672 doi "https://doi.org/10.7936/k7gf0rr1" @default.
- W1519034672 hasPublicationYear "1997" @default.
- W1519034672 type Work @default.
- W1519034672 sameAs 1519034672 @default.
- W1519034672 citedByCount "4" @default.
- W1519034672 crossrefType "journal-article" @default.
- W1519034672 hasAuthorship W1519034672A5006410216 @default.
- W1519034672 hasAuthorship W1519034672A5018552051 @default.
- W1519034672 hasConcept C120314980 @default.
- W1519034672 hasConcept C144543869 @default.
- W1519034672 hasConcept C177264268 @default.
- W1519034672 hasConcept C199360897 @default.
- W1519034672 hasConcept C202444582 @default.
- W1519034672 hasConcept C31258907 @default.
- W1519034672 hasConcept C33923547 @default.
- W1519034672 hasConcept C41008148 @default.
- W1519034672 hasConcept C45357846 @default.
- W1519034672 hasConcept C80444323 @default.
- W1519034672 hasConcept C94375191 @default.
- W1519034672 hasConcept C9652623 @default.
- W1519034672 hasConceptScore W1519034672C120314980 @default.
- W1519034672 hasConceptScore W1519034672C144543869 @default.
- W1519034672 hasConceptScore W1519034672C177264268 @default.
- W1519034672 hasConceptScore W1519034672C199360897 @default.
- W1519034672 hasConceptScore W1519034672C202444582 @default.
- W1519034672 hasConceptScore W1519034672C31258907 @default.
- W1519034672 hasConceptScore W1519034672C33923547 @default.
- W1519034672 hasConceptScore W1519034672C41008148 @default.
- W1519034672 hasConceptScore W1519034672C45357846 @default.
- W1519034672 hasConceptScore W1519034672C80444323 @default.
- W1519034672 hasConceptScore W1519034672C94375191 @default.
- W1519034672 hasConceptScore W1519034672C9652623 @default.
- W1519034672 hasLocation W15190346721 @default.
- W1519034672 hasOpenAccess W1519034672 @default.
- W1519034672 hasPrimaryLocation W15190346721 @default.
- W1519034672 hasRelatedWork W1488444864 @default.
- W1519034672 hasRelatedWork W1494154669 @default.
- W1519034672 hasRelatedWork W1545010450 @default.
- W1519034672 hasRelatedWork W1622631882 @default.
- W1519034672 hasRelatedWork W1624562906 @default.
- W1519034672 hasRelatedWork W2028978806 @default.
- W1519034672 hasRelatedWork W2045836676 @default.
- W1519034672 hasRelatedWork W2105274184 @default.
- W1519034672 hasRelatedWork W2113031563 @default.
- W1519034672 hasRelatedWork W2132750422 @default.
- W1519034672 hasRelatedWork W2134432369 @default.
- W1519034672 hasRelatedWork W2231860374 @default.
- W1519034672 hasRelatedWork W2282406262 @default.
- W1519034672 hasRelatedWork W2359509372 @default.
- W1519034672 hasRelatedWork W2363847830 @default.
- W1519034672 hasRelatedWork W2378034290 @default.
- W1519034672 hasRelatedWork W2390458437 @default.
- W1519034672 hasRelatedWork W2390605503 @default.
- W1519034672 hasRelatedWork W1784830436 @default.
- W1519034672 hasRelatedWork W2738456865 @default.
- W1519034672 isParatext "false" @default.
- W1519034672 isRetracted "false" @default.
- W1519034672 magId "1519034672" @default.
- W1519034672 workType "article" @default.