International Conference on Dependable Systems and Networks workshops : [proceedings]. International Conference on Dependable Systems and Networks最新文献

筛选
英文 中文
On representing knowledge in the dependability domain: a panel discussion 关于在可靠性领域表示知识:小组讨论
A. Avizienis
{"title":"On representing knowledge in the dependability domain: a panel discussion","authors":"A. Avizienis","doi":"10.1109/DSN.2008.4630114","DOIUrl":"https://doi.org/10.1109/DSN.2008.4630114","url":null,"abstract":"The objective of the panel is to discuss the urgent need, the means, the progress, the obstacles, and the challenges in creating a structured representation of the contents of the large and very rapidly increasing set of documents that represent knowledge in the technical domain of dependability.","PeriodicalId":90852,"journal":{"name":"International Conference on Dependable Systems and Networks workshops : [proceedings]. International Conference on Dependable Systems and Networks","volume":"103 1","pages":"440-441"},"PeriodicalIF":0.0,"publicationDate":"2008-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86056758","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
International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008) 弹性评估及可靠性基准国际研讨会(RADB 2008)
A. Bondavalli, I. Majzik, A. Moorsel
{"title":"International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008)","authors":"A. Bondavalli, I. Majzik, A. Moorsel","doi":"10.1109/DSN.2008.4630125","DOIUrl":"https://doi.org/10.1109/DSN.2008.4630125","url":null,"abstract":"This workshop summary gives a brief overview of the workshop on ldquoResilience Assessment and Dependability Benchmarkingrdquo held in conjunction with the 38th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008). The workshop aims at the presentation and exchange of ideas from the world wide research community and fostering discussions in order to give answers to the need for improving trustworthiness and understand the current risks inherent to computer systems and infrastructures. In particular the workshop aims at addressing key research challenges related to effective and accurate methods for measuring, assessing and benchmarking dependability and resilience.","PeriodicalId":90852,"journal":{"name":"International Conference on Dependable Systems and Networks workshops : [proceedings]. International Conference on Dependable Systems and Networks","volume":"1 1","pages":"542-543"},"PeriodicalIF":0.0,"publicationDate":"2008-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82591441","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
Silent Data Corruption - Myth or reality? 沉默的数据损坏-神话还是现实?
C. Constantinescu, I. Parulkar, R. Harper, S. Michalak
{"title":"Silent Data Corruption - Myth or reality?","authors":"C. Constantinescu, I. Parulkar, R. Harper, S. Michalak","doi":"10.1109/DSN.2008.4630077","DOIUrl":"https://doi.org/10.1109/DSN.2008.4630077","url":null,"abstract":"The higher complexity of the hardware and software employed by modern computing systems, as well as semiconductor technology scaling, are increasing the likelihood of silent data corruption (SDC). SDC occurs when incorrect data is provided to the user, e.g., written to the memory or I/O system, and no error is triggered. Such events may have catastrophic effects, in the case of life critical applications, and represent a significant cost penalty for businesses. The purpose of this panel is to provide real examples of silent corruption, and discuss solutions for avoiding it. The presentations address SDC generated at the semiconductor device level, as well as the virtualization software level. Techniques for reducing SDC, from the circuit to system level, will be covered. Results of an extensive SDC study, carried out at Los Alamos National Laboratory (LANL) on high-performance computing (HPC) platforms are also given.","PeriodicalId":90852,"journal":{"name":"International Conference on Dependable Systems and Networks workshops : [proceedings]. International Conference on Dependable Systems and Networks","volume":"24 1","pages":"108-109"},"PeriodicalIF":0.0,"publicationDate":"2008-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74884715","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
Welcome Message from the General Chair 主席致欢迎辞
{"title":"Welcome Message from the General Chair","authors":"","doi":"10.1109/DSN.2006.75","DOIUrl":"https://doi.org/10.1109/DSN.2006.75","url":null,"abstract":"","PeriodicalId":90852,"journal":{"name":"International Conference on Dependable Systems and Networks workshops : [proceedings]. International Conference on Dependable Systems and Networks","volume":"28 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2006-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77381742","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
Dependability Benchmarking of Computing Systems - Panel Statement 计算系统的可靠性基准。面板声明
C. Constantinescu, K. Kanoun, H. Madeira, Brendan Murphy, I. Pramanick, Aaron B. Brown
{"title":"Dependability Benchmarking of Computing Systems - Panel Statement","authors":"C. Constantinescu, K. Kanoun, H. Madeira, Brendan Murphy, I. Pramanick, Aaron B. Brown","doi":"10.1109/DSN.2005.76","DOIUrl":"https://doi.org/10.1109/DSN.2005.76","url":null,"abstract":"","PeriodicalId":90852,"journal":{"name":"International Conference on Dependable Systems and Networks workshops : [proceedings]. International Conference on Dependable Systems and Networks","volume":"13 1","pages":"400"},"PeriodicalIF":0.0,"publicationDate":"2005-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89005677","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
Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities 保证案例研讨会:最佳实践、可能的障碍和未来的机会
Charles Howell, S. Guerra, S. Pfleeger, Victoria Stavridou-Coleman
{"title":"Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities","authors":"Charles Howell, S. Guerra, S. Pfleeger, Victoria Stavridou-Coleman","doi":"10.1109/DSN.2004.1311964","DOIUrl":"https://doi.org/10.1109/DSN.2004.1311964","url":null,"abstract":"Summary form only given. The purpose of this workshop is to promote communication among groups with similar challenges in assurance cases - groups that often are unaware of what is being done in other similar communities. We hope that the workshop will start a process of continuing discussion across disciplines on the central challenges and opportunities for assurance cases, and initiate the development of a standard set of best practices and guidelines for developing and assessing assurance cases. In addition to specific summary outputs from the workshop, we will use the workshop as an opportunity to gauge interest and commitment in forming an IEEE sponsored planning group to address possible standards activities for assurance cases. At a minimum we would like to make this the first in a series of annual workshops on assurance cases, and begin to form a cross-discipline community of interest. We have the structured the workshop in three sessions. The first session will focus on current best practices, experiences, and recurring challenges. The second session will focus on promising research (tools, notations, techniques, etc.) and new opportunities for developing, reviewing, and maintaining assurance cases. The final session will include a summary and review of key points from the first two sessions, moderated discussion on important consensus and disagreements, and identification of next steps. Position papers, presentations, and follow up material after the workshop will be posted on the workshop web site only.","PeriodicalId":90852,"journal":{"name":"International Conference on Dependable Systems and Networks workshops : [proceedings]. International Conference on Dependable Systems and Networks","volume":"152 1","pages":"903"},"PeriodicalIF":0.0,"publicationDate":"2004-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86038763","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}
引用次数: 20
DIWANS: Workshop on Dependability Issues in Wireless Ad Hoc Networks and Sensor Networks 无线自组织网络和传感器网络的可靠性问题研讨会
S. Bagchi, D. Blough, P. Santi, N. Vaidya
{"title":"DIWANS: Workshop on Dependability Issues in Wireless Ad Hoc Networks and Sensor Networks","authors":"S. Bagchi, D. Blough, P. Santi, N. Vaidya","doi":"10.1109/DSN.2004.1311961","DOIUrl":"https://doi.org/10.1109/DSN.2004.1311961","url":null,"abstract":"Summary form only given. Widespread proliferation of wireless RF technology has brought the possibility of infrastructureless networking to the forefront. Infrastructureless networks are often referred to as wireless ad hoc networks and they include sensor networks as an important subclass. Dependability issues such as security, reliability, availability, and quality of service are complicated by the wireless and infrastructureless environment. Reliability and availability solutions must account for the varying characteristics of a wireless channel, which is subject to interference, fading, and multipath effects, among other problems. The presence of mobile nodes in many of these settings complicates even further the dependability issues. To date, no conference or workshop has specifically addressed dependability-related issues for ad hoc and sensor networks. One of the goals of this workshop is to bring together researchers to focus exclusively on this important topic, to outline its specific and unique research challenges, and to identify some of the most promising candidate solution methods and techniques to address those challenges. A second, and equally important, goal is to promote synergy between the networking and dependability communities on this topic of mutual concern. DIWANS includes invited talks from several prominent researchers in the field, and peer-reviewed papers on a variety of relevant topics. Most important, however, are the interactions among a diverse set of researchers, working at all network layers and interested in a wide range of problems, from the most fundamental to the most applied.","PeriodicalId":90852,"journal":{"name":"International Conference on Dependable Systems and Networks workshops : [proceedings]. International Conference on Dependable Systems and Networks","volume":"1 1","pages":"900"},"PeriodicalIF":0.0,"publicationDate":"2004-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88684744","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
Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability 实现和分析系统可靠性的跨学科方法研讨会
M. Harrison, L. Strigini
{"title":"Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability","authors":"M. Harrison, L. Strigini","doi":"10.1109/DSN.2004.1311960","DOIUrl":"https://doi.org/10.1109/DSN.2004.1311960","url":null,"abstract":"Summary form only given. The goal of this workshop is to bring together experts from different disciplines and application domains to exchange ideas, make concrete progress across disciplinary barriers, and establish contacts and possible collaborations. At the same time, it is meant to be of value to all DSN participants, providing some introduction to the related disciplines that have value for current dependability problems, examples of what they can deliver, a challenge to consider problems that our individual specialisms may make us neglect, to our peril, and a forum for participants to express needs for interdisciplinary work and experience about its uses and problems. The selected contributions cover overlaps between the 'standard' concerns of dependable systems and networks and those of psychology, sociology and other 'human' sciences, the law, or disciplines that although closely related to DSN are usually under-represented, like human-computer interaction and human reliability. The format of the workshop will emphasize extensive discussion and be geared to achieve effective interchange of ideas among people from different backgrounds.","PeriodicalId":90852,"journal":{"name":"International Conference on Dependable Systems and Networks workshops : [proceedings]. International Conference on Dependable Systems and Networks","volume":"5 1","pages":"899"},"PeriodicalIF":0.0,"publicationDate":"2004-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87650453","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
Does Your Result Checker Really Check? 你的结果检查器真的检查吗?
Lan Guo, Supratik Mukhopadhyay, Bojan Cukic
{"title":"Does Your Result Checker Really Check?","authors":"Lan Guo,&nbsp;Supratik Mukhopadhyay,&nbsp;Bojan Cukic","doi":"10.1109/DSN.2004.1311909","DOIUrl":"https://doi.org/10.1109/DSN.2004.1311909","url":null,"abstract":"<p><p>A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has provided a powerful platform assuring the reliability of software. However, constructing result checkers for most problems requires not only significant domain knowledge but also ingenuity and can be error prone. In this paper we present our experience in validating result checkers using formal methods. We have conducted several case studies in validating result checkers from the commercial LEDA system for combinatorial and geometric computing. In one of our case studies, we detected a logical error in a result checker for a program computing max flow of a graph.</p>","PeriodicalId":90852,"journal":{"name":"International Conference on Dependable Systems and Networks workshops : [proceedings]. International Conference on Dependable Systems and Networks","volume":"2004 ","pages":"399-404"},"PeriodicalIF":0.0,"publicationDate":"2004-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1109/DSN.2004.1311909","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"33331087","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Student Forum 学生论坛
Susanna Donatelli
{"title":"Student Forum","authors":"Susanna Donatelli","doi":"10.1109/dsn.2004.1311965","DOIUrl":"https://doi.org/10.1109/dsn.2004.1311965","url":null,"abstract":"Papers have been selected according to their originality, relevance, and interest to the community. The selection process has been driven by a small “Student Forum committee” that included: Gianfranco Ciardo (University of California at Riverside, USA), Geert Deconinck (Katholieke Universitaet Leuven, Belgium), and Inhwan Lee (Hanyand University, Korea). I have acted as chairperson and I warmly thank my colleagues for their precious help.","PeriodicalId":90852,"journal":{"name":"International Conference on Dependable Systems and Networks workshops : [proceedings]. International Conference on Dependable Systems and Networks","volume":"41 1","pages":"904"},"PeriodicalIF":0.0,"publicationDate":"2004-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82485424","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
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学术官方微信