首页>外文会议>其他>IEEE/IFIP International Conference on Dependable Systems and Networks Workshops

IEEE/IFIP International Conference on Dependable Systems and Networks Workshops

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.An independent verification of errors and vulnerabilities in SaaS cloud

机译：独立验证SaaS Cloud中的错误和漏洞
- 作者：Ganesan Rajeshwari;Sarkar Santonu;Tewari Naveen
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
2.Does partial replication pay off?

机译：部分复制是否会退还？
- 作者：Stearley Jon;Ferreira Kurt;Robinson David;Laros Jim;Pedretti Kevin;Arnold Dorian;Bridges Patrick;Riesen Rolf
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
3.Toward a High Availability Cloud: Techniques and Challenges

机译：走向高可用性云：技术和挑战
- 作者：Cuong Pham;Phuong Cao;Zbigniew Kalbarczyk;Ravishankar K. Iyer
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- Cloud Computing;
- Multicore;
- Virtual Machine;
- Availability;
4.Towards incorporating human intelligence into online security solutions

机译：将人类智能纳入在线安全解决方案
- 作者：Zonouz Saman;Berthier Robin;Arhami Negin
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
5.A model for security analysis of smart meters

机译：智能电表安全分析模型
- 作者：Tabrizi Farid Molazem;Pattabiraman Karthik
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
6.Energy considerations in Checkpointing and Fault Tolerance protocols

机译：检查点和容错协议中的能量考虑
- 作者：M. el Mehdi DIOURI;Olivier GLUCK;Laurent LEFEVRE;Franck CAPPELLO
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- Energy consumption;
- Evaluation;
- Fault tolerance protocols;
- Checkpointing;
7.An Independent Verification of Errors and Vulnerabilities in SaaS Cloud

机译：独立验证SaaS Cloud中的错误和漏洞
- 作者：Rajeshwari Ganesan;Santonu Sarkar;Naveen Tewari
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- Permanent and transient error;
- Vulnerability;
- SaaS;
8.6th workshop on recent advances in intrusion tolerance and reSilience (WRAITS 2012)

机译：第六次讲习班关于入侵耐受性和恢复力的最新进展（2012年WRAITS）
- 作者：Gashi Ilir;Kreidl O. Patrick
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
9.A Study of Fault-tolerance Characteristics of Data Center Networks

机译：数据中心网络容错特性研究
- 作者：Yang Liu;Dong Lin;Jogesh Muppala;Mounir Hamdi
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- Fault-Tolerant;
- Data Center Network;
- Evaluation;
10.Dependability as a Cloud Service - A Modular Approach

机译：可靠性作为云服务 - 模块化方法
- 作者：Jan S. Rellermeyer;Saurabh Bagchi
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
11.Towards Resiliency in Embedded Medical Monitoring Devices

机译：朝向嵌入式医疗监控设备的弹性
- 作者：Homa Alemzadeh;Catello Di Martino;Zhanpeng Jin;Zbigniew T. Kalbarczyk;Ravishankar K. Iyer
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
12.A security analysis of Amazon's Elastic Compute Cloud service

机译：亚马逊弹性计算云服务的安全分析
- 作者：Kirda Engin
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
13.TinyChecker: Transparent protection of VMs against hypervisor failures with nested virtualization

机译：tinychecker：使用嵌套虚拟化对虚拟机管理程序失败的VMS透明保护
- 作者：Cheng Tan;Yubin Xia;Haibo Chen;Binyu Zang
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
14.Utilizing Linear Subspaces to Improve Cloud Security

机译：利用线性子空间来提高云安全性
- 作者：David Zage;James Obert
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
15.Defending against VM Rollback Attack

机译：防止VM回滚攻击
- 作者：Yubin Xia;Yutao Liu;Haibo Chen;Binyu Zang
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
16.Physical attack protection with human-secure virtualization in data centers

