Dissertações 2007-2011

2007

193 TORRES JUNIOR, Pedro Rodrigues (Orientador: MURTA, Cristina Duarte) Caracterização da rede de sincronização na internet, 08/02/07

194 AGUIAR, Francisco Meira (Orientador: DIRENE, Alexandre Ibrahim) Ferramentas e métodos para apoiar o ensino de xadrez na fronteira entre os fundamentos e a perícia, 26/02/07

195 CARVALHO, Cassio Soares (Orientador: CASTILHO, Marcos Alexandre) Algoritmos genéticos para solução de problemas de alcançabilidade em uma determinada classe de redes de Petri acíclicas, 26/02/07

196 NAZAR, Igor Fabiano (Orientador: VERGILIO, Silvia Regina) X-TOOL: uma ferramenta de teste de esquemas para estrutura de dados, 27/02/07

197 SILVA, Júlio César Teodoro da (Orientador: Silvia Regina Vergilio) Um algoritmo de evolução de gramáticas livres de contexto, 27/02/07

198 SANTOS, Rangel Jungles dos (Orientador: BATTAIOLA, Andre Luiz) Ambientes virtuais baseados na WEB: alguns aspectos fundamentais, 28/02/07

199 GODOI, Ana Flavia Barreto de (Orientador: DUARTE JUNIOR, Elias Procopio) Uma ferramenta para comunicaçao confiável em sistemas P2P baseada em grupos de peers, 16/03/06

200 KRYNSKI, Eleandro Maschio (Orientador: DIRENE, Alexandre Ibrahim) Uma abordagem metacognitiva através de multiplas representações externas para o ensino de programação de computadores, 18/04/07

201 BRAND, Vinicius Cubas (Orientador: PEDRINI, Hélio, Co-orientador: LIMA FILHO, Jose Hermenio Cavalcante) Avaliação de rugas cutâneas da região periorbital baseada em processamento digital de imagens, 23/05/07

202 LUZ, Robson João Padilha da (Orientador: MUSICANTE, Martin A) Um algoritmo para a evolução incremental de esquemas para XML, 13/06/07

203 MAIDL, Andre Murbach (Orientador: MUSICANTE, Martin A, Co-Orientador: GUEDES, Andre Luiz Pires ) Uma implementação da semantica de ações orientada a objetos em maude, 14/06/07

204 IBANEZ, Humberto Cereser (Orientador: PEDRINI, Hélio, Co-Orientador: FIGUEIREDO, Ronald Cavalcante de ) Geomedicina: sistema de visualizaçao de fatores ambientais e doenças em mapas na internet, 19/06/07

205 CRUZ FILHO, Paulo Nei (Orientador: VERGILIO, Silvia Regina) Teste de software baseado em perturbação de dados dirigida por padrões, 29/06/07

206 MELLO, Samuel Lucas Vaz de (Orientador: DUARTE JUNIOR, Elias Procopio) Uma abordagem para distribuição de fluxos de conteúdo multimídia auxiliada por Redes PEER-TO-PEER, 29/06/07

207 DROVETTO JUNIOR, Sidnei Augusto (Orientador: BELLON, Olga Regina Pereira, Co-Orientador: SILVA, Luciano ) Reconhecimento facial 3D utilizando o Simulated Annealing com as medidas Surface Interpenetration Measure e M-estimator Sample Consensus, 22/08/07

208 LIZARDO, Andreia Oliveira (Orientador: DIRENE, Alexandre Ibrahim) Ferramentas de apoio ao aprendizado de algoritmos de busca heurística por meio da visualizaçao das árvores de memória, 30/08/07

209 RUTHES, Eduardo da Rocha (Orientador:Marcos Sfair Sunye) Análise de valores de metadados em um sistema de bibliotecas, 30/08/07

210 MELLO, Rodrigo Octávio de Oliveira (Orientador: GARCÍA, Laura Sánchez) Um ambiente de interface de busca e pré-visualizaçao de objetos de aprendizado , 30/08/07

211 SOARES, Isaias Jose Amaral (Orientador: SILVA, Luciano) Analise qualitativa de metodos de planificação de malhas tridimensionais, 24/10/07

2008

212 CAIUTA, Rafael (Orientador: VERGILIO, Silvia Regina Co-Orientador: RAMIREZ POZO, Aurora Trinidad ) Utilizando meta- aprendizado para seleção de modelos de confiabilidade de software, 22/02/08

