Algoritimos Distribuidos
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. Um modelo multiagente de simulação criminal bio-inspirado
Entender o comportamento dos eventos criminais e como eles estão distribuídos é uma importante informação para o planejamento do policiamento urbano. A identificação dos principais aspectos que influenciam a ocorrência de crimes permite uma melhor utilização e distribuição dos recursos policiais. Contudo, este é um problema complexo de ser avali
Publicado em: 2008
-
2. ANÁLISE FORMAL DE PROTOCOLOS E ALGORITMOS DISTRIBUÍDOS: UMA ABORDAGEM BASEADA EM LINGUAGEM / FOMAL ANALYSIS OF PROTOCOLS AND DISTRIBUTED ALGORITHMS: A BASED-LANGUAGE APPROACH
Neste trabalho propomos uma arquitetura para a verificação formal de protocolos e algoritmos distribuídos. Esta pode ser vista como uma camada mais abstrata sobre o processo tradicional de verificação formal, onde temos a especificação e propriedade a serem verificadas, o verificador e o resultado retornado por este. O objetivo é simplificar o proces
Publicado em: 2005