机译：物理攻击保护在数据中心中的人力安全虚拟化
- 作者：Szefer Jakub;Jamkhedkar Pramod;Yu-Yuan Chen;Lee Ruby B.
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
17.ROSE::FTTransform - A Source-to-Source Translation Framework for Exascale Fault-Tolerance Research

机译：ROSE :: FTTransform - ExaScale容错研究的源代码来源转换框架
- 作者：Jacob Lidman;Daniel J. Quinlan;Chunhua Liao;Sally A. McKee
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- High Performance Computing;
- Redundancy;
- Fault Tolerance;
- Exascale;
- Source-to-Source Compiler;
18.Utilizing linear subspaces to improve cloud security

机译：利用线性子空间来提高云安全性
- 作者：Zage David;Obert James
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
19.A PROGRAMMING MODEL FOR RESILIENCE IN EXTREME SCALE COMPUTING

机译：极度计算中的弹性的编程模型
- 作者：Saurabh Hukerikar;Pedro C. Diniz;Robert F. Lucas
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- Exascale;
- Resilience;
- Fault Tolerance;
- High-Performance Computing;
20.A rigorous approach to the design of resilient cyber-physical systems through co-simulation

机译：通过共模仿真设计弹性网络物理系统的严格方法
- 作者：Fitzgerald John;Pierce Ken;Gamble Carl
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
21.Dependability as a cloud service - a modular approach

机译：可靠性作为云服务 - 模块化方法
- 作者：Rellermeyer Jan S.;Bagchi Saurabh
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
22.Improving resilience of SOA services along space-time dimensions

机译：沿着时空维度提高SOA服务的恢复力
- 作者：Nguyen Quyen L.;Sood Arun
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
23.Design and Implementation of a Hardware Checkpoint/Restart Core

机译：硬件检查点/重启核心的设计与实现
- 作者：Ashwin A. Mendon;Ron Sass;Zachary K. Baker;Justin L. Tripp
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
24.Models for Dependability and Sustainability Analysis of Data Center Cooling Architectures

机译：数据中心冷却架构可靠性和可持续性分析模型
- 作者：Gustavo Callou;Paulo Maciel;Dietmar Tutsch;Julian Araujo
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- Petri nets;
- RBD;
- EFM;
- Dependability Evaluation;
- Sustainability;
- Data Centers;
25.Workshop on open resilient human-aware Cyber-physical systems

机译：开放弹性人为人感知网络物理系统的研讨会
- 作者：Kaaniche Mohamed;Harrison Michael;Kopetz Hermann;Siewiorek Daniel
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
26.Energy considerations in checkpointing and fault tolerance protocols

机译：检查点和容错协议中的能量考虑
- 作者：Diouri M. el Mehdi;Gluck Olivier;Lefevre Laurent;Cappello Franck
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
27.Workshop on Open Resilient human-aware Cyber-physical systems

机译：开放弹性人为人感知网络物理系统的研讨会
- 作者：Mohamed Kaaniche;Michael Harrison;Hermann Kopetz;Daniel Siewiorek
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
28.Osprey: Operating System for Predictable Clouds

机译：osprey：可预测云的操作系统
- 作者：Jan Sacha;Jeff Napper;Sape Mullender;Jim McKie
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- Cloud;
- Virtualization;
- Predictability;
- Real-time;
29.Smart Checklists for Human-Intensive Medical Systems

机译：用于人类密集型医疗系统的智能清单
- 作者：George S. Avrunin;Lori A. Clarke;Leon J. Osterweil;Julian M. Goldman;Tracy Rausch
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- Human-intensive systems;
- Checklists;
- Process Guidance;
- Process Modeling;
- Process Analysis;
30.Evidence of log integrity in policy-based security monitoring

机译：基于策略的安全监控中的日志完整性的证据
- 作者：Montanari Mirko;Huh Jun Ho;Dagit Derek;Bobba Rakesh B.;Campbell Roy H.
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
31.Models for dependability and sustainability analysis of data center cooling architectures