213 MATTAR JUNIOR, Nacib (Orientador: KUNZLE, Luis Allan) Redes de Petri temporais: método de análise baseado em tempo global, 29/02/08

214 TORACIO, Augusto de Almeida Prado Gava (Orientador: RAMIREZ POZO, Aurora Trinidad) Aprendizado de regras de classificação com otimização por nuvem de partículas multiobjetivo, 13/03/08

215 BORGES, Joao Gustavo Gazolla (Orientador: DUARTE JUNIOR, Elias Procopio) Stunpede: um sistema P2P para conectividade fim-a-fim transparente na internet usando túneis IPV6-sobre-UDP, 19/03/08

216 SILVA, Ricardo Dutra da (Orientador: PEDRINI, Hélio) Segmentação de imagens baseada em descritores de textura extraídos por transformadas wavelets, 24/03/08

217 BENACCHIO, Alcione (Orientador: VAZ, Maria Salete Marcon Gomes) Definição de uma arquitetura integrada de repositório de padrões e metadados, 14/05/08

218 TÖWS, Guilherme Stutz (Orientador: SILVA, Fabiano) Petrigraph: um algoritmo para planejamento por desdobramento de redes de Petri, 21/05/08

219 LIGOCKI, Natascha Petry (Orientador: HARA, Carmem Satie) Uma ferramenta de monitoramento de redes usando Sistemas Gerenciadores de Streams de Dados, 21/05/08

220 FILHO, João Walter Bruno (Orientador: Hélio Pedrini) Programação de máquinas-ferramentas de 3 eixos assistida por editor para modelagem e simulador gráfico 3D de peça, 30/06/08

221 BUENO, Luís Carlos Ferreira (Orientador: DIRENE, Alexandre Ibrahim e GUEDES, Andre Luiz Pires ) Conceitos e ferramentas de apoio ao aperfeiçoamento do desempenho de heurísticas de jogos, 30/06/08

222 MACIEL, Joylan Nunes (Orientador: MURTA, Cristina Duarte) Um novo gerador de topologias na internet, 29/07/08

223 ALVES, Rodrigo Augusto (Orientador: MURTA, Cristina Duarte) Topologia dos sistemas autônomos: evolução e predição, 30/07/08

224 PICUSSA, Juliano (Orientador: GARCÍA, Laura Sánchez) Um ambiente de interface e interação para um servidor de xadrez on-line na web como uma ferramenta educacional, 12/08/08

225 LIMA, Murilo Rodrigues de (Orientador: SUNYE, Marcos Sfair) Execução distribuída de benchmarks em sistemas de bancos de dados relacionados Execução distribuída de benchmarks em sistemas de bancos de dados relacionais, 14/08/08

226 SOLINO, Andre Luiz da Silva (Orientador: VERGILIO, Silvia Regina) Teste baseado em defeitos para Web Services, 15/08/08

227 VRUBEL, Alexandre (Orientador: BELLON, Olga Regina Pereira, Co-orientador: SILVA, Luciano ) Pipeline para reconstrução digital de objetos com Scanners 3D de triangulação a laser: aplicação na preservação digital de acervos naturais e culturais, 15/08/08

228 HECK, Giancarlo Covolo (Orientador: HEXSEL, Roberto A) Investigação de técnicas de projeto de Cache de Dados para sistemas embarcados, 22/08/08

229 LAMBOIA, Fabiany (Orientador: HEXSEL, Roberto A) Análise comparativa de uso dos conjuntos de instruções dos microprocessadores de 32 bits MIPS, PowerPC e SPARC, 22/08/08

230 GOMES, Christian Lyra (Orientador: Elias Procópio Duarte Jr) Análise de tráfego de backbones baseada em sistemas gerenciadores de streams de dados, 22/08/08

231 BANNACK, Angelo (Orientador: ALBINI, Luiz Carlos Pessoa) Aplicando gestão de energia ao protocolo de roteamento para redes ad hoc móveis VRP, 25/08/08

232 SEÁRA, Everton Flávio Rufino (Orientador: Marcos Sfair Sunyé ) Uma arquitetura AI para preservação digital utilizando redes peer-to-peer estruturadas, 25/08/08

