EW 4最新文献

筛选
英文 中文
Fault-tolerance in very large archival systems 非常大的档案系统中的容错性
EW 4 Pub Date : 1990-09-03 DOI: 10.1145/504136.504144
J. Saltzer
{"title":"Fault-tolerance in very large archival systems","authors":"J. Saltzer","doi":"10.1145/504136.504144","DOIUrl":"https://doi.org/10.1145/504136.504144","url":null,"abstract":"An interesting prospective application for computer systems is really-long-term archival storage of information, as has been traditionally performed by libraries, using books and serials. As costs of large-scale storage devices fall, librarians periodically reevaluate the question of whether or not to commit to digital storage any of the materials in their care. In the past there have been several concerns, but it has not been necessary to think very hard about them because the dominating concern has been that the cost of storage made the idea unworkable.","PeriodicalId":130392,"journal":{"name":"EW 4","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133522465","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Petri nets for modelling fault tolerant distibuted systems in a modular and incremental way 以模块化和增量方式建模容错分布式系统的Petri网
EW 4 Pub Date : 1990-09-03 DOI: 10.1145/504136.504184
F. Cindio, C. Simone
{"title":"Petri nets for modelling fault tolerant distibuted systems in a modular and incremental way","authors":"F. Cindio, C. Simone","doi":"10.1145/504136.504184","DOIUrl":"https://doi.org/10.1145/504136.504184","url":null,"abstract":"In his paper 'Beyond Programming Languages' T. Winograd [1] claims that for modelling complex systems sometimes one needs a temporary suppression of details. In particular, he focuses his attention on the need of a clear distinction between the \"normal\" behaviour of a system, and its more complex behaviour for handling exceptions and possible faults. That is, the relative simplicity of the specification of the first one should not be overloaded with all the details necessary for handling erroneus situations. We also have realized recently the usefulness of such guidelines when we have undertaken the specification and modelling of some case studies in the framework of the ESPRIT BRA #3148 DEMON (DEsign Methods based On Nets). The considered systems [2] are composed of distributed components which synchronize their behaviour to do the job: examples are a Telephon Switching System, a Flexible Manifacturing System, the Lift and the Distributed Termination Problem. Once more we have found that the problem descriptions in general mix the specification of the routine (or normal or standard) cases with the specification of some exceptions and with the requirement of handling possible faults of some system components. This mix makes the","PeriodicalId":130392,"journal":{"name":"EW 4","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132989850","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信