首页>外文会议>IEEE Pacific Rim International Symposium on Dependable Computing

IEEE Pacific Rim International Symposium on Dependable Computing

召开年：2016
召开地：Christchurch(NZ)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Accelerating Integrity Verification on Secure Processors by Promissory Hash

机译：通过期票哈希加速安全处理器上的完整性验证
- 作者：Mizuki Miyanaga;Hidetsugu Irie;Shuichi Sakai
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Program processors;
- Authentication;
- Libraries;
- Servers;
- Kernel;
- Copyright protection;
- Encryption;
2.Robust ORAM: Enhancing Availability, Confidentiality and Integrity

机译：强大的ORAM：增强可用性，机密性和完整性
- 作者：Tran Phuong Thao;Atsuko Miyaji;Mohammad Shahriar Rahman;Shinsaku Kiyomoto;Ayumu Kubota
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Servers;
- Maintenance engineering;
- Network coding;
- Encoding;
- Cloud computing;
- Cryptography;
3.Erasure-Code-Based DTN Multi-path Routing for Contact Avoidance

机译：基于纠删码的DTN多路径路由避免接触
- 作者：Hironori Arai;Masayuki Arai
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Routing;
- Delays;
- Receivers;
- Encoding;
- Cryptography;
- Wireless communication;
- Routing protocols;
4.A Diagnostic Fault Simulation Method for a Single Universal Logical Fault Model

机译：单一通用逻辑故障模型的诊断故障仿真方法
- 作者：Toshinori Hosokawa;Hideyuki Takano;Hiroshi Yamazaki;Koji Yamazaki
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Circuit faults;
- Fault diagnosis;
- Testing;
- Integrated circuit modeling;
- Computational modeling;
- Sequential circuits;
- Electronic mail;
5.Bitcoin’s Consistency Property

机译：比特币的一致性属性
- 作者：Lewis Tseng
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Online banking;
- Protocols;
- Cryptography;
- Mechanical factors;
- Medical services;
- Distributed databases;
6.MEC: Network Optimized Multi-stage Erasure Coding for Scalable Storage Systems

机译：MEC：可扩展存储系统的网络优化多级擦除编码
- 作者：Hiroaki Akutsu;Takahiro Yamamoto;Kazunori Ueda;Hideo Saito
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Encoding;
- Redundancy;
- Data processing;
- Servers;
- Databases;
- Bandwidth;
- Internet of things;
7.A Novel Highly Available Data Replication Strategy Exploiting Data Semantics, Coding Techniques and Prior At-Hand Knowledge

机译：利用数据语义，编码技术和现有知识的新型高可用数据复制策略
- 作者：Awais Usman;Robert Schadek;Oliver Theel
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Semantics;
- Encoding;
- Frequency selective surfaces;
- Distributed databases;
- Syntactics;
- Binary codes;
8.Resilience Benchmarking of Transactional Systems: Experimental Study of Alternative Metrics

机译：交易系统的弹性基准测试：替代指标的实验研究
- 作者：Raquel Almeida;Afonso AraúJo Neto;Henrique Madeira
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Resilience;
- Benchmark testing;
- Measurement;
- Stress;
- Context;
- Computers;
- Database systems;
9.Mercury: Performance and Dependability Evaluation of Systems with Exponential, Expolynomial, and General Distributions

机译：汞：具有指数分布，指数分布和一般分布的系统的性能和可靠性评估
- 作者：Paulo Maciel;Rubens Matos;Bruno Silva;Jair Figueiredo;Danilo Oliveira;Iure Fé;Ronierison Maciel;Jamilson Dantas
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Computational modeling;
- Measurement;
- Numerical models;
- Analytical models;
- Mathematical model;
- Graphical user interfaces;
- Reliability;
10.A Hardware Trojan Circuit Detection Method Using Activation Sequence Generations

机译：利用激活序列生成的硬件木马电路检测方法
- 作者：Masayoshi Yoshimura;Tomohiro Bouyashiki;Toshinori Hosokawa
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Trojan horses;
- Logic gates;
- Integrated circuit modeling;
- Central Processing Unit;
- Hardware;
- Outsourcing;
- Companies;
11.Efficient Fault-Tolerant Clock Synchronization in Ring Topologies

机译：环形拓扑中的高效容错时钟同步
- 作者：Klaus Echtle;Zoha Moztarzadeh
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Bridges;
- Delays;
- Synchronization;
- Clocks;
- Fault tolerance;
- Fault tolerant systems;
- Protocols;
12.Towards Outsourced Privacy-Preserving Multiparty DBSCAN

机译：迈向外包保护隐私的多方DBSCAN
- 作者：Mohammad Shahriar Rahman;Anirban Basu;Shinsaku Kiyomoto
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Protocols;
- Data privacy;
- Servers;
- Clustering algorithms;
- Encryption;
13.A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights

