Data/hora: 17/06/2024 03:26:56

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 28/07/1998
Data da última atualização: | 22/08/2007
Autoria: | BERNARDO FILHO, O.; FERNANDEZ, M. P.; PEDROZA, A. DE C. P.; LEAO, J. L. de S.
Título: | Uma tecnica com logica nebulosa para verificacao de um protocolo de gerencia hierarquica de rede.
Ano de publicação: | 1998
Fonte/Imprenta: | In: SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 16., 1998, Rio de Janeiro. Anais. Rio de Janeiro: Universidade Federal Fluminense, 1998.
Páginas: | p.239-257
Idioma: | Português
Conteúdo: | Este trabalho apresenta uma tecnica para verificacao formal aplicada a um modelo proposto de gerencia hieraquica de grandes redes de comunicacao ATM. Tal tecnica de verificacao usa um sistema de logica nebulosa para estimar a funcao de busca heuristica no grafo de execucao do protocolo considerado, objetivando encontrar um estado global meta que satisfaca uma dada propriedade de interesse.
Palavras-Chave: | Computer networks; Redes de computadores.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (7093-1) - ADD - PL - -- - 004.6 - SIM - 1998.00001 - DIS