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

Latin-American Symposium on Dependable Computing最新文献

筛选
英文 中文
Designing Fault Injection Experiments Using State-Based Model to Test a Space Software 基于状态模型设计空间软件故障注入实验
Latin-American Symposium on Dependable Computing Pub Date : 2007-09-26 DOI: 10.1007/978-3-540-75294-3_13
A. Ambrosio, M. F. Mattiello-Francisco, V. A. S. Júnior, Wendell Pereira da Silva, E. Martins
{"title":"Designing Fault Injection Experiments Using State-Based Model to Test a Space Software","authors":"A. Ambrosio, M. F. Mattiello-Francisco, V. A. S. Júnior, Wendell Pereira da Silva, E. Martins","doi":"10.1007/978-3-540-75294-3_13","DOIUrl":"https://doi.org/10.1007/978-3-540-75294-3_13","url":null,"abstract":"","PeriodicalId":404669,"journal":{"name":"Latin-American Symposium on Dependable Computing","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134390506","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}
引用次数: 16
Security Rationale for a Cooperative Backup Service for Mobile Devices 移动设备协同备份服务的安全原理
Latin-American Symposium on Dependable Computing Pub Date : 2007-09-26 DOI: 10.1007/978-3-540-75294-3_16
Ludovic Courtès, M. Killijian, D. Powell
{"title":"Security Rationale for a Cooperative Backup Service for Mobile Devices","authors":"Ludovic Courtès, M. Killijian, D. Powell","doi":"10.1007/978-3-540-75294-3_16","DOIUrl":"https://doi.org/10.1007/978-3-540-75294-3_16","url":null,"abstract":"","PeriodicalId":404669,"journal":{"name":"Latin-American Symposium on Dependable Computing","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115655656","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
Connectivity in Eventually Quiescent Dynamic Distributed Systems 最终静态动态分布式系统中的连通性
Latin-American Symposium on Dependable Computing Pub Date : 2007-09-26 DOI: 10.1007/978-3-540-75294-3_5
S. Piergiovanni, R. Baldoni
{"title":"Connectivity in Eventually Quiescent Dynamic Distributed Systems","authors":"S. Piergiovanni, R. Baldoni","doi":"10.1007/978-3-540-75294-3_5","DOIUrl":"https://doi.org/10.1007/978-3-540-75294-3_5","url":null,"abstract":"","PeriodicalId":404669,"journal":{"name":"Latin-American Symposium on Dependable Computing","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115061163","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}
引用次数: 15
Architecture-Centric Fault Tolerance with Exception Handling 以体系结构为中心的异常处理容错
Latin-American Symposium on Dependable Computing Pub Date : 2007-09-26 DOI: 10.1007/978-3-540-75294-3_7
P. Brito, R. Lemos, E. Martins, C. M. F. Rubira
{"title":"Architecture-Centric Fault Tolerance with Exception Handling","authors":"P. Brito, R. Lemos, E. Martins, C. M. F. Rubira","doi":"10.1007/978-3-540-75294-3_7","DOIUrl":"https://doi.org/10.1007/978-3-540-75294-3_7","url":null,"abstract":"","PeriodicalId":404669,"journal":{"name":"Latin-American Symposium on Dependable Computing","volume":"134 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127362226","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
Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings 可靠计算，第三届拉丁美洲研讨会，2007，墨西哥，2007年9月26-28日，论文集
Latin-American Symposium on Dependable Computing Pub Date : 2007-09-26 DOI: 10.1007/978-3-540-75294-3
A. Bondavalli, F. Brasileiro, S. Rajsbaum
{"title":"Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings","authors":"A. Bondavalli, F. Brasileiro, S. Rajsbaum","doi":"10.1007/978-3-540-75294-3","DOIUrl":"https://doi.org/10.1007/978-3-540-75294-3","url":null,"abstract":"","PeriodicalId":404669,"journal":{"name":"Latin-American Symposium on Dependable Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127433755","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
BAR - Where Distributed Computing Meets Game Theory 在哪里分布式计算满足游戏理论
Latin-American Symposium on Dependable Computing Pub Date : 2007-09-26 DOI: 10.1007/978-3-540-75294-3_19
L. Alvisi
{"title":"BAR - Where Distributed Computing Meets Game Theory","authors":"L. Alvisi","doi":"10.1007/978-3-540-75294-3_19","DOIUrl":"https://doi.org/10.1007/978-3-540-75294-3_19","url":null,"abstract":"","PeriodicalId":404669,"journal":{"name":"Latin-American Symposium on Dependable Computing","volume":"65 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128021134","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}
引用次数: 4
Component-Based Software Certification Based on Experimental Risk Assessment 基于实验风险评估的构件软件认证
Latin-American Symposium on Dependable Computing Pub Date : 2007-09-26 DOI: 10.1007/978-3-540-75294-3_14
Regina L. O. Moraes, J. Durães, E. Martins, H. Madeira
{"title":"Component-Based Software Certification Based on Experimental Risk Assessment","authors":"Regina L. O. Moraes, J. Durães, E. Martins, H. Madeira","doi":"10.1007/978-3-540-75294-3_14","DOIUrl":"https://doi.org/10.1007/978-3-540-75294-3_14","url":null,"abstract":"","PeriodicalId":404669,"journal":{"name":"Latin-American Symposium on Dependable Computing","volume":"116 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133686512","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}
引用次数: 11
Error Propagation Monitoring on Windows Mobile-Based Devices 基于Windows mobile的设备上的错误传播监控
Latin-American Symposium on Dependable Computing Pub Date : 2007-09-26 DOI: 10.1007/978-3-540-75294-3_9
J. Ribeiro, Bruno Miguel Luís, M. Z. Rela
{"title":"Error Propagation Monitoring on Windows Mobile-Based Devices","authors":"J. Ribeiro, Bruno Miguel Luís, M. Z. Rela","doi":"10.1007/978-3-540-75294-3_9","DOIUrl":"https://doi.org/10.1007/978-3-540-75294-3_9","url":null,"abstract":"","PeriodicalId":404669,"journal":{"name":"Latin-American Symposium on Dependable Computing","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115999469","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
Scaling Dependability and Security in Ad Hoc Networks Ad Hoc网络的可伸缩性、可靠性和安全性
Latin-American Symposium on Dependable Computing Pub Date : 2007-09-26 DOI: 10.1007/978-3-540-75294-3_20
R. Lemos
{"title":"Scaling Dependability and Security in Ad Hoc Networks","authors":"R. Lemos","doi":"10.1007/978-3-540-75294-3_20","DOIUrl":"https://doi.org/10.1007/978-3-540-75294-3_20","url":null,"abstract":"","PeriodicalId":404669,"journal":{"name":"Latin-American Symposium on Dependable Computing","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125064705","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
Coverage-Oriented, Prioritized Testing - A Fuzzy Clustering Approach and Case Study 面向覆盖的优先级测试——模糊聚类方法和案例研究
Latin-American Symposium on Dependable Computing Pub Date : 2007-09-26 DOI: 10.1007/978-3-540-75294-3_8
F. Belli, Mubariz Eminov, N. Gökçe
{"title":"Coverage-Oriented, Prioritized Testing - A Fuzzy Clustering Approach and Case Study","authors":"F. Belli, Mubariz Eminov, N. Gökçe","doi":"10.1007/978-3-540-75294-3_8","DOIUrl":"https://doi.org/10.1007/978-3-540-75294-3_8","url":null,"abstract":"","PeriodicalId":404669,"journal":{"name":"Latin-American Symposium on Dependable Computing","volume":"136 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124609692","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}
引用次数: 16
首页 上一页 下一页 尾页
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学术官方微信