机译：虚拟交通灯领导者选举协议的概率分析
- 作者：Negin Fathollahnejad;Raul Barbosa;Johan Karlsson
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Nominations and elections;
- Protocols;
- Vehicles;
- Algorithm design and analysis;
- Probabilistic logic;
- Reliability;
- Wireless communication;
14.Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination

机译：车辆协调动态组成员资格的规范，实施和验证
- 作者：Mikael Asplund;Jakob Lövhall;Emilia Villani
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Vehicles;
- Protocols;
- Vehicle dynamics;
- Packet loss;
- Computer crashes;
- Peer-to-peer computing;
15.Instagram Spam Detection

机译：Instagram垃圾邮件检测
- 作者：Wuxain Zhang;Hung-Min Sun
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Feature extraction;
- Media;
- Training;
- Tagging;
- Twitter;
- Supervised learning;
- Throughput;
16.Dependability Evaluation of AFDX Real-Time Avionic Communication Networks

机译：AFDX实时航空电子通信网络的可靠性评估
- 作者：Armin Zimmermann;Paulo Maciel
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Petri nets;
- Computational modeling;
- Stochastic processes;
- Delays;
- Aerospace electronics;
- Reliability;
17.Smart Cage Implementation with Dependable Safety Agent for Dogs

机译：使用可靠的狗安全代理实现智能笼的实施
- 作者：Kiat Siong Ng;Pei-Yin Chen;Pi-Hui Ting
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Dogs;
- Safety;
- Positron emission tomography;
- Monitoring;
- Temperature sensors;
- Temperature measurement;
- Capacitive sensors;
18.Detection of Recovery Patterns in Cluster Systems Using Resource Usage Data

机译：使用资源使用数据检测集群系统中的恢复模式
- 作者：Nentawe Gurumdimma;Arshad Jhumka
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Supercomputers;
- Radiation detectors;
- Error correction codes;
- Monitoring;
- Unsupervised learning;
- Signal processing;
- Software;
19.Light-Weight Techniques for Improving the Controllability and Efficiency of ISA-Level Fault Injection Tools

机译：轻量级技术，用于提高ISA级故障注入工具的可控制性和效率
- 作者：Behrooz Sangchoolie;Roger Johansson;Johan Karlsson
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Registers;
- Controllability;
- Sensitivity;
- Hardware;
- Optimization;
- Instruction sets;
- Transient analysis;
20.Comparison of Corrupted Sensor Data Detection Methods in Detecting Stealthy Attacks on Cyber-Physical Systems

机译：比较检测物理网络系统中隐身攻击的传感器数据检测方法
- 作者：Giedre Sabaliauskaite;Geok See Ng;Justin Ruths;Aditya Mathur
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Robot sensing systems;
- Computational modeling;
- Physics;
- Data models;
- Time measurement;
- Context;
21.An Abstraction Model and a Comparative Analysis of Intel and ARM Hardware Isolation Mechanisms

机译：Intel和ARM硬件隔离机制的抽象模型和比较分析
- 作者：Guillaume Averlant;Benoît Morgan;Éric Alata;Vincent Nicomette;Mohamed Kaâniche
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Hardware;
- Computer architecture;
- Program processors;
- Registers;
- Routing protocols;
- Computational modeling;
22.Accounting for the Human User in Predictive Security Models

机译：在预测安全性模型中为人类用户核算
- 作者：Mohammad A. Noureddine;Andrew Marturano;Ken Keefe;Masooda Bashiry;William H. Sanders
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Computer security;
- Computational modeling;
- Measurement;
- Psychology;
- Organizations;
- Computers;
23.Evaluating the Risk of Data Disclosure Using Noise Estimation for Differential Privacy

机译：使用噪声估计进行差分隐私评估数据泄露的风险
- 作者：Hung-Li Chen;Jia-Yang Chen;Yao-Tung Tsou;Chia-Mu Yu;Bo-Chen Tai;Szu-Chuang Li;Yennun Huang;Chia-Ming Lin
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Data privacy;
- Privacy;
- Estimation;
- Social network services;
- Sensitivity;
- Computer science;
- Information technology;
24.Capacity-Oriented Availability Model for Resources Estimation on Private Cloud Infrastructure

机译：面向容量的可用性模型，用于私有云基础架构上的资源估计
- 作者：Carlos Melo;Rubens Matos;Jamilson Dantas;Paulo Maciel
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Cloud computing;
- Computational modeling;
- Virtual machining;
- Mathematical model;
- Stochastic processes;
- Maintenance engineering;
- Measurement;
25.Method and Case Study of Model Checking Concurrent Systems That Use Unbounded Timestamps