机译：数据中心冷却架构可靠性和可持续性分析模型
- 作者：Callou Gustavo;Maciel Paulo;Tutsch Dietmar;Araujo Julian
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
32.Invited talk: Challenges in Medical Cyber-Physical Systems

机译：邀请谈话：医疗网络系统的挑战
- 作者：Lee Insup
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
33.An Evaluation of Difference and Threshold Techniques for Efficient Checkpoints

机译：高效检查点差异和阈值技术的评估
- 作者：Sean Hogan;Jeff R. Hammond;Andrew A. Chien
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- NWChem;
- Data compression;
- Checkpoint;
- Lempel-ziv;
- Fpc;
- Resilience;
- Fault-tolerance;
34.Asynchronous Checkpoint Migration with MRNet in the Scalable Checkpoint/Restart Library

机译：在可伸缩检查点/重启库中使用MRNET异步检查点迁移
- 作者：Kathryn Mohror;Adam Moody;Bronis R. de Supinski
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
35.On limitations of using cloud storage for data replication

机译：关于使用云存储数据复制的限制
- 作者：Cachin Christian;Junker Birgit;Sorniotti Alessandro
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
36.People-oriented cyber security

机译：以人为本的网络安全
- 作者：Frazier Greg
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
37.Improving Resilience of SOA Services along Space-Time Dimensions

机译：沿着时空维度提高SOA服务的恢复力
- 作者：Quyen L. Nguyen;Arun Sood
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- SCIT;
- Intrusion Tolerance;
- SOA;
- MTTR;
- MTTSF;
- Semi-Markov;
38.Design and implementation of a hardware checkpoint/restart core

机译：硬件检查点/重启核心的设计与实现
- 作者：Mendon Ashwin A.;Sass Ron;Baker Zachary K.;Tripp Justin L.
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
39.Osprey: Operating system for predictable clouds

机译：osprey：可预测云的操作系统
- 作者：Sacha Jan;Napper Jeff;Mullender Sape;McKie Jim
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
40.Towards resiliency in embedded medical monitoring devices

机译：朝向嵌入式医疗监控设备的弹性
- 作者：Alemzadeh Homa;Di Martino Catello;Jin Zhanpeng;Kalbarczyk Zbigniew T.;Iyer Ravishankar K.
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
41.MILS-Related Information Flow Control in the Avionic Domain: A View on Security-Enhancing Software Architectures

机译：海盗域中的密尔相关信息流量控制：安全增强软件架构的视图
- 作者：Kevin Muller;Michael Paulitsch;Sergey Tverdyshev;Holger Blasum
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
42.6th Workshop on Recent Advances in Intrusion Tolerance and reSilience (WRAITS 2012)

机译：第六次讲习班关于入侵耐受性和恢复力的最新进展（2012年WRAITS）
- 作者：Ilir Gashi;O. Patrick Kreidl
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
43.Towards Incorporating Human Intelligence into Online Security Solutions

机译：将人类智能纳入在线安全解决方案
- 作者：Saman Zonouz;Robin Berthier;Negin Arhami
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- Online intrusion detection and response;
- Collaborative filtering;
- System security visualization;
44.A Model for Security Analysis of Smart Meters

机译：智能电表安全分析模型
- 作者：Farid Molazem Tabrizi;Karthik Pattabiraman
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- Security;
- Abstract Model;
- Advanced Metering Infrastructure;
45.A study of fault-tolerance characteristics of data center networks

机译：数据中心网络容错特性研究
- 作者：Liu Yang;Lin Dong;Muppala Jogesh;Hamdi Mounir
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
46.Invited talk: A model and simulation for user-centric automation devices and systems

机译：邀请的谈话：以用户为中心的自动化设备和系统模型和仿真
- 作者：Liu Jane W. S.
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
47.TRONE: Trustworthy and Resilient Operations in a Network Environment

