Matches in SemOpenAlex for { <https://semopenalex.org/work/W1573169623> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1573169623 abstract "This paper presents a formal approach to modelling and analysis of data and control flow dependencies between services within remotely deployed distributed systems of services. Our work aims at elaborating for a concrete system, which parts of the system (or system model) are necessary to check a given property. The approach allows services decomposition oriented towards efficient checking of system properties as well as analysis of dependencies within a system." @default.
- W1573169623 created "2016-06-24" @default.
- W1573169623 creator A5049584186 @default.
- W1573169623 creator A5083422040 @default.
- W1573169623 date "2014-12-01" @default.
- W1573169623 modified "2023-09-26" @default.
- W1573169623 title "Towards Logical Architecture and Formal Analysis of Dependencies between Services" @default.
- W1573169623 cites W109572431 @default.
- W1573169623 cites W1674186056 @default.
- W1573169623 cites W1945186739 @default.
- W1573169623 cites W2034389640 @default.
- W1573169623 cites W2074236561 @default.
- W1573169623 cites W2086368386 @default.
- W1573169623 cites W2093121316 @default.
- W1573169623 cites W2121186857 @default.
- W1573169623 cites W2139842876 @default.
- W1573169623 cites W2146486372 @default.
- W1573169623 cites W2152414327 @default.
- W1573169623 cites W2158942489 @default.
- W1573169623 cites W2162326486 @default.
- W1573169623 cites W2162366870 @default.
- W1573169623 cites W2166312659 @default.
- W1573169623 cites W2166365253 @default.
- W1573169623 cites W3098754475 @default.
- W1573169623 cites W4211008702 @default.
- W1573169623 doi "https://doi.org/10.1109/apscc.2014.29" @default.
- W1573169623 hasPublicationYear "2014" @default.
- W1573169623 type Work @default.
- W1573169623 sameAs 1573169623 @default.
- W1573169623 citedByCount "9" @default.
- W1573169623 countsByYear W15731696232015 @default.
- W1573169623 countsByYear W15731696232017 @default.
- W1573169623 countsByYear W15731696232018 @default.
- W1573169623 countsByYear W15731696232019 @default.
- W1573169623 countsByYear W15731696232023 @default.
- W1573169623 crossrefType "proceedings-article" @default.
- W1573169623 hasAuthorship W1573169623A5049584186 @default.
- W1573169623 hasAuthorship W1573169623A5083422040 @default.
- W1573169623 hasBestOaLocation W15731696232 @default.
- W1573169623 hasConcept C123657996 @default.
- W1573169623 hasConcept C142362112 @default.
- W1573169623 hasConcept C153349607 @default.
- W1573169623 hasConcept C199360897 @default.
- W1573169623 hasConcept C41008148 @default.
- W1573169623 hasConcept C75606506 @default.
- W1573169623 hasConceptScore W1573169623C123657996 @default.
- W1573169623 hasConceptScore W1573169623C142362112 @default.
- W1573169623 hasConceptScore W1573169623C153349607 @default.
- W1573169623 hasConceptScore W1573169623C199360897 @default.
- W1573169623 hasConceptScore W1573169623C41008148 @default.
- W1573169623 hasConceptScore W1573169623C75606506 @default.
- W1573169623 hasLocation W15731696231 @default.
- W1573169623 hasLocation W15731696232 @default.
- W1573169623 hasOpenAccess W1573169623 @default.
- W1573169623 hasPrimaryLocation W15731696231 @default.
- W1573169623 hasRelatedWork W1527862632 @default.
- W1573169623 hasRelatedWork W1583364777 @default.
- W1573169623 hasRelatedWork W2112962394 @default.
- W1573169623 hasRelatedWork W2118300983 @default.
- W1573169623 hasRelatedWork W2135396778 @default.
- W1573169623 hasRelatedWork W2740990710 @default.
- W1573169623 hasRelatedWork W27605384 @default.
- W1573169623 hasRelatedWork W3137189469 @default.
- W1573169623 hasRelatedWork W4235530921 @default.
- W1573169623 hasRelatedWork W4243252198 @default.
- W1573169623 isParatext "false" @default.
- W1573169623 isRetracted "false" @default.
- W1573169623 magId "1573169623" @default.
- W1573169623 workType "article" @default.