机译：使用无限制时间戳的并发系统模型检查的方法和案例研究
- 作者：Shinya Nakano;Tatsuhiro Tsuchiya
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
26.Generating High Strength Test Suites for Combinatorial Interaction Testing Using ZDD-Based Graph Algorithms

机译：使用基于ZDD的图算法生成用于组合交互测试的高强度测试套件
- 作者：Teru Ohashi;Tatsuhiro Tsuchiya
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Testing;
- Binary trees;
- Libraries;
- Binary decision diagrams;
- Greedy algorithms;
- Browsers;
27.Expolynomial Modelling for Supporting VANET Infrastructure Planning

机译：支持VANET基础架构规划的指数模型
- 作者：Aleciano Lobo Junior;Rubens Matos;Bruno Silva;Paulo Maciel
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Vehicles;
- Vehicular ad hoc networks;
- Analytical models;
- Probability distribution;
- Mathematical model;
- Planning;
- Artificial neural networks;
28.Voting in the Presence of Byzantine Faults

机译：在存在拜占庭式断层的情况下进行投票
- 作者：Lewis Tseng
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Algorithm design and analysis;
- Peer-to-peer computing;
- Reliability;
- Nominations and elections;
- Delays;
- Computer science;
- Electronic mail;
29.On Dependability, Cost and Security Trade-Off in Cloud Data Centers

机译：关于云数据中心的可靠性，成本和安全性的权衡
- 作者：Subrota K. Mondal;Abadhan S. Sabyasachi;Jogesh K. Muppala
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Cloud computing;
- Hardware;
- Security;
- Fault tolerance;
- Fault tolerant systems;
- Maintenance engineering;
30.Meeting the Challenges of Critical and Extreme Dependability and Security

机译：应对关键和极端的可靠性与安全性的挑战
- 作者：Paulo Esteves-Verissimo;Marcus Völp;Jérémie Decouchant;Vincent Rahli;Francisco Rocha
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Security;
- Protocols;
- Resilience;
- Hardware;
- Software;
- Algorithm design and analysis;
- Telecommunications;
31.Increasing the Accuracy of Cost and Availability Predictions of Quorum Protocols

机译：提高仲裁协议的成本和可用性预测的准确性
- 作者：Robert Schadek;Oliver Theel
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Protocols;
- Network topology;
- Analytical models;
- Lattices;
- Mathematical model;
- Computer science;
- Fault tolerance;
32.Formal Specification and Verification of Security Guidelines

机译：正式规范和验证安全准则
- 作者：Zeineb Zhioua;Yves Roudier;Rabea Boulifa Ameur
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Security;
- Guidelines;
- Software;
- Java;
- Model checking;
- Programming;
- Knowledge based systems;
33.On Train Automatic Stop Control Using Balises: Attacks and a Software-Only Countermeasure

机译：使用Balises的火车上自动停车控制：攻击和仅软件的对策
- 作者：William G. Temple;Bao Anh N. Tran;Binbin Chen;Zbigniew Kalbarczyk;William H. Sanders
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Rail transportation;
- Object oriented modeling;
- Mathematical model;
- Safety;
- Rails;
- Data models;
- Control systems;
34.A Rejuvenation Strategy of Two-Granularity Software Based on Adaptive Control

机译：基于自适应控制的两粒度软件复兴策略
- 作者：Yunyu Fang;Bei-Bei Yin;Gaorong Ning;Zheng Zheng;Kai-Yuan Cai
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Memory management;
- Mathematical model;
- Optimization methods;
- Adaptive control;
- Application software;
35.A Built-in Circuit for Self-Repairing Mesh-Connected Processor Arrays with Spares on Diagonal

机译：带有对角线备用的自修复网格连接处理器阵列的内置电路
- 作者：Itsuo Takanami;Masaru Fukushi
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Circuit faults;
- Integrated circuit reliability;
- Parallel processing;
- Computers;
- Hardware;
- Array signal processing;
36.Key Management in Internet of Things via Kronecker Product

机译：通过Kronecker产品进行物联网的密钥管理
- 作者：I-Chen Tsai;Chia-Mu Yu;Haruo Yokota;Sy-Yen Kuo
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Wireless sensor networks;
- Internet of things;
- Symmetric matrices;
- Security;
- Monitoring;
- Temperature sensors;
37.Soft Errors Susceptibility of Virtualization Servers

机译：虚拟化服务器的软错误敏感性
- 作者：Frederico Cerveira;Raul Barbosa;Henrique Madeira
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Virtualization;
- Hardware;
- Registers;
- Kernel;
- Cloud computing;
- Virtual machine monitors;
38.An Empirical Investigation of Fault Triggers in Android Operating System

