Matches in SemOpenAlex for { <https://semopenalex.org/work/W2126087514> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2126087514 abstract "Some very large and complex systems, such as telecommunication systems, must (and typically do) exhibit exceptional dependability. These systems are seldom totally replaced with a new system because of the increased likelihood of a lapse in service. Rather, systems are upgraded incrementally while operational, albeit that this often involves large-scale software changes. It is especially important then to ensure that new or replacement components are ready for online installation before they are incorporated into an operational system. It is often costly and time-consuming to determine the readiness of new components for installation. Even then, the result may be unpredictable. Hence, we have developed effective and economical methods for software component verification that ensure and increase the overall system dependability. We tested our technologies using a telecommunication application, an Internet call-agent. Our experimental results show that our dynamic design analysis approach reduces computational costs and detects more errors than conventional approaches. The more frequently that changes are made, the greater the savings in the time required for model analysis and property prediction." @default.
- W2126087514 created "2016-06-24" @default.
- W2126087514 creator A5009421913 @default.
- W2126087514 creator A5066624039 @default.
- W2126087514 creator A5069314761 @default.
- W2126087514 date "2002-11-07" @default.
- W2126087514 modified "2023-09-26" @default.
- W2126087514 title "Dependability of complex software systems with component upgrading" @default.
- W2126087514 cites W1567915323 @default.
- W2126087514 cites W1587236616 @default.
- W2126087514 cites W2025970201 @default.
- W2126087514 cites W2096973649 @default.
- W2126087514 cites W212192758 @default.
- W2126087514 cites W2122824813 @default.
- W2126087514 cites W2140735804 @default.
- W2126087514 cites W267915122 @default.
- W2126087514 doi "https://doi.org/10.1109/cmpsac.2000.884758" @default.
- W2126087514 hasPublicationYear "2002" @default.
- W2126087514 type Work @default.
- W2126087514 sameAs 2126087514 @default.
- W2126087514 citedByCount "2" @default.
- W2126087514 crossrefType "proceedings-article" @default.
- W2126087514 hasAuthorship W2126087514A5009421913 @default.
- W2126087514 hasAuthorship W2126087514A5066624039 @default.
- W2126087514 hasAuthorship W2126087514A5069314761 @default.
- W2126087514 hasConcept C111919701 @default.
- W2126087514 hasConcept C115903868 @default.
- W2126087514 hasConcept C120314980 @default.
- W2126087514 hasConcept C121332964 @default.
- W2126087514 hasConcept C127413603 @default.
- W2126087514 hasConcept C136264566 @default.
- W2126087514 hasConcept C149091818 @default.
- W2126087514 hasConcept C149635348 @default.
- W2126087514 hasConcept C162324750 @default.
- W2126087514 hasConcept C168167062 @default.
- W2126087514 hasConcept C174683762 @default.
- W2126087514 hasConcept C200601418 @default.
- W2126087514 hasConcept C2777904410 @default.
- W2126087514 hasConcept C2780378061 @default.
- W2126087514 hasConcept C41008148 @default.
- W2126087514 hasConcept C77019957 @default.
- W2126087514 hasConcept C97355855 @default.
- W2126087514 hasConceptScore W2126087514C111919701 @default.
- W2126087514 hasConceptScore W2126087514C115903868 @default.
- W2126087514 hasConceptScore W2126087514C120314980 @default.
- W2126087514 hasConceptScore W2126087514C121332964 @default.
- W2126087514 hasConceptScore W2126087514C127413603 @default.
- W2126087514 hasConceptScore W2126087514C136264566 @default.
- W2126087514 hasConceptScore W2126087514C149091818 @default.
- W2126087514 hasConceptScore W2126087514C149635348 @default.
- W2126087514 hasConceptScore W2126087514C162324750 @default.
- W2126087514 hasConceptScore W2126087514C168167062 @default.
- W2126087514 hasConceptScore W2126087514C174683762 @default.
- W2126087514 hasConceptScore W2126087514C200601418 @default.
- W2126087514 hasConceptScore W2126087514C2777904410 @default.
- W2126087514 hasConceptScore W2126087514C2780378061 @default.
- W2126087514 hasConceptScore W2126087514C41008148 @default.
- W2126087514 hasConceptScore W2126087514C77019957 @default.
- W2126087514 hasConceptScore W2126087514C97355855 @default.
- W2126087514 hasLocation W21260875141 @default.
- W2126087514 hasOpenAccess W2126087514 @default.
- W2126087514 hasPrimaryLocation W21260875141 @default.
- W2126087514 hasRelatedWork W1557087915 @default.
- W2126087514 hasRelatedWork W1557763560 @default.
- W2126087514 hasRelatedWork W1605507001 @default.
- W2126087514 hasRelatedWork W2112846350 @default.
- W2126087514 hasRelatedWork W2250090585 @default.
- W2126087514 hasRelatedWork W2315209244 @default.
- W2126087514 hasRelatedWork W2315857484 @default.
- W2126087514 hasRelatedWork W2410843444 @default.
- W2126087514 hasRelatedWork W2484670069 @default.
- W2126087514 hasRelatedWork W2488762602 @default.
- W2126087514 hasRelatedWork W2498115930 @default.
- W2126087514 hasRelatedWork W2606234747 @default.
- W2126087514 hasRelatedWork W2976695001 @default.
- W2126087514 hasRelatedWork W2996034766 @default.
- W2126087514 hasRelatedWork W3026054481 @default.
- W2126087514 hasRelatedWork W30351862 @default.
- W2126087514 hasRelatedWork W749460889 @default.
- W2126087514 hasRelatedWork W2174419552 @default.
- W2126087514 hasRelatedWork W2291424557 @default.
- W2126087514 hasRelatedWork W2533345701 @default.
- W2126087514 isParatext "false" @default.
- W2126087514 isRetracted "false" @default.
- W2126087514 magId "2126087514" @default.
- W2126087514 workType "article" @default.