233 NASCIMENTO, Luciana Umburanas (Orientador: Maria Salete Marcon Gomes Vaz) Um padrão de metadados para indexação e recuperação de objetos multimídia, 27/08/08

234 PEDROZO, Wendel Goes (Orientador: Maria Salete Marcon Gomes Vaz) Arquitetura para seleção de índices em banco de dados relacioanais, utilizando abordagem baseada em custos do otimizador, 27/08/08

235 BENACCHIO, Juliana Hoffmann Quiñónez (Orientador: Luis Allan Künzle, Co-orientador: Fabiano Silva ) Planejamento em inteligência artificial utilizando redes de Petri cíclicas, 27/08/08

236 SANS, Diovani Rafael (Orientador: PEDRINI, Hélio) Identificação de propriedade em imagens com marcas d’água no domínio da transformada wavelet, 28/08/08

237 KERA, Marcello (Orientador: Hélio Pedrini) Ambiente virtual e interativo com colisão e deformação de objetos para treinamento médico utilizando a API JAVA, 28/08/08

238 PETRY, Franciele Carla (Orientador: Fabiano Silva, Co-Orientador: Luis Allan Künzle) Planejamento aplicado à verificação de bloqueios em redes de Petri, 29/08/08

239 ROSA, Maverson Eduardo Schulze (Orientador:  Elias Procópio Duarte Jr.) Um algoritmo heurístico para roteamento robusto baseado em avaliação de fluxo máximo, 29/08/08

240 VIZONI, Fausto Novaes Chiappin (Orientador: Marcos Alexandre Castilho) Planejamento em inteligência artificial na lógica de ações e planos, 29/08/08

241 NASCIMENTO, Aldo Monteiro do (Orientador: HARA, Carmem Satie) Um modelo para integração de documentos XML em nível de instância, 29/08/08

2009

242 CARVALHO, André Britto de (Orientador: Aurora Trinidad Ramirez Pozo) Otimização por nuvem de particulas multiobjetivo no aprendizado indutivo de regras: extensões e aplicações, 18/02/09

243 HOBMEIR, Antonio (Orientador: Alexandre Ibrahim Direne) Uma abordagem dialógica alternativa para aquisição de habilidades táticas em jogos educacionais, 27/02/09

244 ANDRADE, Beatriz Trinchão (Orientador: Olga Regina Pereira Bellon) Utilizando fotografias digitais de alta qualidade na geração de textura para modelos 3D: Uma abordagem prática na preservação digital de acervos culturais e naturais, 27/02/09

245 SANTOS, Maikon Cismoski dos (Orientador: Hélio Pedrini) Renderização de cenas tridimensionais interativas em computadores com recursos gráficos limitados, 25/03/09

246 VIGNATTI, Tiago (Orientador: Luis Carlos Erpen de Bona) Arquivamento digital a longo prazo baseado em seleção de repositórios em redes peer-to-peer, 31/03/09

247 BINI, Tarcizio Alexandre (Orientador: Marcos Sfair Sunyé) Aplicação do algoritmo de KRUSKAL na otimização de consultas com múltiplas junções relacionais, 17/04/09

248 ASCARI, Luciano César (Orientador: Silvia Regina Vergilio) Teste baseado em defeitos de classes JAVA utilizando aspectos e mutação de especificações OCL, 25/05/09

249 FREITAS, Daniel Nieble de (Orientador: Laura Sánchez Garcia) Metodologia de desenvolvimento de software livre com arquiteturas orientadas a serviços: Um estudo de caso em ambiente de tradução automática, 23/06/09

250 JUNIOR, Aléssio Miranda (Orientador: Laura Sánchez Garcia) WiKLaTS – Um ambiente de interface e interação para manipulação e formalização de conhecimento para tradução entre pares de línguas baseada em regras, 25/06/09

251 BARRIVIERA, Rodolfo (Orientador:  Hélio Pedrini) Coompressão fractal de imagens, 03/07/09

252 ALBUQUERQUE, João Claudio Mussi de (Orientador: Roberto André Hexsel) Análise do comportamento da hierarquia de memória com oprofile estendido, 07/07/09

253 SILVA, Eduardo (Orientador: Luiz Carlos Pessoa Albini) Gerenciamento de chaves públicas sobrevivente baseado em grupos para manets, 09/07/09