机译：Trone：网络环境中值得信赖和弹性操作
- 作者：Casimiro Antonio;Verissimo Paulo;Kreutz Diego;Araujo Filipe;Barbosa Raul;Neves Samuel;Sousa Bruno;Curado Marilia;Silva Carlos;Gandhi Rajeev;Narasimhan Priya
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
48.A Scalable Double In-memory Checkpoint and Restart Scheme towards Exascale

机译：一个可扩展的双内存检查点，重启方案朝向Exascale
- 作者：Gengbin Zheng;Xiang Ni;Laxmikant V. Kale
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
49.Defending against VM rollback attack

机译：防止VM回滚攻击
- 作者：Yubin Xia;Yutao Liu;Chen Haibo;Zang Binyu
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
50.Chaotic-identity maps for robustness estimation of exascale computations

机译：Exasgale计算鲁棒性估计的混沌 - 身份映射
- 作者：Rao Nageswara S. V.
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
51.The TClouds Architecture: Open and Resilient Cloud-of-clouds Computing

机译：Tclouds架构：打开和弹性云计算
- 作者：Paulo Verissimo;Alysson Bessani;Marcelo Pasin
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
52.TinyChecker: Transparent Protection of VMs against Hypervisor Failures with Nested Virtualization

机译：tinychecker：使用嵌套虚拟化对虚拟机管理程序失败的VMS透明保护
- 作者：Cheng Tan;Yubin Xia;Haibo Chen;Binyu Zang
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- Hypervisor failure;
- Failure detection;
- Fault tolerance;
53.Asynchronous checkpoint migration with MRNet in the Scalable Checkpoint / Restart Library

机译：在可伸缩检查点/重启库中使用MRNET异步检查点迁移
- 作者：Mohror Kathryn;Moody Adam;de Supinski Bronis R.
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
54.A message-logging protocol for multicore systems

机译：用于多核系统的消息记录协议
- 作者：Meneses Esteban;Ni Xiang;Kale Laxmikant V.
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
55.Avoiding common security flaws in composed service-oriented systems

机译：避免在由面向服务的系统系统中避免共同的安全漏洞
- 作者：Atighetchi Michael;Pal Partha;Loyall Joseph;Sinclair Asher
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
56.Smart checklists for human-intensive medical systems

机译：用于人类密集型医疗系统的智能清单
- 作者：Avrunin George S.;Clarke Lori A.;Osterweil Leon J.;Goldman Julian M.;Rausch Tracy
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
57.The TClouds architecture: Open and resilient cloud-of-clouds computing

机译：Tclouds架构：打开和弹性云计算
- 作者：Verissimo Paulo;Bessani Alysson;Pasin Marcelo
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
58.Does Partial Replication Pay Off?

机译：部分复制是否会退还？
- 作者：Jon Stearley;Kurt Ferreira;David Robinson;Jim Laros;Kevin Pedretti;Dorian Arnold;Patrick Bridges;Rolf Riesen
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
59.Avoiding Common Security Flaws in Composed Service-Oriented Systems

机译：避免在由面向服务的系统系统中避免共同的安全漏洞
- 作者：Michael Atighetchi;Partha Pal;Joseph Loyall;Asher Sinclair
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- Service Oriented Architecture;
- Trustworthy system design;
- Information Assurance;
- Survivability;
60.TRONE: Trustworthy and Resilient Operations in a Network Environment

机译：Trone：网络环境中值得信赖和弹性操作
- 作者：Antonio Casimiro;Paulo Verissimo;Diego Kreutz;Filipe Araujo;Raul Barbosa;Samuel Neves;Bruno Sousa;Marilia Curado;Carlos Silva;Rajeev Gandhi;Priya Narasimhan
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- Cloud Computing;
- Trustworthy Monitoring;
- Intrusion Tolerance;
- Root-Cause Analysis;
61.MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures

机译：海盗域中的密尔相关信息流量控制：安全增强软件架构的视图
- 作者：Muller Kevin;Paulitsch Michael;Tverdyshev Sergey;Blasum Holger
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
62.Invited talk: Virtual coaches in health care

