掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop
Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop
召开年:
2013
召开地:
Budapest(HU)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Reducing service failures by failure and workload aware load balancing in SaaS clouds
机译:
通过SaaS云中的故障和负载感知负载平衡减少服务故障
作者:
Roy Arpan
;
Ganesan Rajeshwari
;
Dash Dinesh
;
Sarkar Santonu
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
VM migration;
cloud data center;
coefficient of variation;
discrete event simulation;
failure model;
software aging;
2.
Storage-efficient data replica number computation for multi-level priority data in distributed storage systems
机译:
分布式存储系统中多级优先级数据的高效存储数据副本数计算
作者:
Cai Chris X.
;
Abad Cristina L.
;
Campbell Roy H.
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
availability;
budget;
optimization;
replication;
storage system;
3.
Predicting job completion times using system logs in supercomputing clusters
机译:
在超级计算集群中使用系统日志预测作业完成时间
作者:
Chen Xin
;
Lu Charng-Da
;
Pattabiraman Karthik
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Hidden Markov Model;
Log Analysis;
Prediction;
4.
Reliable mission deployment in vulnerable distributed systems
机译:
在脆弱的分布式系统中可靠地执行任务
作者:
Albanese Massimiliano
;
Jajodia Sushil
;
Jhawar Ravi
;
Piuri Vincenzo
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Data-driven reliability;
mission-centric computing;
vulnerability analysis;
5.
Practical Experiences with real-world systems: Security in the world of reliable and safe systems
机译:
实际系统的实践经验:可靠和安全的系统中的安全性
作者:
Silva Nuno
;
Lopes Rui
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Data Analysis;
Reliability;
Safety;
Security;
railway;
safety critical;
signalling system;
6.
Interoperability in fingerprint recognition: A large-scale empirical study
机译:
指纹识别的互操作性:大规模的经验研究
作者:
Lugini Luca
;
Marasco Emanuela
;
Cukic Bojan
;
Gashi Ilir
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
7.
SAFE: Shoulder-surfing attack filibustered with ease
机译:
安全:轻松应对肩膀冲浪攻击
作者:
Gowraj Narayan
;
Avireddy Srinivas
;
Ravi Prasanna Venkatesh
;
Subramanian Raghav Babu
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
GUA;
authentication;
look-up table;
shoulder-surfing;
8.
Workshop on reliability and security data analysis RSDA 2013
机译:
RSDA 2013可靠性和安全性数据分析研讨会
作者:
Di Martino Catello
;
Pecchia Antonio
;
Stearley Jon
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
9.
Data fusion-base anomay detection in networked critical infrastructures
机译:
网络关键基础架构中基于数据融合的异常检测
作者:
Genge Bela
;
Siaterlis Christos
;
Karopoulos Georgios
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Anomaly Detection System;
DDoS;
Data Fusion;
MPLS;
Networked Critical Infrastructures;
SCADA;
10.
Investigating DNS traffic anomalies for malicious activities
机译:
调查DNS流量异常以进行恶意活动
作者:
Yarochkin Fyodor
;
Kropotov Vladimir
;
Huang Yennun
;
Ni Guo-Kai
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
11.
Scalable security analysis in hierarchical attack representation model using centrality measures
机译:
使用集中度度量的分层攻击表示模型中的可扩展安全性分析
作者:
Hong Jin B.
;
Kim Dong Seong
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Attack Graph;
Attack Tree;
Network Centrality;
Security Analysis;
Security Modelling Techniques;
12.
Automatic collection of failure data from the iOS platform
机译:
从iOS平台自动收集故障数据
作者:
Cinque Marcello
;
Cotroneo Domenico
;
Rodriguez-Dominguez Carlos
;
Garrido Jose Luis
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
failure data collection;
iOS;
smart phones;
13.
Towards evaluating the impact of data quality on service applications
机译:
评估数据质量对服务应用程序的影响
作者:
Ivaki Naghmeh
;
Laranjeiro Nuno
;
Vieira Marco
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
data quality;
database application;
robustness assessment;
services;
testing;
14.
Golden-run alignment for analysis of robustness testing results: dealing with diagnostics issues
机译:
进行鲁棒性分析以分析鲁棒性测试结果:处理诊断问题
作者:
Lemos Gizelle Sandrini
;
Martins Eliane
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
golden run comparison;
robustness testing result analysis;
sequence alignment;
15.
A framework for runtime VV in business-critical Service Oriented Architectures
机译:
业务关键的面向服务的体系结构中的运行时V&V框架
作者:
Areias Cristiana
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Service Oriented Architecture;
Verification and Validation;
16.
BARLEY: Modelling program behavior with resource usage
机译:
BARLEY:使用资源使用情况对程序行为进行建模
作者:
Leach Kevin
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
17.
Fault-tolerant broadcast algorithms for the virtual hypercube topology
机译:
虚拟超立方体拓扑的容错广播算法
作者:
Rodrigues Luiz A.
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
18.
Improving the dependability of FPGA-based real-time embedded systems with partial dynamic reconfiguration
机译:
通过部分动态重新配置提高基于FPGA的实时嵌入式系统的可靠性
作者:
Nunes Jose Luis
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
FPGA;
SEU;
dependability;
embedded systems;
real-time;
19.
Detecting and tolerating data corruptions due to device driver defects
机译:
检测和容忍由于设备驱动程序缺陷导致的数据损坏
作者:
Fucci Francesco
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Data Corruption;
Device Drivers;
Fault Tolerance;
Operating Systems;
20.
IOCheck: A framework to enhance the security of I/O devices at runtime
机译:
IOCheck:一种在运行时增强I / O设备安全性的框架
作者:
Zhang Fengwei
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Firmware;
I/O Configurations;
Integrity;
SMM;
21.
2
nd
workshop on open resilient human-aware cyber-physical systems
机译:
第2届 sup> nd sup>研讨会,内容涉及开放的,具有适应性的人类感知网络物理系统
作者:
Kaaniche Mohamed
;
Harrison Michael
;
Kopetz Hermann
;
Siewiorek Daniel
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
22.
Keynote: Toward vehicle automation ADAS, the new challenges
机译:
主题演讲:面向汽车自动化ADAS,新挑战
作者:
Boverie Serge
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
23.
Autonomous Emergency Braking: A System-of-Systems perspective
机译:
自主紧急制动:系统视角
作者:
Kopetz Hermann
;
Poledna Stephan
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Autonomous Emergency Braking;
SoS;
System-of-Systems;
emergence;
24.
Keynote: Detecting cognitive state for operators of cyber-physical systems: Design of experiments
机译:
主题演讲:检测网络物理系统运营商的认知状态:实验设计
作者:
Maxion Roy
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
25.
Survey on security threats and protection mechanisms in embedded automotive networks
机译:
嵌入式汽车网络中的安全威胁和保护机制调查
作者:
Studnia Ivan
;
Nicomette Vincent
;
Alata Eric
;
Deswarte Yves
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
26.
On reliability analysis of leader election protocols for virtual traffic lights
机译:
虚拟交通信号灯领导选举协议的可靠性分析
作者:
Fathollahnejad Negin
;
Villani Emilia
;
Pathan Risat
;
Barbosa Raul
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Virtual traffic lights;
autonomous driving;
consensus protocols;
reliability analysis;
27.
The KARYON project: Predictable and safe coordination in cooperative vehicular systems
机译:
KARYON项目:协作车辆系统中可预测的安全协调
作者:
Casimiro Antonio
;
Kaiser Jorg
;
Schiller Elad M.
;
Costa Pedro
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
28.
Driver performance in the presence of adaptive cruise control related failures: Implications for safety analysis and fault tolerance
机译:
出现与自适应巡航控制相关的故障时的驾驶员性能:安全分析和容错的含义
作者:
Nilsson Josef
;
Strand Niklas
;
Falcone Paolo
;
Vinter Jonny
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
adaptive cruise control;
controllability;
driver behavior;
failure model;
29.
Towards Systems Resilience
机译:
迈向系统弹性
作者:
Maruyama Hiroshi
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
adaptability;
diversity;
extreme events;
redundancy;
resilience;
30.
FORISK: Formalizing information security risk and compliance management
机译:
FORISK:正式化信息安全风险和合规性管理
作者:
Fenz Stefan
;
Neubauer Thomas
;
Accorsi Rafael
;
Koslowski Thomas
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
compliance management;
information security;
resilience management;
semantic technolgies;
31.
Key issues in service systems resilience
机译:
服务系统弹性中的关键问题
作者:
Furuta Kazuo
;
Kanno Taro
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
dependency analysis;
service infrastructure;
service systems;
stakeholders;
32.
Model-based evaluation of system resilience
机译:
基于模型的系统弹性评估
作者:
Meyer J.F.
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
33.
Resilience modeling by means of a set of recursive functions
机译:
通过一组递归函数进行弹性建模
作者:
Pont Maria Teresa Signes
;
Garcia Chamizo Juan Manuel
;
Mora Higinio Mora
;
Pascual Jeronimo Mora
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
behavioral modeling;
complex systems;
recursive functions;
resilience design principles;
system archetypes;
34.
Behavioral aspects for agent-based models of resilient urban systems
机译:
基于代理的弹性城市系统模型的行为方面
作者:
Brudermann Thomas
;
Yamagata Yoshiki
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
extreme events;
heuristics;
human decision making;
mass psychology;
social resilience;
35.
An intrusion-tolerant firewall design for protecting SIEM systems
机译:
用于保护SIEM系统的容忍入侵防火墙设计
作者:
Garcia Miguel
;
Neves Nuno
;
Bessani Alysson
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Firewall;
Intrusion Prevention Systems;
Intrusion Tolerance;
36.
Community-based resilient electricity sharing: Optimal spatial clustering
机译:
基于社区的弹性电力共享:最佳空间聚类
作者:
Yamagata Yoshiki
;
Seya Hajime
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
CO2 neutral;
Electricity sharing;
PV;
spatial clustering;
37.
Cyber security problem based on Multi-Objective Distributed Constraint Optimization technique
机译:
基于多目标分布式约束优化技术的网络安全问题
作者:
Okimoto Tenda
;
Ikegai Naoto
;
Inoue Katsumi
;
Okada Hitoshi
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Cyber Security Problem;
Multi-Objective Distributed Constraint Optimization;
38.
SCoRe: An across-the-board metric for computer systems resilience benchmarking
机译:
SCoRe:计算机系统弹性基准测试的全面指标
作者:
Almeida Raquel
;
Araujo Neto Afonso
;
Vieira Marco
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Resilience;
benchmarking;
change scenario;
changeload;
metrics;
resilient systems;
39.
SCoRe: An across-the-board metric for computer systems resilience benchmarking
机译:
得分:计算机系统的跨板度量标准弹性基准
作者:
Almeida Raquel
;
Araujo Neto Afonso
;
Vieira Marco
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Resilience;
benchmarking;
change scenario;
changeload;
metrics;
resilient systems;
40.
FORISK: Formalizing information security risk and compliance management
机译:
formisk:正式化信息安全风险和合规性管理
作者:
Fenz Stefan
;
Neubauer Thomas
;
Accorsi Rafael
;
Koslowski Thomas
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
compliance management;
information security;
resilience management;
semantic technolgies;
41.
Scalable security analysis in hierarchical attack representation model using centrality measures
机译:
使用中心度测量的分层攻击表示模型中的可扩展安全分析
作者:
Hong Jin B.
;
Kim Dong Seong
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Attack Graph;
Attack Tree;
Network Centrality;
Security Analysis;
Security Modelling Techniques;
42.
Key issues in service systems resilience
机译:
服务系统恢复力的关键问题
作者:
Furuta Kazuo
;
Kanno Taro
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
dependency analysis;
service infrastructure;
service systems;
stakeholders;
43.
Detecting and tolerating data corruptions due to device driver defects
机译:
由于设备驱动程序缺陷,检测和容忍数据损坏
作者:
Fucci Francesco
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Data Corruption;
Device Drivers;
Fault Tolerance;
Operating Systems;
44.
Resilience modeling by means of a set of recursive functions
机译:
通过一组递归函数恢复建模
作者:
Pont Maria Teresa Signes
;
Garcia Chamizo Juan Manuel
;
Mora Higinio Mora
;
Pascual Jeronimo Mora
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
behavioral modeling;
complex systems;
recursive functions;
resilience design principles;
system archetypes;
45.
Reducing service failures by failure and workload aware load balancing in SaaS clouds
机译:
通过在SaaS云中减少故障和工作负载感知负载平衡来减少服务失败
作者:
Roy Arpan
;
Ganesan Rajeshwari
;
Dash Dinesh
;
Sarkar Santonu
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
VM migration;
cloud data center;
coefficient of variation;
discrete event simulation;
failure model;
software aging;
46.
Fault-tolerant broadcast algorithms for the virtual hypercube topology
机译:
虚拟高速拓扑的容错广播算法
作者:
Rodrigues Luiz A.
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
47.
Storage-efficient data replica number computation for multi-level priority data in distributed storage systems
机译:
分布式存储系统中的多级优先级数据的存储高效数据副本计算
作者:
Cai Chris X.
;
Abad Cristina L.
;
Campbell Roy H.
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
availability;
budget;
optimization;
replication;
storage system;
48.
Practical Experiences with real-world systems: Security in the world of reliable and safe systems
机译:
现实世界系统的实践经验:可靠和安全系统的安全性
作者:
Silva Nuno
;
Lopes Rui
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Data Analysis;
Reliability;
Safety;
Security;
railway;
safety critical;
signalling system;
49.
Interoperability in fingerprint recognition: A large-scale empirical study
机译:
指纹识别中的互操作性:大规模的实证研究
作者:
Lugini Luca
;
Marasco Emanuela
;
Cukic Bojan
;
Gashi Ilir
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
50.
Investigating DNS traffic anomalies for malicious activities
机译:
调查DNS交通异常进行恶意活动
作者:
Yarochkin Fyodor
;
Kropotov Vladimir
;
Huang Yennun
;
Ni Guo-Kai
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
51.
On reliability analysis of leader election protocols for virtual traffic lights
机译:
关于虚拟红绿灯领导选举协议的可靠性分析
作者:
Fathollahnejad Negin
;
Villani Emilia
;
Pathan Risat
;
Barbosa Raul
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Virtual traffic lights;
autonomous driving;
consensus protocols;
reliability analysis;
52.
BARLEY: Modelling program behavior with resource usage
机译:
大麦:使用资源使用建模程序行为
作者:
Leach Kevin
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
53.
2nd workshop on open resilient human-aware cyber-physical systems
机译:
2
ND SUP>开放式有弹性人感知网络系统的研讨会
作者:
Kaaniche Mohamed
;
Harrison Michael
;
Kopetz Hermann
;
Siewiorek Daniel
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
54.
Workshop on reliability and security data analysis RSDA 2013
机译:
可靠性和安全数据分析研讨会RSDA 2013
作者:
Di Martino Catello
;
Pecchia Antonio
;
Stearley Jon
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
55.
Golden-run alignment for analysis of robustness testing results: dealing with diagnostics issues
机译:
鲁棒性测试结果分析的金色对齐方式:处理诊断问题
作者:
Lemos Gizelle Sandrini
;
Martins Eliane
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
golden run comparison;
robustness testing result analysis;
sequence alignment;
56.
SAFE: Shoulder-surfing attack filibustered with ease
机译:
安全:肩部冲浪攻击易于轻松灭绝
作者:
Gowraj Narayan
;
Avireddy Srinivas
;
Ravi Prasanna Venkatesh
;
Subramanian Raghav Babu
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
GUA;
authentication;
look-up table;
shoulder-surfing;
57.
A framework for runtime VV in business-critical Service Oriented Architectures
机译:
业务关键方面的架构运行时V&V框架
作者:
Areias Cristiana
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Service Oriented Architecture;
Verification and Validation;
58.
Keynote: Detecting cognitive state for operators of cyber-physical systems: Design of experiments
机译:
主题演讲:检测网络 - 物理系统运营商的认知状态:实验设计
作者:
Maxion Roy
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
59.
Towards evaluating the impact of data quality on service applications
机译:
旨在评估数据质量对服务应用的影响
作者:
Ivaki Naghmeh
;
Laranjeiro Nuno
;
Vieira Marco
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
data quality;
database application;
robustness assessment;
services;
testing;
60.
Community-based resilient electricity sharing: Optimal spatial clustering
机译:
基于社区的弹性电力共享:最佳空间聚类
作者:
Yamagata Yoshiki
;
Seya Hajime
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
CO2 neutral;
Electricity sharing;
PV;
spatial clustering;
61.
Reliable mission deployment in vulnerable distributed systems
机译:
易受攻击的分布式系统中可靠的任务部署
作者:
Albanese Massimiliano
;
Jajodia Sushil
;
Jhawar Ravi
;
Piuri Vincenzo
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Data-driven reliability;
mission-centric computing;
vulnerability analysis;
62.
Towards Systems Resilience
机译:
朝向系统恢复力
作者:
Maruyama Hiroshi
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
adaptability;
diversity;
extreme events;
redundancy;
resilience;
63.
Predicting job completion times using system logs in supercomputing clusters
机译:
使用System Logs在超级计算集群中预测工作完成时间
作者:
Chen Xin
;
Lu Charng-Da
;
Pattabiraman Karthik
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Hidden Markov Model;
Log Analysis;
Prediction;
64.
Cyber security problem based on Multi-Objective Distributed Constraint Optimization technique
机译:
基于多目标分布式约束优化技术的网络安全问题
作者:
Okimoto Tenda
;
Ikegai Naoto
;
Inoue Katsumi
;
Okada Hitoshi
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Cyber Security Problem;
Multi-Objective Distributed Constraint Optimization;
65.
An intrusion-tolerant firewall design for protecting SIEM systems
机译:
一种用于保护SIEM系统的入侵防火墙设计
作者:
Garcia Miguel
;
Neves Nuno
;
Bessani Alysson
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Firewall;
Intrusion Prevention Systems;
Intrusion Tolerance;
66.
Survey on security threats and protection mechanisms in embedded automotive networks
机译:
嵌入式汽车网络安全威胁与保护机制调查
作者:
Studnia Ivan
;
Nicomette Vincent
;
Alata Eric
;
Deswarte Yves
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
67.
Improving the dependability of FPGA-based real-time embedded systems with partial dynamic reconfiguration
机译:
提高基于FPGA的实时嵌入式系统的可靠性,具有部分动态重新配置
作者:
Nunes Jose Luis
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
FPGA;
SEU;
dependability;
embedded systems;
real-time;
68.
Model-based evaluation of system resilience
机译:
基于模型的系统弹性评估
作者:
Meyer J.F.
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
69.
The KARYON project: Predictable and safe coordination in cooperative vehicular systems
机译:
Karyon项目:在合作车辆系统中可预测和安全的协调
作者:
Casimiro Antonio
;
Kaiser Jorg
;
Schiller Elad M.
;
Costa Pedro
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
70.
Keynote: Toward vehicle automation ADAS, the new challenges
机译:
主题演讲:对车辆自动化ADA,新的挑战
作者:
Boverie Serge
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
71.
Data fusion-base anomay detection in networked critical infrastructures
机译:
基于数据融合的异常网络在网络中关键基础设施中的检测
作者:
Genge Bela
;
Siaterlis Christos
;
Karopoulos Georgios
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Anomaly Detection System;
DDoS;
Data Fusion;
MPLS;
Networked Critical Infrastructures;
SCADA;
72.
Behavioral aspects for agent-based models of resilient urban systems
机译:
基于代理的弹性城市系统模型的行为方面
作者:
Brudermann Thomas
;
Yamagata Yoshiki
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
extreme events;
heuristics;
human decision making;
mass psychology;
social resilience;
73.
Autonomous Emergency Braking: A System-of-Systems perspective
机译:
自主紧急制动:系统系统的视角
作者:
Kopetz Hermann
;
Poledna Stephan
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Autonomous Emergency Braking;
SoS;
System-of-Systems;
emergence;
74.
Driver performance in the presence of adaptive cruise control related failures: Implications for safety analysis and fault tolerance
机译:
在适应性巡航控制的情况下的驾驶员性能相关的失败:对安全性分析和容错的影响
作者:
Nilsson Josef
;
Strand Niklas
;
Falcone Paolo
;
Vinter Jonny
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
adaptive cruise control;
controllability;
driver behavior;
failure model;
75.
IOCheck: A framework to enhance the security of I/O devices at runtime
机译:
iocheck:一个框架,可以在运行时增强I / O设备的安全性
作者:
Zhang Fengwei
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
Firmware;
I/O Configurations;
Integrity;
SMM;
76.
Automatic collection of failure data from the iOS platform
机译:
从iOS平台自动收集故障数据
作者:
Cinque Marcello
;
Cotroneo Domenico
;
Rodriguez-Dominguez Carlos
;
Garrido Jose Luis
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2013年
关键词:
failure data collection;
iOS;
smart phones;
77.
Towards an Ontology-Based Definition of Data Anonymization Policy for Cloud Computing and Big Data
机译:
朝着云计算和大数据的数据匿名策略的基于本体的定义
作者:
Roberta Matsunaga
;
Ivan Ricarte
;
Tania Basso
;
Regina Moraes
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Data privacy;
Big Data;
Cloud computing;
Ontologies;
Guidelines;
Standards organizations;
Organizations;
78.
Deterministic Ethernet: Addressing the Challenges of Asynchronous Sensing in Sensor Fusion Systems
机译:
确定性以太网:解决传感器融合系统中异步感测的挑战
作者:
Ayhan Mehmed
;
Sasikumar Punnekkat
;
Wilfried Steiner
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Time measurement;
Current measurement;
Kalman filters;
Gain measurement;
Sensor fusion;
Force measurement;
Position measurement;
79.
A Visit to the Jungle of Terminology
机译:
访问术语的丛林
作者:
Algirdas Avi?ienis
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Taxonomy;
Fault tolerance;
Fault tolerant systems;
Resilience;
Robustness;
Security;
80.
Deep Healing: Ease the BTI and EM Wearout Crisis by Activating Recovery
机译:
深度愈合:通过激活恢复缓解BTI和EM磨损危机
作者:
Xinfei Guo
;
Mircea R. Stan
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Stress;
Temperature measurement;
Metals;
Acceleration;
Transistors;
Wires;
Life estimation;
81.
Evaluating Security and Availability of Multiple Redundancy Designs when Applying Security Patches
机译:
在应用安全补丁时评估多个冗余设计的安全性和可用性
作者:
Mengmeng Ge
;
Huy Kang Kim
;
Dong Seong Kim
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Security;
Servers;
Redundancy;
Computational modeling;
Stochastic processes;
Analytical models;
Schedules;
82.
RSVP: Soft Error Resilient Power Savings at Near-Threshold Voltage Using Register Vulnerability
机译:
RSVP:使用寄存器漏洞,近阈值电压的软错误弹性节能
作者:
Li Tan
;
Nathan DeBardeleben
;
Qiang Guan
;
Sean Blanchard
;
Michael Lang
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Registers;
Program processors;
Hardware;
Threshold voltage;
Reliability;
Circuit faults;
Production;
83.
Portable SDN Testbed Prototype
机译:
便携式SDN测试式原型
作者:
Josh Alcorn
;
Scott Melton
;
C. Edward Chow
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Hardware;
Switches;
Software;
Testing;
Tools;
Virtualization;
Reliability;
84.
TDSC: Two-Stage DDoS Detection and Defense System Based on Clustering
机译:
TDSC:基于聚类的两阶段DDOS检测和防御系统
作者:
Shuang Wei
;
Yijing Ding
;
Xinhui Han
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Computer crime;
Feature extraction;
Protocols;
IP networks;
Internet;
Clustering algorithms;
Algorithm design and analysis;
85.
Byzantine Agreement Service for Cooperative Wireless Embedded Systems
机译:
合作无线嵌入式系统的拜占庭协议服务
作者:
Wenbo Xu
;
Martin Wegner
;
Lars Wolf
;
Rüdiger Kapitza
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Protocols;
Ad hoc networks;
Wireless sensor networks;
Wireless communication;
Robot sensing systems;
Fault tolerance;
Fault tolerant systems;
86.
Modeling Error Propagation in Programs
机译:
程序中的建模错误传播
作者:
Guanpeng Li
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Predictive models;
Hardware;
Circuit faults;
Scalability;
Reliability;
Resilience;
Probability;
87.
Faster Exact Reliability Computation
机译:
更快的确切可靠性计算
作者:
Vincent Debieux
;
Yvonne-Anne Pignolet
;
Thanikesavan Sivanthi
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Conferences;
88.
Automating DRAM Fault Mitigation By Learning From Experience
机译:
通过从经验中学习自动化DRAM故障缓解
作者:
Elisabeth Baseman
;
Nathan DeBardeleben
;
Kurt Ferreira
;
Vilas Sridharan
;
Taniya Siddiqua
;
Olena Tkachenko
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Random access memory;
Data models;
Training;
Measurement;
Hardware;
Laboratories;
Real-time systems;
89.
Safe Landing of Fixed Wing UAVs
机译:
固定翼无人机的安全着陆
作者:
Pranav Jetley
;
P.B. Sujit
;
Srikanth Saripalli
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Aircraft;
Earth;
Atmospheric modeling;
Aerospace control;
Unmanned aerial vehicles;
Safety;
Three-dimensional displays;
90.
Threat Intelligence for Bluetooth-Enabled Systems with Automotive Applications: An Empirical Study
机译:
具有汽车应用的蓝牙系统的威胁情报:实证研究
作者:
Madeline Cheah
;
Jeremy Bryans
;
Daniel S. Fowler
;
Siraj Ahmed Shaikh
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Bluetooth;
Security;
Pins;
Safety;
Roads;
Inspection;
91.
Opportunities and Challenges of Third-Party Sustainment of Critical Software in Dependable Systems
机译:
可靠系统中第三方维持的机遇与挑战
作者:
Kate Gill
;
Rob Ashmore
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Software;
Standards;
Tools;
Electronic mail;
Monopoly;
Business;
Industries;
92.
The Many Conflicting Visions of ‘Safety Case’
机译:
“安全案例”的许多矛盾的愿景
作者:
Patrick J. Graydon
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Software;
Hazards;
Risk management;
Stakeholders;
Regulators;
NASA;
93.
Uptime-Optimized Cloud Architecture as a Brokered Service
机译:
正常优化的云架构作为经纪服务
作者:
Sreekrishnan Venkateswaran
;
Santonu Sarkar
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Cloud computing;
Computer architecture;
Mathematical model;
Redundancy;
Computational modeling;
Clustering algorithms;
Probability;
94.
RFID Tag Grouping Protocols Made Private
机译:
RFID标签分组协议私有
作者:
Yudai Komori
;
Kazuya Sakai
;
Satoshi Fukumoto
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Protocols;
Privacy;
Radiofrequency identification;
Labeling;
Security;
Switches;
Standards;
95.
Providing Resiliency to Orchestration and Automation Engines in Hybrid Cloud
机译:
在混合云中提供弹性和自动化引擎的弹性
作者:
Long Wang
;
Harigovind V Ramasamy
;
Alexei Karve
;
Richard E Harper
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Cloud computing;
Computer crashes;
Automation;
Engines;
Heat recovery;
96.
Automated Program Diversity Using Program Synthesis
机译:
使用程序合成自动化节目多样性
作者:
Abraham Chan
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Security;
Software;
Synthesizers;
Sorting;
Software reliability;
Programming;
97.
Discovering and Mitigating New Attack Paths Using Graphical Security Models
机译:
使用图形安全模型发现和缓解新的攻击路径
作者:
Jin Bum Hong
;
Dong Seong Kim
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Security;
Servers;
Analytical models;
Risk analysis;
Virtual private networks;
Universal Serial Bus;
Databases;
98.
MARITACA: From Textual Use Case Descriptions to Behavior Models
机译:
Maritaca:从文本用例描述到行为模型
作者:
Leydi Erazo
;
Eliane Martins
;
Juliana Galvani Greghi
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Unified modeling language;
Tools;
Analytical models;
Computer bugs;
Natural language processing;
Semantics;
99.
Document Faults: An Extension of the Taxonomy of Dependable and Secure Computing
机译:
文件故障:可靠和安全计算的分类的延伸
作者:
Algirdas Avi?ienis
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Taxonomy;
Natural languages;
Semantics;
Software;
Tools;
Measurement;
Patents;
100.
Off-Path Caching for File Versioning in Named Data Networking
机译:
名为Data Networking中的文件版本的off路径缓存
作者:
Mamoru Ohara
;
Satoshi Fukumoto
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop》
|
2017年
关键词:
Resource management;
Internet;
Computer architecture;
Servers;
Routing;
Mirrors;
Analytical models;
意见反馈
回到顶部
回到首页