254 BOIKO, Gustavo Pichorim (Orientador: Hélio Pedrini) Análise comparativa de técnicas de iluminação global para síntese de imagens com realismo, 22/02/09

255 CUBAS, Rafael dos Santos (Orientador: André Luiz Pires Guedes) Algoritmos exatos para coloração de grafos , 13/07/09

256 SILVA, Chauã Coluene Queirolo Barbosa da (Orientador: Regina Pereira Bellon) Reconhecimento facial 3D usando simulated annealing e a medida de interpenetração de superfícies, 31/07/09

257 JÚNIOR, Jorge Tortato (Orientador: Roberto André Hexsel) Investigação e implementação de sistemas embarcados multiprocessados baseados em dispositivos lógicos programáveis, 07/08/09

258 MORAES, Dionei Marcelo (Orientador: Elias Procópio Duarte Jr) Um serviço baseado em SNMP para detecção de falhas em sistemas distribuídos na internet, 24/08/09

259 SOUZA, Leandro Pacheco de (Orientador:  Elias Procópio Duarte Jr) Um serviço distribuído de detecção de falhas baseado em disseminação epidêmica, 24/08/09

260 OHIRA, Lilian Marques (Orientador: Luciano Silva) Identificação de requisitos para usabilidade de software assistivo, 26/08/09

261 ARAKI, Lucilia Yoshie (Orientador: Silvia Regina Vergilio) Um algoritmo evolutivo de geração de dados de teste para satisfazer critérios em código objeto JAVA , 27/08/09

262 BUENO, Juliana (Orientador: Laura Sanchez Garcia) Requisitos para um ambiente de comunicação como ferramenta de aopoio à alfabetização bilíngue de crianças surdas, 28/08/09

263 MIRANDA, Marcio Roberto (Orientador: Daniel Weingaertner) Identificador multread de fluxo de objetos: Abordagem por agrupamento de vetores de movimento e modelagem background, 28/08/09

264 JR, Lauro José de Paula (Orientador: Laura Sánchez Garcia) Avaliação de capacidades associadas a alfabetização bilíngue de crianças surdas: Um protótipo de sistema web baseado numa metodologia da psicologia experimental, 28/08/09

265 LENZ, Alexandre Rafael (Orientador: Silvia Regina Vergilio) Utilizando técnicas de aprendizado de máquina para apoiar o teste de regressão, 31/08/09

266 BARBIERI, Henrique Teske (Orientador: Alexandre Ibrahim Direne) Ferramentas integradas de acesso remoto para apoiar o auto-estudo e a competição em jogos heurísticos , 31/08/09

267 SALVI, Jorge Luis (Orientador: Fabiano Silva) Relacionamentos temporais entre redes de Petri e planejamento automático, 31/08/09

268 FERREIRA, Márcia Valéria Rodrigues (Orientador: Alexandre Ibrhaim Direne) Estudo empírico e aspectos pré-computacionais para a detecção automática de capacidades da perícia em aprendizes de xadrez, 31/08/09

2010

269 PAMPLONA SEGUNDO, Mauricio (Orientador: Luciano Silva, Co-orientador: Olga Pereira Bellon) Segmentação facial e deteção de características faciais em imagens de profundidade, 18/03/2010

270 MENDES, Caroline Mazetto (Orientador: Luciano Silva, Co-orientador: Olga Pereira Bellon) Visualização 3D interativa aplicada à preservação digital de acervos naturais e culturais, 19/03/2010

271 LEMES, Rubisley de Paula (Orientador: Luciano Silva, Co-orientador: Olga Pereira Bellon) FOOTSCANID: Sistema automático para identificação de recém-nascidos utilizando impressões palmares e plantares, 19/03/2010

272 BOSS, Silvio Luiz Bragatto (Orientador: Jair Donadelli ) Caracterizações de buscas em hipermultigrafos, 23/04/2010

273 MARCZAL, Diego (Orientador: Alexandre Ibrahim Direne) Um arcabouço que enfatiza a retroação a contextos de erro durante o acesso a conteúdos educacionais, 20/05/2010

274 KULTZ, Rene (Orientador: Luis Allan Künzle) Utilização de heurísticas de planejamento no desdobramento de redes de Petri, 02/06/2010

275 PINTO, Gustavo Henrique Lima (Orientador: Silvia Regina Vergilio) Um algoritmo genético multiobjetivo para geração de dados de teste, 08/06/2010