机译：邀请谈话：保健中的虚拟教练
- 作者：Siewiorek Daniel P.
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
63.Chaotic-Identity Maps for Robustness Estimation of Exascale Computations

机译：Exasgale计算鲁棒性估计的混沌 - 身份映射
- 作者：Nageswara S. V. Rao
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
64.A Rigorous Approach to the Design of Resilient Cyber-physical Systems through Co-Simulation

机译：通过共模仿真设计弹性网络物理系统的严格方法
- 作者：John Fitzgerald;Ken Pierce;Carl Gamble
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- Cyber-physical systems;
- Co-simulation;
- Resilience;
- Fault tolerance;
- Formal methods;
65.On the complexity of scheduling checkpoints for computational workflows

机译：论计算工作流程调度检查点的复杂性
- 作者：Robert Yves;Vivien Frederic;Zaidouni Dounia
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
66.A programming model for resilience in extreme scale computing

机译：极度计算中的弹性的编程模型
- 作者：Hukerikar Saurabh;Diniz Pedro C.;Lucas Robert F.
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
67.Toward a high availability cloud: Techniques and challenges

机译：走向高可用性云：技术和挑战
- 作者：Pham Cuong;Phuong Cao;Kalbarczyk Zbigniew;Iyer Ravishankar K.
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
68.Evidence of Log Integrity in Policy-based Security Monitoring

机译：基于策略的安全监控中的日志完整性的证据
- 作者：Mirko Montanari;Jun Ho Huh;Derek Dagit;Rakesh B. Bobba;Roy H. Campbell
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
69.On the complexity of scheduling checkpoints for computational workflows

机译：论计算工作流程调度检查点的复杂性
- 作者：Yves Robert;Frederic Vivien;Dounia Zaidouni
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
70.Physical Attack Protection with Human-Secure Virtualization in Data Centers

机译：物理攻击保护在数据中心中的人力安全虚拟化
- 作者：Jakub Szefer;Pramod Jamkhedkar;Yu-Yuan Chen;Ruby B. Lee
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- Physical attacks;
- Data center;
- Moving target defense;
71.A scalable double in-memory checkpoint and restart scheme towards exascale

机译：一个可扩展的双内存检查点，重启方案朝向Exascale
- 作者：Zheng Gengbin;Xiang Ni;Kale Laxmikant V.
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
72.A Message-Logging Protocol for Multicore Systems

机译：用于多核系统的消息记录协议
- 作者：Esteban Meneses;Xiang Ni;Laxmikant V. Kale
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- Fault tolerance;
- Message logging;
- Multicore systems;
73.Panel: Challenges and research directions in resilient cyber-physical systems

机译：小组：弹性网络系统中的挑战和研究方向
- 作者：(missing)
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
74.An evaluation of difference and threshold techniques for efficient checkpoints

机译：高效检查点差异和阈值技术的评估
- 作者：Hogan Sean;Hammond Jeff R.;Chien Andrew A.
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
75.ROSE::FTTransform - A source-to-source translation framework for exascale fault-tolerance research

机译：ROSE :: FTTransform - ExaScale容错研究的源代码来源转换框架
- 作者：Lidman Jacob;Quinlan Daniel J.;Liao Chunhua;McKee Sally A.
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
76.On Limitations of Using Cloud Storage for Data Replication

机译：关于使用云存储数据复制的限制
- 作者：Christian Cachin;Birgit Junker;Alessandro Sorniotti
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2012年
- Data storage;
- Resilience;
- Replication;
- Quorum systems;
- Wait-freedom;
- Consensus number;
77.Service Deterioration Analysis (SDA): An Early Development Phase Dependability Analysis Method

