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

European Dependable Computing Conference最新文献

筛选
英文 中文
Adding Fault-Tolerance Using Pre-synthesized Components 使用预合成组件添加容错功能
European Dependable Computing Conference Pub Date : 2005-04-20 DOI: 10.1007/11408901_6
S. Kulkarni, Ali Ebnenasir
{"title":"Adding Fault-Tolerance Using Pre-synthesized Components","authors":"S. Kulkarni, Ali Ebnenasir","doi":"10.1007/11408901_6","DOIUrl":"https://doi.org/10.1007/11408901_6","url":null,"abstract":"","PeriodicalId":224428,"journal":{"name":"European Dependable Computing Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130491015","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}
引用次数: 14
Fault Links: Exploring the Relationship Between Module and Fault Types 故障链接:探讨模块与故障类型之间的关系
European Dependable Computing Conference Pub Date : 2005-04-20 DOI: 10.1007/11408901_31
J. Hayes, I. Raphael, Vinod Kumar Surisetty, A. Andrews
{"title":"Fault Links: Exploring the Relationship Between Module and Fault Types","authors":"J. Hayes, I. Raphael, Vinod Kumar Surisetty, A. Andrews","doi":"10.1007/11408901_31","DOIUrl":"https://doi.org/10.1007/11408901_31","url":null,"abstract":"","PeriodicalId":224428,"journal":{"name":"European Dependable Computing Conference","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134403300","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}
引用次数: 12
Performance Evaluation of Consistent Recovery Protocols Using MPICH-GF 基于MPICH-GF的一致性恢复协议性能评价
European Dependable Computing Conference Pub Date : 2005-04-20 DOI: 10.1007/11408901_12
Namyoon Woo, Hyungsoo Jung, Dongin Shin, Hyuck Han, H. Yeom, T. Park
{"title":"Performance Evaluation of Consistent Recovery Protocols Using MPICH-GF","authors":"Namyoon Woo, Hyungsoo Jung, Dongin Shin, Hyuck Han, H. Yeom, T. Park","doi":"10.1007/11408901_12","DOIUrl":"https://doi.org/10.1007/11408901_12","url":null,"abstract":"","PeriodicalId":224428,"journal":{"name":"European Dependable Computing Conference","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133575111","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}
引用次数: 10
An Immune System Paradigm for the Design of Fault Tolerant Systems 容错系统设计的免疫系统范式
European Dependable Computing Conference Pub Date : 2002-10-23 DOI: 10.1007/3-540-36080-8_8
A. Avizienis
{"title":"An Immune System Paradigm for the Design of Fault Tolerant Systems","authors":"A. Avizienis","doi":"10.1007/3-540-36080-8_8","DOIUrl":"https://doi.org/10.1007/3-540-36080-8_8","url":null,"abstract":"","PeriodicalId":224428,"journal":{"name":"European Dependable Computing Conference","volume":"163 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131983379","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}
引用次数: 10
An Architectural Approach to Fault Treatment in Critical Infrastructures 关键基础设施故障处理的体系结构方法
European Dependable Computing Conference Pub Date : 2002-10-23 DOI: 10.1007/3-540-36080-8_10
J. Fiadeiro
{"title":"An Architectural Approach to Fault Treatment in Critical Infrastructures","authors":"J. Fiadeiro","doi":"10.1007/3-540-36080-8_10","DOIUrl":"https://doi.org/10.1007/3-540-36080-8_10","url":null,"abstract":"","PeriodicalId":224428,"journal":{"name":"European Dependable Computing Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128834311","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}
引用次数: 0
BPM Based Robust E-business Application Development (Practical Experience Report) 基于BPM的稳健电子商务应用开发(实践经验报告)
European Dependable Computing Conference Pub Date : 2002-10-23 DOI: 10.1007/3-540-36080-8_4
G. Csertán, A. Pataricza, Péter Harang, O. Dobán, G. Biros, András Dancsecz, F. Friedler
{"title":"BPM Based Robust E-business Application Development (Practical Experience Report)","authors":"G. Csertán, A. Pataricza, Péter Harang, O. Dobán, G. Biros, András Dancsecz, F. Friedler","doi":"10.1007/3-540-36080-8_4","DOIUrl":"https://doi.org/10.1007/3-540-36080-8_4","url":null,"abstract":"","PeriodicalId":224428,"journal":{"name":"European Dependable Computing Conference","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126500339","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
UMLinux - A Versatile SWIFI Tool 一个通用的SWIFI工具
European Dependable Computing Conference Pub Date : 2002-10-23 DOI: 10.1007/3-540-36080-8_16
V. Sieh, Kerstin Buchacker
{"title":"UMLinux - A Versatile SWIFI Tool","authors":"V. Sieh, Kerstin Buchacker","doi":"10.1007/3-540-36080-8_16","DOIUrl":"https://doi.org/10.1007/3-540-36080-8_16","url":null,"abstract":"","PeriodicalId":224428,"journal":{"name":"European Dependable Computing Conference","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123856955","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}
引用次数: 19
An Efficient Solution to the k-Set Agreement Problem k集协议问题的一种有效解
European Dependable Computing Conference Pub Date : 2002-10-23 DOI: 10.1007/3-540-36080-8_6
E. Anceaume, M. Hurfin, Philippe Raipin Parvédy
{"title":"An Efficient Solution to the k-Set Agreement Problem","authors":"E. Anceaume, M. Hurfin, Philippe Raipin Parvédy","doi":"10.1007/3-540-36080-8_6","DOIUrl":"https://doi.org/10.1007/3-540-36080-8_6","url":null,"abstract":"","PeriodicalId":224428,"journal":{"name":"European Dependable Computing Conference","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122730576","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
Model-Based Dependability Evaluation Method for TTP/C Based Systems 基于模型的TTP/C系统可靠性评估方法
European Dependable Computing Conference Pub Date : 2002-10-23 DOI: 10.1007/3-540-36080-8_23
P. Herout, S. Racek, J. Hlavicka
{"title":"Model-Based Dependability Evaluation Method for TTP/C Based Systems","authors":"P. Herout, S. Racek, J. Hlavicka","doi":"10.1007/3-540-36080-8_23","DOIUrl":"https://doi.org/10.1007/3-540-36080-8_23","url":null,"abstract":"","PeriodicalId":224428,"journal":{"name":"European Dependable Computing Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130614952","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}
引用次数: 10
Wrapping Real-Time Systems from Temporal Logic Specifications 从时序逻辑规范包装实时系统
European Dependable Computing Conference Pub Date : 2002-10-23 DOI: 10.1007/3-540-36080-8_22
Manuel Rodríguez, J. Fabre, J. Arlat
{"title":"Wrapping Real-Time Systems from Temporal Logic Specifications","authors":"Manuel Rodríguez, J. Fabre, J. Arlat","doi":"10.1007/3-540-36080-8_22","DOIUrl":"https://doi.org/10.1007/3-540-36080-8_22","url":null,"abstract":"","PeriodicalId":224428,"journal":{"name":"European Dependable Computing Conference","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133241801","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}
引用次数: 26
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信
小红书