首页>外文会议>Latin-American Symposium on Dependable Computing

Latin-American Symposium on Dependable Computing

召开年：2016
召开地：Cali(CO)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Modeling Dependable Product-Families: From Use Cases to State Machine Models

机译：对可靠的产品系列进行建模：从用例到状态机模型
- 作者：Leydi Erazo;Eliane Martins;Juliana Galvani Greghi
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Unified modeling language;
- Testing;
- Analytical models;
- Feature extraction;
- Radio frequency;
- Solid modeling;
- Computational modeling;
2.Using Failure Prediction to Improve FPGA Scrubbing

机译：使用故障预测来改善FPGA清理
- 作者：José Luís Nunes;João Carlos Cunha;Mário Zenha-Rela
- 会议名称：《》 | 2016年
- Field programmable gate arrays;
- Random access memory;
- Temperature sensors;
- Hardware;
- Power demand;
- Error correction codes;
3.Reconfigurable Scalable State Machine Replication

机译：可重新配置的可伸缩状态机复制
- 作者：Davi Da Silva Böger;Joni Da Silva Fraga;Eduardo Alchieri
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Multicast protocols;
- Electronic mail;
- Atomic layer deposition;
- Computer crashes;
- Scalability;
- Heuristic algorithms;
4.A Methodology for Prevention of Biometric Presentation Attacks

机译：预防生物特征呈现攻击的方法
- 作者：Emanuela Marasco;Mohamed Shehab;Bojan Cukic
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Face;
- Feature extraction;
- Fingerprint recognition;
- Surgery;
- Databases;
- Histograms;
5.Running Resilient MPI Applications on a Dynamic Group of Recommended Processes

机译：在建议的动态过程组上运行弹性MPI应用程序
- 作者：Edson Tavares De Camargo;Elias P. Duarte
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Standards;
- Fault tolerance;
- Fault tolerant systems;
- Computational modeling;
- Monitoring;
- Program processors;
6.Testing Web Applications Using Poor Quality Data

机译：使用质量差的数据测试Web应用程序
- 作者：Nuno Laranjeiro;Seyma Nur Soydemir;Jorge Bernardino
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Testing;
- Robustness;
- Business;
- Databases;
- Software;
- Computer bugs;
7.Bypassing IOMMU Protection against I/O Attacks

机译：绕过IOMMU的I / O攻击防护
- 作者：Benoît Morgan;Éric Alata;Vincent Nicomette;Mohamed Kaâniche
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Bridges;
- Random access memory;
- Ports (Computers);
- Computer architecture;
- Hardware;
- Registers;
- Security;
8.Experimenting Machine Learning Techniques to Predict Vulnerabilities

机译：实验机器学习技术以预测漏洞
- 作者：Henrique Alves;Baldoino Fonseca;Nuno Antunes
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Software metrics;
- Predictive models;
- Kernel;
- Decision trees;
- Security;
9.Dependability Verification of Nanosatellite Embedded Software Supported by a Reusable Test System

机译：可重用测试系统支持的纳米卫星嵌入式软件的可靠性验证
- 作者：Carlos A.P.L. Conceicao;Fátima Mattiello-Francisco;Carlos L.G. Batista
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Satellites;
- Testing;
- Software;
- Unified modeling language;
- Computer architecture;
- Payloads;
- Interoperability;
10.Challenges on Anonymity, Privacy, and Big Data

机译：匿名，隐私和大数据方面的挑战
- 作者：Tania Basso;Roberta Matsunaga;Regina Moraes;Nuno Antunes
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Big data;
- Data privacy;
- Privacy;
- Business;
- Medical services;
- Context;
11.Soundness Proof of EventB2Java

机译：EventB2Java的健全性证明
- 作者：Néstor Cataño;Shigeo Nishi
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Java;
- Semantics;
- Syntactics;
- Computational modeling;
- Safety;
- Context;
- Electronic mail;
12.A Software Fault Injector to Validate Implementations of a Safety Communication Protocol

机译：用于验证安全通信协议实现的软件故障注入器
- 作者：Rodrigo J. Dobler;Sergio Cechin;Taisy Weber;João Netto
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Safety;
- Protocols;
- IEC Standards;
- Software;
- Receivers;
- Sensors;
13.Usability Assessment in a Multi-Biometric Continuous Authentication System

机译：多生物特征连续认证系统中的可用性评估
- 作者：Enrico Schiavone;Andrea Ceccarelli;Andrea Bondavalli;Ariadne M.B.R. Carvalho
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Usability;
- Authentication;
- Fingerprint recognition;
- Servers;
- Bioinformatics;
- Workstations;
14.Benchmarking User-Defined Security Configuration of Mobile Devices

