Matches in SemOpenAlex for { <https://semopenalex.org/work/W4254202496> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4254202496 abstract "Mobile computing represents a major point of departure from the traditional distributed computing paradigm. The potentially very large number of independent computing units, a decoupled computing style, frequent disconnections, continuous position changes, and the location-dependent nature of the behavior and communication patterns of the individual components present designers with unprecedented challenges in the areas of modularity and dependability. The paper describes two ideas regarding a modular approach to specifying and reasoning about mobile computing. The novelty of our approach rests with the notion of allowing transient interactions among programs which move in space. We restrict our concern to pairwise interactions involving variable sharing and action synchronization. The motivation behind the transient nature of the interactions comes from the fact that components can communicate with each other only when they are within a certain range. The notation we propose is meant to simplify the writing of mobile applications and is a direct extension of that used in UNITY. Reasoning about mobile computations relies on the UNITY proof logic." @default.
- W4254202496 created "2022-05-12" @default.
- W4254202496 creator A5006410216 @default.
- W4254202496 creator A5018552051 @default.
- W4254202496 creator A5081211347 @default.
- W4254202496 date "2002-12-23" @default.
- W4254202496 modified "2023-10-14" @default.
- W4254202496 title "Assertional reasoning about pairwise transient interactions in mobile computing" @default.
- W4254202496 doi "https://doi.org/10.1109/icse.1996.493411" @default.
- W4254202496 hasPublicationYear "2002" @default.
- W4254202496 type Work @default.
- W4254202496 citedByCount "0" @default.
- W4254202496 crossrefType "proceedings-article" @default.
- W4254202496 hasAuthorship W4254202496A5006410216 @default.
- W4254202496 hasAuthorship W4254202496A5018552051 @default.
- W4254202496 hasAuthorship W4254202496A5081211347 @default.
- W4254202496 hasBestOaLocation W42542024962 @default.
- W4254202496 hasConcept C101468663 @default.
- W4254202496 hasConcept C107457646 @default.
- W4254202496 hasConcept C115903868 @default.
- W4254202496 hasConcept C120314980 @default.
- W4254202496 hasConcept C138885662 @default.
- W4254202496 hasConcept C144543869 @default.
- W4254202496 hasConcept C154945302 @default.
- W4254202496 hasConcept C184898388 @default.
- W4254202496 hasConcept C199360897 @default.
- W4254202496 hasConcept C27206212 @default.
- W4254202496 hasConcept C2778738651 @default.
- W4254202496 hasConcept C2779478453 @default.
- W4254202496 hasConcept C31258907 @default.
- W4254202496 hasConcept C33923547 @default.
- W4254202496 hasConcept C41008148 @default.
- W4254202496 hasConcept C45357846 @default.
- W4254202496 hasConcept C54355233 @default.
- W4254202496 hasConcept C55439883 @default.
- W4254202496 hasConcept C77019957 @default.
- W4254202496 hasConcept C80444323 @default.
- W4254202496 hasConcept C86803240 @default.
- W4254202496 hasConcept C94375191 @default.
- W4254202496 hasConceptScore W4254202496C101468663 @default.
- W4254202496 hasConceptScore W4254202496C107457646 @default.
- W4254202496 hasConceptScore W4254202496C115903868 @default.
- W4254202496 hasConceptScore W4254202496C120314980 @default.
- W4254202496 hasConceptScore W4254202496C138885662 @default.
- W4254202496 hasConceptScore W4254202496C144543869 @default.
- W4254202496 hasConceptScore W4254202496C154945302 @default.
- W4254202496 hasConceptScore W4254202496C184898388 @default.
- W4254202496 hasConceptScore W4254202496C199360897 @default.
- W4254202496 hasConceptScore W4254202496C27206212 @default.
- W4254202496 hasConceptScore W4254202496C2778738651 @default.
- W4254202496 hasConceptScore W4254202496C2779478453 @default.
- W4254202496 hasConceptScore W4254202496C31258907 @default.
- W4254202496 hasConceptScore W4254202496C33923547 @default.
- W4254202496 hasConceptScore W4254202496C41008148 @default.
- W4254202496 hasConceptScore W4254202496C45357846 @default.
- W4254202496 hasConceptScore W4254202496C54355233 @default.
- W4254202496 hasConceptScore W4254202496C55439883 @default.
- W4254202496 hasConceptScore W4254202496C77019957 @default.
- W4254202496 hasConceptScore W4254202496C80444323 @default.
- W4254202496 hasConceptScore W4254202496C86803240 @default.
- W4254202496 hasConceptScore W4254202496C94375191 @default.
- W4254202496 hasLocation W42542024961 @default.
- W4254202496 hasLocation W42542024962 @default.
- W4254202496 hasOpenAccess W4254202496 @default.
- W4254202496 hasPrimaryLocation W42542024961 @default.
- W4254202496 hasRelatedWork W107925496 @default.
- W4254202496 hasRelatedWork W1571719163 @default.
- W4254202496 hasRelatedWork W2083208363 @default.
- W4254202496 hasRelatedWork W2126887253 @default.
- W4254202496 hasRelatedWork W2163398072 @default.
- W4254202496 hasRelatedWork W2411677733 @default.
- W4254202496 hasRelatedWork W2822848160 @default.
- W4254202496 hasRelatedWork W3216010002 @default.
- W4254202496 hasRelatedWork W62298462 @default.
- W4254202496 hasRelatedWork W2610314765 @default.
- W4254202496 isParatext "false" @default.
- W4254202496 isRetracted "false" @default.
- W4254202496 workType "article" @default.