Matches in SemOpenAlex for { <https://semopenalex.org/work/W3095928564> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W3095928564 abstract "Aiming at the problems of architecture design and semantic feature verification during the construction of mobile cloud computing system, a formal semantic description model for agent-based mobile cloud computing system was proposed on the basis of typed category theory. Agent was depicted as the object node in category theory, and the interaction and dependency between agents are used as morphisms. The whole cloud service system is described as a typed category diagram. On this basis, agent interaction and cooperation, and architecture design and refinement, as well as agent migration and agent substitutability and application request satisfiability, were all analyzed and discussed. Application research shows that the formal description approach enhances the semantic description ability of the system architecture, and helps to analyze and verify the specifications of mobile cloud service system." @default.
- W3095928564 created "2020-11-09" @default.
- W3095928564 creator A5030031692 @default.
- W3095928564 creator A5081811248 @default.
- W3095928564 date "2020-10-15" @default.
- W3095928564 modified "2023-10-15" @default.
- W3095928564 title "Formal Description Approach for Agent-Based Mobile Computing" @default.
- W3095928564 cites W1965594853 @default.
- W3095928564 cites W1965966784 @default.
- W3095928564 cites W2023019278 @default.
- W3095928564 cites W2046548106 @default.
- W3095928564 cites W2071490148 @default.
- W3095928564 cites W2074202279 @default.
- W3095928564 cites W2104237724 @default.
- W3095928564 cites W2134818471 @default.
- W3095928564 cites W2782500445 @default.
- W3095928564 doi "https://doi.org/10.1145/3421766.3421822" @default.
- W3095928564 hasPublicationYear "2020" @default.
- W3095928564 type Work @default.
- W3095928564 sameAs 3095928564 @default.
- W3095928564 citedByCount "0" @default.
- W3095928564 crossrefType "proceedings-article" @default.
- W3095928564 hasAuthorship W3095928564A5030031692 @default.
- W3095928564 hasAuthorship W3095928564A5081811248 @default.
- W3095928564 hasConcept C115903868 @default.
- W3095928564 hasConcept C120314980 @default.
- W3095928564 hasConcept C199360897 @default.
- W3095928564 hasConcept C41008148 @default.
- W3095928564 hasConceptScore W3095928564C115903868 @default.
- W3095928564 hasConceptScore W3095928564C120314980 @default.
- W3095928564 hasConceptScore W3095928564C199360897 @default.
- W3095928564 hasConceptScore W3095928564C41008148 @default.
- W3095928564 hasLocation W30959285641 @default.
- W3095928564 hasOpenAccess W3095928564 @default.
- W3095928564 hasPrimaryLocation W30959285641 @default.
- W3095928564 hasRelatedWork W1527862632 @default.
- W3095928564 hasRelatedWork W2109507516 @default.
- W3095928564 hasRelatedWork W2112962394 @default.
- W3095928564 hasRelatedWork W2118300983 @default.
- W3095928564 hasRelatedWork W2135396778 @default.
- W3095928564 hasRelatedWork W2382501300 @default.
- W3095928564 hasRelatedWork W2740990710 @default.
- W3095928564 hasRelatedWork W3137189469 @default.
- W3095928564 hasRelatedWork W4235530921 @default.
- W3095928564 hasRelatedWork W4243252198 @default.
- W3095928564 isParatext "false" @default.
- W3095928564 isRetracted "false" @default.
- W3095928564 magId "3095928564" @default.
- W3095928564 workType "article" @default.