机译：对用户定义的移动设备安全配置进行基准测试
- 作者：Daniel Vecchiato;Eliane Martins
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Security;
- Benchmark testing;
- Mobile handsets;
- Androids;
- Humanoid robots;
- Measurement;
- Risk analysis;
15.An Approach for Verification of a Satellite Simulator - An Evolving System

机译：验证卫星模拟器的方法-不断发展的系统
- 作者：Paulo Diego Barbosa Da Silva;Ana Maria Ambrosio;Emília Villani;Denise Rotondi Azevedo
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Satellites;
- Software;
- Model checking;
- Computational modeling;
- Transponders;
- Automata;
16.Speeding-Up Simulation-Based Fault Injection of Complex HDL Models

机译：基于加速仿真的复杂HDL模型故障注入
- 作者：Ilya Tuzov;Juan-Carlos Ruiz;David De Andrés;Pedro Gil
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Integrated circuit modeling;
- Hardware design languages;
- Circuit faults;
- Logic gates;
- Hardware;
- Field programmable gate arrays;
17.Implementing a Flexible Failure Detector That Expresses the Confidence in the System

机译：实施表达系统信心的灵活故障检测器
- 作者：Anubis G. De M. Rossetto;Cláudio F.R. Geyer;Luciana Arantes;Pierre Sens
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Detectors;
- Monitoring;
- Delays;
- Quality of service;
- Wireless sensor networks;
- Servers;
- Electronic mail;
18.BuzzPSS: A Dependable and Adaptive Peer Sampling Service

机译：BuzzPSS：可靠且自适应的对等采样服务
- 作者：Nuno Machado;Francisco Maia;Miguel Matos;Rui Oliveira
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Peer-to-peer computing;
- Overlay networks;
- Adaptive systems;
- Fault tolerance;
- Fault tolerant systems;
- Context;
19.Two Convergence Problems for Robots on Graphs

机译：图上机器人的两个收敛问题
- 作者：Armando Castañeda;Sergio Rajsbaum;Matthieu Roy
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Convergence;
- Robot kinematics;
- Computer crashes;
- Topology;
- Distributed computing;
- Fault tolerance;
20.An Autonomic Hierarchical Reliable Broadcast Protocol for Asynchronous Distributed Systems with Failure Detector

机译：具有故障检测器的异步分布式系统的自主分层可靠广播协议
- 作者：Denis Jeanneau;Luiz A. Rodrigues;Luciana Arantes;Elias P. Duarte
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Computer crashes;
- Vegetation;
- Topology;
- Protocols;
- Hypercubes;
- Fault tolerance;
21.Analyzing the Impact of Failures in the Electric Power Distribution Grid

机译：分析配电网故障的影响
- 作者：Silvano Chiaradonna;Felicita Di Giandomenico;Giulio Masetti
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Voltage control;
- Power systems;
- Analytical models;
- Medium voltage;
- Load modeling;
- Mathematical model;
- Stochastic processes;
22.Towards Model-Driven Virtual Patching for Web Applications

机译：迈向Web应用程序的模型驱动虚拟补丁
- 作者：Gustavo Betarte;Rodrigo De La Fuente;Rodrigo Martínez;Juan Pírez;Felipe Zipitría
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Unified modeling language;
- Data models;
- Databases;
- Monitoring;
- Firewalls (computing);
- Computational modeling;
23.Towards Understanding the Value of False Positives in Static Code Analysis

机译：理解静态代码分析中误报的价值
- 作者：Carlo Dimastrogiovanni;Nuno Laranjeiro
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- static analysis;
- web applications;
- security;
- vulnerabilities;
- false positives;
24.Semi-Automatic Checklist Quality Assessment of Natural Language Requirements for Space Applications

机译：空间应用自然语言要求的半自动清单质量评估
- 作者：Anderson Rossanez;Ariadne M.B.R. Carvalho
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Software;
- Unified modeling language;
- Quality assessment;
- Natural language processing;
- Standards;
- Software measurement;
25.A Methodology for Proactive Maintenance of Uninterruptible Power Supplies

机译：主动维护不间断电源的方法论
- 作者：Slobodan Lukovic;Igor Kaitovic;Gerardo Lecuona;Miroslaw Malek
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Uninterruptible power systems;
- Maintenance engineering;
- Monitoring;
- Reliability;
- Computer architecture;
- Capacitors;
- Prediction algorithms;
26.Evolving from Dependability to Resilience Benchmarks: Issues and Possibilities

机译：从可靠性到适应性基准的演变：问题和可能性
- 作者：Raquel Almeida;Henrique Madeira
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2016年
- Benchmark testing;
- Resilience;
- Security;
- Context;
- Computers;
- Measurement;
- Software;