Pub Date : 2009-03-03DOI: 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}
Pub Date : 2009-03-03DOI: 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}
Pub Date : 2009-03-03DOI: 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}
Pub Date : 2009-03-03DOI: 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}
Pub Date : 2009-03-03DOI: 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}
Pub Date : 2009-03-03DOI: 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}
Pub Date : 2009-03-03DOI: 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}
Pub Date : 2009-03-03DOI: 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}
Pub Date : 2009-03-03DOI: 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}
Pub Date : 2009-03-03DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：