276 HORNUNG, Rafael (Orientador: Andrey Ricardo Pimentel) Um método para identificação antecipada de candidatos a aspecto no desenvolvimento de frameworks de domínio, 23/08/2010

277 ROSENDO, Matheus (Orientador: Aurora Trinidad Ramirez Pozo) Um algoritmo de otimização por nuvem de particulas para resolução de problemas combinátorios, 24/08/2010

278 LANGE, Adriano (Orientador: Marcos Sfair Sunyé ) Uma avaliação de algoritmos não exaustivos para otimização de junções, 26/08/2010

279 GALVAN, Rodrigo (Orientador: Silvia Regina Vergilio) Utilizando algoritmos de busca meta-heurística para estabelecer sequências de testes de integração para programas orientados a aspectos, 26/08/2010

280 SILVA, Renan Fischer e (Orientador: Luiz Carlos Pessoa Albini) Sistema de gerenciamento de chaves públicas baseado em virtualização para redes ad hoc móveis, 27/08/2010

281 CECCHIN, Frantchesco (Orientador: Carmem Satie Hara) Um modelo para resolução de conflitos sobre repositório de dados XML, 27/08/2010

282 ARNAUT, Davi Einstein Melges (Orientador: Carmem Satie Hara) Um componente relacional para plataformas de armazenamento em nuvem, 27/08/2010

283 RAMOS, Gabriel Silva (Orientador:  Alexandre Ibrahim Direne),  Detecção e remediação de erros na generalidde de conceitos matemáticos por meio de sistemas tutores inteligentes, 30/08/2010

284 MACHADO, Kheronn Khennedy (Orientador: Marcos Castilho) Composição dinâmica de serviços WEB utilizando ontologias na descrição e planejadores hierárquicos em inteligência artificial, 30/08/2010

285 BENITO, Franck Carlos Vélez (Orientador: Luiz Allam Kunzle) Desdobramento para redes de petri k-limitadas, 30/08/2010

286 SOUZA, Rafael Andrade (Orientador: Fabiano Silva) Utilização de múltiplas representações externas para construção de fractais em ambientes exploratórios de aprendizagem, 30/08/2010

287 GOMES, Everaldo (Orientador: Luis Carlos Erpen de Bona ) Hidra: Arquivamento digital da Alta-confiabilidade utilizando a auditoria em redes peer-to-peer, 31/08/2010

288 HUZIOKA, Daniel Tetsuo, (Orientador:  Elias Procópio Duarte Jr ) Um protocolo ALM baseado em desigualdade triangular para distribuição de conteúdo, 31/08/2010

289 SAVEGNAGO, Taylor Augusto, (Orientador: Aurora Pozo) Algoritmos evolutivos multi-objetivos para problemas com vários objetivos, 31/08/2010

290 MELLO, Arthur Mello, (Orientador: Fabiano Silva) Plataforma para Desenvolvimento e Avaliação de Resolvedores SAT, 10/09/2010.

291 DREES, Dyego Rogher (Orientador: Olga Regina Bellon) Vizualização 3D interativa um sistema de rederização remota, 14/09/2010

292 NUNES, Rodrigo Alves (Orientador: Olga Regina Bellon, Co-orientador: Luciano Silva)  Avaliação de técnicas para o reconhecimento de pessoas pela forma de andar (gain recognition), 16/09/2010

293 MEIRA, Jorge Augusto (Orientador: Eduardo Almeira)  Uma Metodologia Incremental de teste de estresse de banco de dados transacional de grande escala, 23/09/2010

2011

294 ANTUNES, Diego Roberto (Orientador: Laura Garcia) Um modelo de descrição computacional da fonologia da língua de sinais brasileira, 11/03/2011

295 ÁRIAS, João Carlos Garcia (Orientador: Silvia R. Vergilio) Teste de aplicações baseado em análise de instâncias de dados alternativas, 20/03/2011

296 LOURENÇO, Luis Henrique Alves (Orientador: Daniel Weingaertner) Paralelização do Detector de Bordas Canny para a Biblioteca ITK utilizando CUDA, 07/04/2011

297 NOBRE, Tiago (Orientador: Silvia R. Vergilio) Uma abordagem baseada em algoritmos de otimização multiobjetivos para reduzir o custo do critério de teste análise de mutantes, 08/04/2011.

