Computacaoteses
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. Modelagem e análise de sistemas de transporte de íons em membranas celulares usando verificação de modelos
Recentemente há um interesse crescente na aplicação da Verificação Probabilística de Modelos (PMC) na especificação formal e análise de sistemas biológicos. PMC é uma técnica que permite uma exploração exaustiva do conjunto de estados de um sistema estocástico e pode fornecer visões valiosas do seu comportamento que são mais difíceis de se
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/07/2011
-
2. Algoritmo de codificação diferenciada para redes de sensores sem fio
Rede de sensores sem fio é um tipo de rede ad hoc que pode ser usada com o propósito de monitorar uma variedade de características ambientais, tais como som, temperatura, umidade, pressão, níveis de ruído, dentre outros. Um problema típico dessas redes é como coletar e enviar informações históricas de todos os nós sensores da rede para a estaçã
Publicado em: 2007