Explosao De Mensagens
Mostrando 1-3 de 3 artigos, teses e dissertações.
-
1. Uma biblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens em sistema distribuídos
O desenvolvimento de sistemas distribuídos e protocolos de comunicação é uma tarefa complexa e o uso de técnicas de especificação e verificação formal torna-se necessário para garantir a corretude de tais sistemas. Enquanto técnicas de model-checking passam pelo problema da explosão do espaço de estados, o uso de provadores de teoremas represent
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/03/2010
-
2. A New Approach to Reduce Control Messages in Failure Detectors / UMA NOVA ABORDAGEM PARA REDUÇÃO DE MENSAGENS DE CONTROLE EM DETECTORES DE DEFEITOS
An unreliable failure detector is a basic building block widely used to implement fault tolerance techniques in asynchronous distributed systems. The use of failure detectors comes from the impossibility to implement deterministic agreement protocols in these environments, since it is not possible to distinguish a crashed process from a very slow process. Ho
Publicado em: 2006
-
3. Atividade criadora, produção de conhecimentos e formação de pesquisadores: algumas reflexões
Criatividade é um desses temas que sempre esteve em voga, com maior visibilidade em alguns momentos históricos. Vivemos hoje um desses momentos, pois a demanda da sociedade capitalística, no que se refere ao mercado de trabalho, incide sobre sujeitos criativos, polivalentes, capazes de trabalhar em equipe e com iniciativa. Super sujeitos, na verdade, dist
Psicologia & Sociedade. Publicado em: 2004