298 RIBAS, Bruno Cesar (Orientador: Fabiano Silva) Satisfabilidade não-clausal restrita as variáveis de entrada, 13/04/2011

299 KUTZKE, Alexander Robert (Orientador: Andrea Weber) Assinalamentos de testes para um algoritmo de diagnóstico em nível de sistema para redes de sensores sem fio,  15/4/2011

300 BANZI, Adam Salgado (Orientador: Aurora Pozo ) Disseminação Bio-inspirada de eventos em redes dinâmicas e descentralizadas, 12/05/2011

301 GARRETT, Thiago (Orientador: Elias Procópio Duarte Jr )  Seleção de nodos para a execução de experimentos no PLANETLAB baseada no monitoramento de estabilidade das interações fina-a-fim, 17/06/2011

302 PIRES, Karine (Orientador: Elias Procópio Duarte Jr ) Medidas de conectividade baseadas em cortes de vértices para redes complexas, 27/06/2011

303 SCHIMIDT, Emanuel Amaral (Orientador: Elias Procópio Duarte Jr ) Detecção de Alterações de conteúdo em redes P2P para transmissões de mídia contínua ao vivo, 04/07/2011

304 PEDREIRA, Pedro Eugênio Rocha (Orientador: Luis Carlos Erpen de Bona )  Sistemas de Armazenamento compartilhado com qualidade de serviços e alto-desempenho, 07/07/2011

305 GOMES,  Leonardo (Orientador: Olga R. Bellom) Alinhamento automático de imagens de profundidade para modelagem 3D de objetos, 25/8/2010

306 KUSS, Fabiano Sardenberg (Orientador:  Alexandre Ibrahim Direne), Definição de atores e seus papéis em um ambiente virtual para aprendizagem e prática de xadrez escolar, 29/08/2011

307 BAZZO, Gustavo Cesar (Orientador:  Alexandre Ibrahim Direne, Co-orientador: Luiz Eduardo S. Oliveira)  Classificação automática de erros de aprendizes humanos do processo de indução analítica, 29/08/2011

308 FURLANETO, Sérgio Samuel (Orientador: Carmem Hara)  SIDS –  Um modelo de gerenciamento de dados baseado em similaridade espacial para redes de sensores sem fio, 30/08/2011

309 ZANONI, Paulo Ricardo (Orientador: Luis Carlos Erpen de Bona) Uma metodologia de avaliação de desempenho de sistemas peer-topeer baseados em tabelas hash distribuídas, 30/08/2011

310 OLIVEIRA, Fábio Duarte de (Orientador: Andrey Pimentel)  Suporte ao aprendizado apoiado por múltiplas representações externas através de análise e remediação de erros, 30/08/2011

311 BARROS, Urlan Salgado (Orientador: Aldri dos Santos) Um sistema baseado na teoria do perigo para detectar ataques jamming em manets, 24/09/2011

312 CABRAL, Rafael Veiga (Orientador: Eduardo Spinosa) Programação genética baseada em árvores para classificação com uma classe com ênfase na geração de anomalias, 29/08/2011

313 MATTOS, Antonio Junior de (Orientador: Eduardo Cunha Almeida) Test data generation for testing mapreduce systems, 14/11/2011

314 ZATESKO, Leandro Miranda (Orientador: Jair Donadelli) Esquemas de hashing perfeitos, mínimos, práticos, determinísticos e eficientes em tempo e em espaço, 17/11/2011

315 ZÜGE, Alexandre Prusch (Orientador: Renato José da Silva Carmo) Solução exata do problema da clique máxima, 18/11/2011

316 BONTORIN, Marco Caetano Lazarine (Orientador: Aldri Luiz dos Santos) Uma técnica bio-inspirada de posicionamento, segmentação e retemporização para reduzir o consumo de energia em FPGAs, 25/11/2011

317 ALBÔNICO, Michel (Orientador: Eduardo Cunha de Almeida) HadoopTest: um controlador de testes distribuídos para sistemas baseados em MapReduce, 08/12/2011

318 MANNES, Elisa (Orientador: Aldri Luiz dos Santos, Co-orientador: Michele Nogueira Lima) Um esquema bio-inspirado para tolerância à má-conduta em sistema de quórum apoiando serviços de operação em MANET, 17/06/2011