Definição
e Validação de um Modelo de Replicação
Híbrida para Sistemas Distribuídos
Emerson Rogério de Oliveira Junior (II/UFRGS)
Towards
an Approach for Verifying Distributed Object-Based Systems
Osmar Marchi dos Santos (PPGCC/PUCRS)
Safety
Analysis using Fluid Stochastic Petri Nets in the New Paradigm
of Safety-Critical Systems
Lúcio Flávio Vismari (Poli/USP)
Modelling
Fault-Tolerant Systems using BDI Agents
Felipe Rech Meneguzzi (PPGCC/PUCRS)
Localização
de Falhas em Sistemas Distribuídos através de Redes
Neurais
Claudio Macoto Hazome Hayashi (Poli/USP)
Um Mecanismo
Adaptativo para Tolerância a Falhas em Sistemas Distribuídos
com QoS
Sérgio Gorender (CIN/UFPE)
An Architectural
Solution for Component-System Integration with Exception Handling
Ricardo de Mendonça da Silva (IC/UNICAMP)
Towards
Healing Partitioned Networks
Andréa Weber (DI/UFPR)
Projeto
e Implementação de um Módulo Síncrono
para a Implementação de um Serviço de Detecção
de Falhas com Semântica Perfeita para Redes Locais
Andrey E. M. Brito (DSC/UFCG)
Análise
do Impacto de Defeitos sobre Algoritmo Probabil´istico para
Localização de Recursos em Redes de Larga Escala
Mario Domenech Goulart (PPGC/UFRGS)
Avaliação
de Desempenho de Protocolos de Consenso Adaptativos Baseados em
Slowness Oracles
Lívia Maria Rodrigues Sampaio (CEE/UFCG)
Implementação
de um Algoritmo de Recuperação por Retorno Baseado
em Checkpointing em Sistemas Distribuídos Assíncronos
Clairton Buligon (PPGC/UFRGS)
|