发布求助
文献互助 智能选刊 最新文献

Methods, Models and Tools for Fault Tolerance最新文献

筛选
英文 中文
Step-Wise Development of Resilient Ambient Campus Scenarios 弹性校园环境场景的分步发展
Methods, Models and Tools for Fault Tolerance Pub Date : 2009-03-03 DOI: 10.1007/978-3-642-00867-2_14
A. Iliasov, B. Arief, A. Romanovsky
{"title":"Step-Wise Development of Resilient Ambient Campus Scenarios","authors":"A. Iliasov, B. Arief, A. Romanovsky","doi":"10.1007/978-3-642-00867-2_14","DOIUrl":"https://doi.org/10.1007/978-3-642-00867-2_14","url":null,"abstract":"","PeriodicalId":338674,"journal":{"name":"Methods, Models and Tools for Fault Tolerance","volume":"10 12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116465484","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}
引用次数: 1
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic 用道义逻辑推理系统退化和故障恢复
Methods, Models and Tools for Fault Tolerance Pub Date : 2009-03-03 DOI: 10.1007/978-3-642-00867-2_2
Pablo F. Castro, T. Maibaum
{"title":"Reasoning about System-Degradation and Fault-Recovery with Deontic Logic","authors":"Pablo F. Castro, T. Maibaum","doi":"10.1007/978-3-642-00867-2_2","DOIUrl":"https://doi.org/10.1007/978-3-642-00867-2_2","url":null,"abstract":"","PeriodicalId":338674,"journal":{"name":"Methods, Models and Tools for Fault Tolerance","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128812026","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}
引用次数: 9
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction 多智能体交互中指定容错的Event-B模式
Methods, Models and Tools for Fault Tolerance Pub Date : 2009-03-03 DOI: 10.1007/978-3-642-00867-2_6
Elisabeth Ball, M. Butler
{"title":"Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction","authors":"Elisabeth Ball, M. Butler","doi":"10.1007/978-3-642-00867-2_6","DOIUrl":"https://doi.org/10.1007/978-3-642-00867-2_6","url":null,"abstract":"","PeriodicalId":338674,"journal":{"name":"Methods, Models and Tools for Fault Tolerance","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114140489","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}
引用次数: 37
Documenting the Progress of the System Development 记录系统开发的进度
Methods, Models and Tools for Fault Tolerance Pub Date : 2009-03-03 DOI: 10.1007/978-3-642-00867-2_12
M. Plaska, M. Waldén, C. Snook
{"title":"Documenting the Progress of the System Development","authors":"M. Plaska, M. Waldén, C. Snook","doi":"10.1007/978-3-642-00867-2_12","DOIUrl":"https://doi.org/10.1007/978-3-642-00867-2_12","url":null,"abstract":"","PeriodicalId":338674,"journal":{"name":"Methods, Models and Tools for Fault Tolerance","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123113165","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}
引用次数: 8
Recording process documentation in the presence of failures in service oriented architectures 在面向服务的体系结构中出现故障时记录流程文档
Methods, Models and Tools for Fault Tolerance Pub Date : 2009-03-03 DOI: 10.1007/978-3-642-00867-2_10
Zheng Chen
{"title":"Recording process documentation in the presence of failures in service oriented architectures","authors":"Zheng Chen","doi":"10.1007/978-3-642-00867-2_10","DOIUrl":"https://doi.org/10.1007/978-3-642-00867-2_10","url":null,"abstract":"","PeriodicalId":338674,"journal":{"name":"Methods, Models and Tools for Fault Tolerance","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121257477","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
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems 通信系统容错与并行性的形式化推理
Methods, Models and Tools for Fault Tolerance Pub Date : 2009-03-03 DOI: 10.1007/978-3-642-00867-2_7
L. Laibinis, E. Troubitsyna, Sari Leppänen
{"title":"Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems","authors":"L. Laibinis, E. Troubitsyna, Sari Leppänen","doi":"10.1007/978-3-642-00867-2_7","DOIUrl":"https://doi.org/10.1007/978-3-642-00867-2_7","url":null,"abstract":"","PeriodicalId":338674,"journal":{"name":"Methods, Models and Tools for Fault Tolerance","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123797311","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
Design and Verification of Fault-Tolerant Components 容错组件的设计与验证
Methods, Models and Tools for Fault Tolerance Pub Date : 2009-03-03 DOI: 10.1007/978-3-642-00867-2_4
Miaomiao Zhang, Zhiming Liu, C. Morisset, A. Ravn
{"title":"Design and Verification of Fault-Tolerant Components","authors":"Miaomiao Zhang, Zhiming Liu, C. Morisset, A. Ravn","doi":"10.1007/978-3-642-00867-2_4","DOIUrl":"https://doi.org/10.1007/978-3-642-00867-2_4","url":null,"abstract":"","PeriodicalId":338674,"journal":{"name":"Methods, Models and Tools for Fault Tolerance","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121969383","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}
引用次数: 24
Temporal Verification of Fault-Tolerant Protocols 容错协议的时间验证
Methods, Models and Tools for Fault Tolerance Pub Date : 2009-03-03 DOI: 10.1007/978-3-642-00867-2_3
Michael Fisher, B. Konev, A. Lisitsa
{"title":"Temporal Verification of Fault-Tolerant Protocols","authors":"Michael Fisher, B. Konev, A. Lisitsa","doi":"10.1007/978-3-642-00867-2_3","DOIUrl":"https://doi.org/10.1007/978-3-642-00867-2_3","url":null,"abstract":"","PeriodicalId":338674,"journal":{"name":"Methods, Models and Tools for Fault Tolerance","volume":"39 7","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120899607","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}
引用次数: 6
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process 在正确的开发过程中使用偏差进行容错需求分析
Methods, Models and Tools for Fault Tolerance Pub Date : 2009-03-03 DOI: 10.1007/978-3-642-00867-2_13
A. Berlizev, N. Guelfi
{"title":"Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process","authors":"A. Berlizev, N. Guelfi","doi":"10.1007/978-3-642-00867-2_13","DOIUrl":"https://doi.org/10.1007/978-3-642-00867-2_13","url":null,"abstract":"","PeriodicalId":338674,"journal":{"name":"Methods, Models and Tools for Fault Tolerance","volume":"348 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122762083","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
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability 利用固有的服务冗余和多样性来保证Web服务的可靠性
Methods, Models and Tools for Fault Tolerance Pub Date : 2009-03-03 DOI: 10.1007/978-3-642-00867-2_15
A. Gorbenko, V. Kharchenko, A. Romanovsky
{"title":"Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability","authors":"A. Gorbenko, V. Kharchenko, A. Romanovsky","doi":"10.1007/978-3-642-00867-2_15","DOIUrl":"https://doi.org/10.1007/978-3-642-00867-2_15","url":null,"abstract":"","PeriodicalId":338674,"journal":{"name":"Methods, Models and Tools for Fault Tolerance","volume":"IA-20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126559342","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}
引用次数: 40
下一页 尾页
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学术官方微信