机译：Android操作系统中故障触发器的实证研究
- 作者：Fangyun Qin;Zheng Zheng;Xiaodan Li;Yu Qiao;Kishor S. Trivedi
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Computer bugs;
- Androids;
- Humanoid robots;
- Operating systems;
- Smart phones;
- Linux;
39.Learning Process Behavioral Baselines for Anomaly Detection

机译：学习过程行为基线以进行异常检测
- 作者：Ahmed M. Fawaz;William H. Sanders
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Training;
- Dictionaries;
- Sparse matrices;
- Resilience;
- Semantics;
- Intrusion detection;
- Training data;
40.Integration of Integrity Enforcing Technologies into Embedded Control Devices: Experiences and Evaluation

机译：将完整性执行技术集成到嵌入式控制设备中：经验和评估
- 作者：Tobias Rauter;Andrea Höller;Johannes Iber;Michael Krisper;Christian Kreiner
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Security;
- Computer architecture;
- Power generation;
- Software;
- SCADA systems;
- Focusing;
41.Application of Congestion Notifications in a Cyber-Physical System

机译：拥塞通知在网络物理系统中的应用
- 作者：Stephen Curtis Jackson;Bruce McMillin
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Smart grids;
- Control systems;
- Nominations and elections;
- Communication networks;
- Power system stability;
- Internet;
42.SeReCP: A Secure and Reliable Communication Platform for the Smart Grid

机译：SeReCP：智能电网的安全可靠的通信平台
- 作者：Kubilay Demir;Neeraj Suri
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Availability;
- Security;
- pub-sub;
- Key mnoagement;
43.Designing Networks-on-Chip for High Assurance Real-Time Systems

机译：为高保证实时系统设计片上网络
- 作者：Eberle A. Rambo;Christoph Seitz;Selma Saidi;Rolf Ernst
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Real-time systems;
- Ports (Computers);
- Resilience;
- Switches;
- Routing;
- Fault tolerance;
44.Multi-site Synchronous VM Replication for Persistent Systems with Asymmetric Read/Write Latencies

机译：具有不对称读/写延迟的持久性系统的多站点同步VM复制
- 作者：Vasily A. Sartakov;Rüdiger Kapitza
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Virtual machining;
- Nonvolatile memory;
- Random access memory;
- Data transfer;
- Hardware;
- Virtual machine monitors;
- Writing;
45.Attack Induced Common-Mode Failures on PLC-Based Safety System in a Nuclear Power Plant: Practical Experience Report

机译：基于攻击的核电厂基于PLC的安全系统共模故障：实践经验报告
- 作者：Bernard Lim;Daniel Chen;Yongkyu An;Zbigniew Kalbarczyk;Ravishankar Iyer
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Protocols;
- Power generation;
- Tunneling magnetoresistance;
- Software;
- Safety;
- Temperature measurement;
- Fault tolerant systems;
46.Fast Controller Switching for Fault-Tolerant Cyber-Physical Systems on Software-Defined Networks

机译：软件定义网络上的容错电子物理系统的快速控制器切换
- 作者：Seunghyun Yoon;Jiae Lee;Yohan Kim;Sunghwan Kim;Hyuk Lim
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Switches;
- Fault tolerance;
- Fault tolerant systems;
- IP networks;
- Cyber-physical systems;
47.Spare-Tile-Based Dependable Logic Design for Sea-of-Tiles Architecture with Ambipolar Devices

机译：带有双极设备的平铺体系结构基于备用瓦片的可靠逻辑设计
- 作者：Dan Takahashi;Masayuki Arai
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Logic gates;
- Transistors;
- Circuit faults;
- Logic functions;
- Computer architecture;
- Adders;
- Logic arrays;
48.Trend Analyses of Failures in Information Systems: A Case Study on Communications Networks and Financial Information Systems

机译：信息系统故障的趋势分析：以通信网络和金融信息系统为例
- 作者：Koichi Bando;Yutaka Matsuno;Yang Ishigaki;Kenji Tanaka
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- Information systems;
- Communication networks;
- Microwave integrated circuits;
- Market research;
- Information technology;
- Electronic mail;
- Computers;
49.Electromagnetic Noise Tolerant Hybrid Communication Protocol for CANs

机译：CAN的电磁噪声容忍混合通信协议
- 作者：Muneyuki Nakamura;Koji Konomi;Mamoru Ohara;Kazuya Sakai;Satoshi Fukumoto
- 会议名称：《IEEE Pacific Rim International Symposium on Dependable Computing》 | 2017年
- DC-DC power converters;
- Protocols;
- Forward error correction;
- Electromagnetic interference;
- Switches;
- Electromagnetics;
- Circuit faults;