Matches in SemOpenAlex for { <https://semopenalex.org/work/W2115415229> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2115415229 abstract "Nowadays, along with computing system becomes more and more complex, it is even harder to control the system effectively. In order to make it easier and ensure the reliability, the computing system needs to be self managed. In 2001, IBM proposed the concept of Autonomic Computing, in which system can manage itself through controlling the interaction of all the consisted parts. However, designing the interaction and verifying the autonomic features are not easy. Formal specification can be very helpful in achieving this. In this paper, we apply Process Algebra CSP in exploring the autonomic features of DMARF system. We give the formal specification of its three features, including self protection, self-optimization and self-healing." @default.
- W2115415229 created "2016-06-24" @default.
- W2115415229 creator A5036792191 @default.
- W2115415229 creator A5075080019 @default.
- W2115415229 creator A5086329331 @default.
- W2115415229 date "2011-04-01" @default.
- W2115415229 modified "2023-09-26" @default.
- W2115415229 title "Formal Specification of Automatic DMARF Based on CSP" @default.
- W2115415229 cites W1534601858 @default.
- W2115415229 cites W1549707627 @default.
- W2115415229 cites W1604877895 @default.
- W2115415229 cites W167349584 @default.
- W2115415229 cites W177414651 @default.
- W2115415229 cites W1838980802 @default.
- W2115415229 cites W1854394007 @default.
- W2115415229 cites W1971906589 @default.
- W2115415229 cites W1984107003 @default.
- W2115415229 cites W1986260092 @default.
- W2115415229 cites W1990911977 @default.
- W2115415229 cites W2021419505 @default.
- W2115415229 cites W2023479632 @default.
- W2115415229 cites W2031188354 @default.
- W2115415229 cites W2062464247 @default.
- W2115415229 cites W2087871468 @default.
- W2115415229 cites W2098584870 @default.
- W2115415229 cites W2119494075 @default.
- W2115415229 cites W2120763732 @default.
- W2115415229 cites W2121990267 @default.
- W2115415229 cites W2141198646 @default.
- W2115415229 cites W2168036258 @default.
- W2115415229 cites W3144368627 @default.
- W2115415229 doi "https://doi.org/10.1109/ease.2011.7" @default.
- W2115415229 hasPublicationYear "2011" @default.
- W2115415229 type Work @default.
- W2115415229 sameAs 2115415229 @default.
- W2115415229 citedByCount "2" @default.
- W2115415229 countsByYear W21154152292013 @default.
- W2115415229 crossrefType "proceedings-article" @default.
- W2115415229 hasAuthorship W2115415229A5036792191 @default.
- W2115415229 hasAuthorship W2115415229A5075080019 @default.
- W2115415229 hasAuthorship W2115415229A5086329331 @default.
- W2115415229 hasConcept C111498074 @default.
- W2115415229 hasConcept C111919701 @default.
- W2115415229 hasConcept C115903868 @default.
- W2115415229 hasConcept C116253237 @default.
- W2115415229 hasConcept C120314980 @default.
- W2115415229 hasConcept C121332964 @default.
- W2115415229 hasConcept C161771561 @default.
- W2115415229 hasConcept C163258240 @default.
- W2115415229 hasConcept C171250308 @default.
- W2115415229 hasConcept C192562407 @default.
- W2115415229 hasConcept C199360897 @default.
- W2115415229 hasConcept C41008148 @default.
- W2115415229 hasConcept C43214815 @default.
- W2115415229 hasConcept C558632462 @default.
- W2115415229 hasConcept C62520636 @default.
- W2115415229 hasConcept C70388272 @default.
- W2115415229 hasConcept C75606506 @default.
- W2115415229 hasConcept C79974875 @default.
- W2115415229 hasConcept C84651959 @default.
- W2115415229 hasConcept C98045186 @default.
- W2115415229 hasConceptScore W2115415229C111498074 @default.
- W2115415229 hasConceptScore W2115415229C111919701 @default.
- W2115415229 hasConceptScore W2115415229C115903868 @default.
- W2115415229 hasConceptScore W2115415229C116253237 @default.
- W2115415229 hasConceptScore W2115415229C120314980 @default.
- W2115415229 hasConceptScore W2115415229C121332964 @default.
- W2115415229 hasConceptScore W2115415229C161771561 @default.
- W2115415229 hasConceptScore W2115415229C163258240 @default.
- W2115415229 hasConceptScore W2115415229C171250308 @default.
- W2115415229 hasConceptScore W2115415229C192562407 @default.
- W2115415229 hasConceptScore W2115415229C199360897 @default.
- W2115415229 hasConceptScore W2115415229C41008148 @default.
- W2115415229 hasConceptScore W2115415229C43214815 @default.
- W2115415229 hasConceptScore W2115415229C558632462 @default.
- W2115415229 hasConceptScore W2115415229C62520636 @default.
- W2115415229 hasConceptScore W2115415229C70388272 @default.
- W2115415229 hasConceptScore W2115415229C75606506 @default.
- W2115415229 hasConceptScore W2115415229C79974875 @default.
- W2115415229 hasConceptScore W2115415229C84651959 @default.
- W2115415229 hasConceptScore W2115415229C98045186 @default.
- W2115415229 hasLocation W21154152291 @default.
- W2115415229 hasOpenAccess W2115415229 @default.
- W2115415229 hasPrimaryLocation W21154152291 @default.
- W2115415229 hasRelatedWork W157018852 @default.
- W2115415229 hasRelatedWork W1839061677 @default.
- W2115415229 hasRelatedWork W1977144985 @default.
- W2115415229 hasRelatedWork W2016051366 @default.
- W2115415229 hasRelatedWork W2115415229 @default.
- W2115415229 hasRelatedWork W2124807273 @default.
- W2115415229 hasRelatedWork W2296518237 @default.
- W2115415229 hasRelatedWork W2406943729 @default.
- W2115415229 hasRelatedWork W47092883 @default.
- W2115415229 hasRelatedWork W56325626 @default.
- W2115415229 isParatext "false" @default.
- W2115415229 isRetracted "false" @default.
- W2115415229 magId "2115415229" @default.
- W2115415229 workType "article" @default.