18.03.2015 Views

XI Workshop de Testes e Tolerância a Falhas (WTF) - SBRC 2010

XI Workshop de Testes e Tolerância a Falhas (WTF) - SBRC 2010

XI Workshop de Testes e Tolerância a Falhas (WTF) - SBRC 2010

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

xii<br />

Anais<br />

Embed<strong>de</strong>d Critical Software Testing for Aerospace Applications based<br />

on PUS<br />

Rodrigo P. Pontes (ITA), Eliane Martins (UNICAMP),<br />

Ana M. Ambrósio (INPE) e Emília Villani (ITA) .................................. 119<br />

Detecção e Correção <strong>de</strong> <strong>Falhas</strong> Transitórias Através da Descrição <strong>de</strong><br />

Programas Usando Matrizes<br />

Ronaldo R. Ferreira, Álvaro F. Moreira e Luigi Carro (UFRGS) ....... 133<br />

Sessão Técnica 4 – Serviços Web e Roteamento<br />

Ampliando a Disponibilida<strong>de</strong> e Confiabilida<strong>de</strong> em Ambientes <strong>de</strong><br />

Serviços Web Stateful<br />

Igor Nogueira Santos, Daniela Barreiro Claro e<br />

Marcelo Luz (UFBA) ............................................................................. 149<br />

Multi-Priority Alternative Journey and Routing Protocol: um<br />

Algoritmo para Roteamento em Re<strong>de</strong>s Tolerantes a Atrasos e<br />

Desconexões Previsíveis<br />

Gabriel Argolo, Lúcia M. A. Drummond, Anna Dolejsi e<br />

Anand Subramanian (UFF) .................................................................. 163<br />

Índice por Autor .................................................................................. 177

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!