机译：服务恶化分析（SDA）：早期开发阶段可靠性分析方法
- 作者：Macher Georg;Holler Andrea;Sporer Harald;Armengaud Eric;Kreiner Christian
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
- HARA;
- automotive;
- reliability quantification;
- system analysis;
78.MB4CP 2015 Keynote I: Dependability Modeling and Analysis Methods Integrated in Model-Driven Industrial Architectural Frameworks

机译：MB4CP 2015 Keynote I：依赖性建模和分析方法集成在模型驱动的工业架构框架中
- 作者：Bondavalli Andrea
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
79.Semi-automatic Generation of Extended Finite State Machines from Natural Language Standard Documents

机译：来自自然语言标准文档的半自动生成扩展有限状态机
- 作者：Greghi Juliana Galvani;Martins Eliane;Carvalho Ariadne Maria Brito Rizzoni
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
- Aerospace Domain;
- Extended Finite State Machines;
- Model Generation;
- Natural Language Processing;
80.SSIV 2015 Keynote II: From Embedded Systems to Autonomous Cooperating Objects

机译：SSIV 2015 Keynote II：从嵌入式系统到自主协作对象
- 作者：Verissimo Paulo
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
81.SSIV 2015 Keynote I: On the Security of Critical Cyber-Physical Systems

机译：SSIV 2015主题演讲I：关于关键网络物理系统的安全性
- 作者：Gallo Roberto
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
82.An Approach to Clustering and Sequencing of Textual Requirements

机译：群集和排序文本要求的方法
- 作者：Barbosa Ricardo;Januario Daniele;Silva Ana Estela;Moraes Regina;Martins Paulo
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
- Agile Processes;
- Clustering;
- Sequencing;
- Textual Requirements;
- User Stories;
83.The Use of a Graphic Processing Unit (GPU) in a Real Time Visual Odometry Application

机译：使用图形处理单元（GPU）在实时视觉内径应用程序中
- 作者：Vargas Jaime Armando Delgado;Kurka Paulo Roberto Gardel
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
- GPU;
- SURF;
- Visual odometry;
- stereoscopic vision;
84.Advantages in Crash Severity Prediction Using Vehicle to Vehicle Communication

机译：使用车辆到车辆通信的碰撞严重性预测中的优点
- 作者：Boehmlaender Dennis;Hasirlioglu Sinan;Yano Vitor;Lauerer Christian;Brandmeier Thomas;Zimmer Alessandro
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
- Sensor Fusion;
- Target Tracking;
- crash severity;
- time to collision;
- vehicle-to-vehicle (V2V) communication;
85.Implementation of Failure Detector Based on Network Function Virtualization

机译：基于网络功能虚拟化的故障检测器的实现
- 作者：Turchetti Rogerio C.;Duarte Elias Procopio
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
86.Using Data Integrity as an Improvement Characteristic to Assess the Safety of ADS-B-based Systems

机译：利用数据完整性作为评估基于ADS-B系统的安全性的改进特性
- 作者：Sesso Daniel Baraldi;Vismari Lucio F.;Neto Antonio V.Silva;Cugnasca Paulo S.;Camargo Joao B.
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
- ADS-B;
- GNSS;
- Integrity;
- RAIM;
- Safety;
- UAS;
87.Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System

机译：量化外部攻击对分布式自动轨道警告系统的影响
- 作者：Montecchi Leonardo;Lollini Paolo;Bondavalli Andrea
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
- 802.11;
- quantitative evaluation;
- railway;
- security;
- vulnerabilities;
88.Improving Intelligent Vehicle Dependability by Means of Infrastructure-Induced Tests

机译：通过基础设施引起的测试提高智能车辆可靠性
- 作者：Steiner Wilfried;Mehmed Ayhan;Punnekkat Sasikumar
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
89.RADIANCE 2015 Keynote: Challenges in Engineering Dependable Self-Adaptive System

机译：Radiance 2015主题：工程可靠自适应系统中的挑战
- 作者：Schmerl Bradley
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
90.Studying the Propagation of Failures in SOAs

