Matches in SemOpenAlex for { <https://semopenalex.org/work/W2780560464> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2780560464 abstract "There are strong needs for both mobile and temporal properties in process algebras designed to specify and analyze distributed mobile real-time systems (DMRS). However there are some limitations in those algebras to specify both movements and temporalness at the same time, such as, Timed pi-Calculus and d-Calculus, as follows: 1) Timed pi-Calculus cannot specify both the execution time of action and movements directly, and 2) d-Calculus can specify only a simple pattern of temporal conditions, that is, the lower and upper bounds of the execution time. In order to solve these limitations, this paper proposes dT-Calculus with expressive power of movements of processes with a number of temporal conditions. dT-Calculus extended the basic temporal properties of synchronous process movements of d-Calculus into more specific temporal properties in order to specify and analyze the temporal property of DMRS more effectively: ready time, execution time, waiting time, deadline, etc. In order to simulate the proposed process movement with temporal properties, the SAVE tool has been developed on the ADOxx Meta-Modeling Platform and demonstrates efficiency and effectiveness of the proposed approach with an EMS example." @default.
- W2780560464 created "2018-01-05" @default.
- W2780560464 creator A5066641790 @default.
- W2780560464 creator A5082224111 @default.
- W2780560464 creator A5082391236 @default.
- W2780560464 date "2017-01-01" @default.
- W2780560464 modified "2023-09-23" @default.
- W2780560464 title "Process Algebra to Model Timed Movements of Processes in Distributed Mobile Real-Time Systems" @default.
- W2780560464 cites W2155155771 @default.
- W2780560464 hasPublicationYear "2017" @default.
- W2780560464 type Work @default.
- W2780560464 sameAs 2780560464 @default.
- W2780560464 citedByCount "0" @default.
- W2780560464 crossrefType "journal-article" @default.
- W2780560464 hasAuthorship W2780560464A5066641790 @default.
- W2780560464 hasAuthorship W2780560464A5082224111 @default.
- W2780560464 hasAuthorship W2780560464A5082391236 @default.
- W2780560464 hasConcept C111472728 @default.
- W2780560464 hasConcept C120314980 @default.
- W2780560464 hasConcept C138885662 @default.
- W2780560464 hasConcept C161771561 @default.
- W2780560464 hasConcept C189950617 @default.
- W2780560464 hasConcept C195818886 @default.
- W2780560464 hasConcept C199343813 @default.
- W2780560464 hasConcept C199360897 @default.
- W2780560464 hasConcept C2777686260 @default.
- W2780560464 hasConcept C2780586882 @default.
- W2780560464 hasConcept C2984882572 @default.
- W2780560464 hasConcept C41008148 @default.
- W2780560464 hasConcept C71924100 @default.
- W2780560464 hasConcept C79403827 @default.
- W2780560464 hasConcept C80444323 @default.
- W2780560464 hasConcept C98045186 @default.
- W2780560464 hasConceptScore W2780560464C111472728 @default.
- W2780560464 hasConceptScore W2780560464C120314980 @default.
- W2780560464 hasConceptScore W2780560464C138885662 @default.
- W2780560464 hasConceptScore W2780560464C161771561 @default.
- W2780560464 hasConceptScore W2780560464C189950617 @default.
- W2780560464 hasConceptScore W2780560464C195818886 @default.
- W2780560464 hasConceptScore W2780560464C199343813 @default.
- W2780560464 hasConceptScore W2780560464C199360897 @default.
- W2780560464 hasConceptScore W2780560464C2777686260 @default.
- W2780560464 hasConceptScore W2780560464C2780586882 @default.
- W2780560464 hasConceptScore W2780560464C2984882572 @default.
- W2780560464 hasConceptScore W2780560464C41008148 @default.
- W2780560464 hasConceptScore W2780560464C71924100 @default.
- W2780560464 hasConceptScore W2780560464C79403827 @default.
- W2780560464 hasConceptScore W2780560464C80444323 @default.
- W2780560464 hasConceptScore W2780560464C98045186 @default.
- W2780560464 hasLocation W27805604641 @default.
- W2780560464 hasOpenAccess W2780560464 @default.
- W2780560464 hasPrimaryLocation W27805604641 @default.
- W2780560464 hasRelatedWork W119264390 @default.
- W2780560464 hasRelatedWork W1492378530 @default.
- W2780560464 hasRelatedWork W1497882246 @default.
- W2780560464 hasRelatedWork W1520032443 @default.
- W2780560464 hasRelatedWork W1560127922 @default.
- W2780560464 hasRelatedWork W1586633463 @default.
- W2780560464 hasRelatedWork W1750187267 @default.
- W2780560464 hasRelatedWork W1873579732 @default.
- W2780560464 hasRelatedWork W2055739094 @default.
- W2780560464 hasRelatedWork W2122505115 @default.
- W2780560464 hasRelatedWork W2140351986 @default.
- W2780560464 hasRelatedWork W2160401454 @default.
- W2780560464 hasRelatedWork W2168791893 @default.
- W2780560464 hasRelatedWork W2352091395 @default.
- W2780560464 hasRelatedWork W2549051736 @default.
- W2780560464 hasRelatedWork W2784851455 @default.
- W2780560464 hasRelatedWork W2796019254 @default.
- W2780560464 hasRelatedWork W2975657856 @default.
- W2780560464 hasRelatedWork W31774667 @default.
- W2780560464 hasRelatedWork W3023005333 @default.
- W2780560464 hasVolume "14" @default.
- W2780560464 isParatext "false" @default.
- W2780560464 isRetracted "false" @default.
- W2780560464 magId "2780560464" @default.
- W2780560464 workType "article" @default.