Matches in SemOpenAlex for { <https://semopenalex.org/work/W1542636715> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1542636715 endingPage "13" @default.
- W1542636715 startingPage "1" @default.
- W1542636715 abstract "GPS/GIS and RFID technologies have been changing the paradigm af our society toward ubiquitous era. Especially, geographically distributed mobile agents with transporting objects need to be automatically recognizable and traceable under certain conditions. To do this, fundamental theories and technologies are required to specify and verify spatial and temporal behaviors of agents on geographical space. This paper presents a new formal method, called Calculus of Real-Time Distribution, Mobility, and Interaction (CaRDMI), for this purpose. For specification, CaRDMI defines a map, mobile agents with transporting objects. The movement of on agent is represented by a path on the map, consisting of a list of nodes and a list of edges with spatial and temporal constraints. Interactive constraints among agents are represented by synchronization modes on objects at nodes. These constraints are distinguishable features of CaRDMI from other methods. Especially, many-to-many timed synchronization constraints are noticeable. For verification, CaRDMI presents the spatial, temporal and interactive deduction rules and the spatial and temporal equivalence relations." @default.
- W1542636715 created "2016-06-24" @default.
- W1542636715 creator A5057637326 @default.
- W1542636715 creator A5072662639 @default.
- W1542636715 date "2007-01-01" @default.
- W1542636715 modified "2023-09-26" @default.
- W1542636715 title "A Calculus of Real-Time Distribution, Mobility and Interaction for Tracing Mobile Agents with Transporting Objects" @default.
- W1542636715 hasPublicationYear "2007" @default.
- W1542636715 type Work @default.
- W1542636715 sameAs 1542636715 @default.
- W1542636715 citedByCount "0" @default.
- W1542636715 crossrefType "journal-article" @default.
- W1542636715 hasAuthorship W1542636715A5057637326 @default.
- W1542636715 hasAuthorship W1542636715A5072662639 @default.
- W1542636715 hasConcept C107457646 @default.
- W1542636715 hasConcept C118615104 @default.
- W1542636715 hasConcept C120314980 @default.
- W1542636715 hasConcept C121332964 @default.
- W1542636715 hasConcept C127162648 @default.
- W1542636715 hasConcept C130187892 @default.
- W1542636715 hasConcept C138673069 @default.
- W1542636715 hasConcept C199360897 @default.
- W1542636715 hasConcept C2777735758 @default.
- W1542636715 hasConcept C2778562939 @default.
- W1542636715 hasConcept C2780069185 @default.
- W1542636715 hasConcept C31258907 @default.
- W1542636715 hasConcept C33923547 @default.
- W1542636715 hasConcept C41008148 @default.
- W1542636715 hasConcept C60229501 @default.
- W1542636715 hasConcept C62520636 @default.
- W1542636715 hasConcept C76155785 @default.
- W1542636715 hasConcept C79403827 @default.
- W1542636715 hasConcept C80444323 @default.
- W1542636715 hasConcept C84875433 @default.
- W1542636715 hasConceptScore W1542636715C107457646 @default.
- W1542636715 hasConceptScore W1542636715C118615104 @default.
- W1542636715 hasConceptScore W1542636715C120314980 @default.
- W1542636715 hasConceptScore W1542636715C121332964 @default.
- W1542636715 hasConceptScore W1542636715C127162648 @default.
- W1542636715 hasConceptScore W1542636715C130187892 @default.
- W1542636715 hasConceptScore W1542636715C138673069 @default.
- W1542636715 hasConceptScore W1542636715C199360897 @default.
- W1542636715 hasConceptScore W1542636715C2777735758 @default.
- W1542636715 hasConceptScore W1542636715C2778562939 @default.
- W1542636715 hasConceptScore W1542636715C2780069185 @default.
- W1542636715 hasConceptScore W1542636715C31258907 @default.
- W1542636715 hasConceptScore W1542636715C33923547 @default.
- W1542636715 hasConceptScore W1542636715C41008148 @default.
- W1542636715 hasConceptScore W1542636715C60229501 @default.
- W1542636715 hasConceptScore W1542636715C62520636 @default.
- W1542636715 hasConceptScore W1542636715C76155785 @default.
- W1542636715 hasConceptScore W1542636715C79403827 @default.
- W1542636715 hasConceptScore W1542636715C80444323 @default.
- W1542636715 hasConceptScore W1542636715C84875433 @default.
- W1542636715 hasIssue "2" @default.
- W1542636715 hasLocation W15426367151 @default.
- W1542636715 hasOpenAccess W1542636715 @default.
- W1542636715 hasPrimaryLocation W15426367151 @default.
- W1542636715 hasRelatedWork W1485178531 @default.
- W1542636715 hasRelatedWork W1498274091 @default.
- W1542636715 hasRelatedWork W1529924754 @default.
- W1542636715 hasRelatedWork W1552296434 @default.
- W1542636715 hasRelatedWork W1566262616 @default.
- W1542636715 hasRelatedWork W1605509901 @default.
- W1542636715 hasRelatedWork W1809224686 @default.
- W1542636715 hasRelatedWork W1863955888 @default.
- W1542636715 hasRelatedWork W2005147364 @default.
- W1542636715 hasRelatedWork W2026960406 @default.
- W1542636715 hasRelatedWork W2077240418 @default.
- W1542636715 hasRelatedWork W2098620892 @default.
- W1542636715 hasRelatedWork W2098987259 @default.
- W1542636715 hasRelatedWork W2113939517 @default.
- W1542636715 hasRelatedWork W2144835774 @default.
- W1542636715 hasRelatedWork W2149697211 @default.
- W1542636715 hasRelatedWork W2175558515 @default.
- W1542636715 hasRelatedWork W2281312469 @default.
- W1542636715 hasRelatedWork W2469856713 @default.
- W1542636715 hasRelatedWork W1858231119 @default.
- W1542636715 hasVolume "8" @default.
- W1542636715 isParatext "false" @default.
- W1542636715 isRetracted "false" @default.
- W1542636715 magId "1542636715" @default.
- W1542636715 workType "article" @default.