机译：研究SOA中失败的传播
- 作者：Areias Cristiana;Cunha Joao Carlos;Vieira Marco
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
- FMEA;
- Runtime Vamp;
- V;
- SOA;
- failure propagation;
- fault injection;
91.MB4CP 2015 Keynote II: Resilience of Cyber-Physical Energy Systems

机译：MB4CP 2015 Keynote II：网络物理能源系统的弹性
- 作者：Verissimo Paulo Esteves
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
92.Towards Assessing Representativeness of Fault Injection-Generated Failure Data for Online Failure Prediction

机译：评估故障注射生成的故障数据的代表性在线故障预测
- 作者：Irrera Ivano;Vieira Marco
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
93.Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues

机译：复杂和综合空间系统中缺陷类型影响的评估：基于ODC和ISVV问题的分析
- 作者：Silva Nuno;Vieira Marco;Ricci Dario;Cotroneo Domenico
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
- Critical Systems;
- Dependability;
- International standards;
- Issues;
- ODC;
- Quality improvement;
- Safety;
- software engineering;
94.A Learning-Based Autonomous Control System Approach for Collision Avoidance within an Unmanned Aircraft

机译：无人驾驶飞机内采用碰撞的基于学习的自主控制系统方法
- 作者：Matsumoto Thiago Toshio;Vismari Lucio Flavio;Gimenes Ricardo Alexandre Veiga;Almeida Jorge Rady de;Camargo Joao B.
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
- UAS;
- safety;
- sense and avoid;
95.A Virtual Fault Injection Framework for Reliability-Aware Software Development

机译：可靠性感知软件开发的虚拟故障注入框架
- 作者：Holler Andrea;Macher Georg;Rauter Tobias;Iber Johannes;Kreiner Christian
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
- COTS;
- OTS;
- QEMU;
- dependability;
- fault injection;
- reliability;
- software-based fault tolerance;
96.Using Simulation, Fault Injection and Property-Based Testing to Evaluate Collision Avoidance of a Quadcopter System

机译：使用仿真，故障注入和基于物业的测试来评估突破Quadcopter系统的碰撞
- 作者：Vedder Benjamin;Vinter Jonny;Jonsson Magnus
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
- Fault Injection;
- Fault Model;
- FaultCheck;
- Property-Based Testing;
- Quadcopter;
- QuickCheck;
- Simulation;
97.Cost Prediction for VV and Certification Processes

机译：V＆V和认证过程的成本预测
- 作者：Brancati Francesco;Pataricza Andras;Silva Nuno;Hegedus Abel;Gonczy Laszlo;Bondavalli Andrea;Esposito Rosaria
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
- "what-if" analysis;
- Vamp;
- V;
- cost estimation;
- project management;
- safety critical system design;
98.Software Faults Emulation at Model-Level: Towards Automated Software FMEA

机译：模型级别的软件故障仿真：对自动化软件FMEA
- 作者：Bonfiglio Valentina;Montecchi Leonardo;Irrera Ivano;Rossi Francesco;Lollini Paolo;Bondavalli Andrea
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
- ALF;
- component-based;
- executable model;
- fUML;
- model-implemented fault injection;
- software safety analysis;
99.Heading Controller for a Fixed Wing UAV with Reduced Control Surfaces Based on ANFIS

机译：用于固定翼UAV的标题控制器，其基于ANFIS减少控制表面
- 作者：Esper Ian de Medeiros;Rosa Paulo Fernando Ferreira
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
- ANFIS;
- Adaptive Control Systems;
- Heading Control;
- UAV;
100.SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter Environment

机译：Serene：在为基于SDN的多租户数据中心环境建立安全和弹性网络服务
- 作者：Chung Chun-Jen;Xing Tianyi;Huang Dijiang;Medhi Deep;Trivedi Kishor
- 会议名称：《IEEE/IFIP International Conference on Dependable Systems and Networks Workshops》 | 2015年
- multi-tenant datacenter;
- security and resilience;