36 registros retornados

• Vitório Bruno Mazzola,  Luís Otávio Rodrigues da Silva.  Utilização da técnica Estelle para gerar seqüências de teste para protocolos de comunicação.  Buscar na Web Processando consulta.

• Ciro de Barros Barbosa,  Wanderley Lopes de Souza.  Modelagem orientada ao objeto de especificações escritas em Estelle.  Buscar na Web Processando consulta.

• João Bosco M. Sobral,  Jorge L. S. Leão,  Aloysio C. P. Pedroza.  Especificando protocolos em Z com agentes.  Buscar na Web Processando consulta.

• Antonio Alfredo Ferreira Loureiro,  Samuel T. Chanson,  Son T. Vuong.  A critical assessment of testability in communication protocols.  Buscar na Web Processando consulta.

• Marta Barra,  Reinaldo Vallejos,  Luiz Fernando G. Soares.  Análise de desempenho de um multiplexador de células com descarte de bits.  Buscar na Web Processando consulta.

• Célio Vinicius Neves de Albuquerque,  Márcio Faerman,  Otto Carlos Muniz Bandeira Duarte.  Implementação de mecanismos de policiamento para redes de alta velocidade.  Buscar na Web Processando consulta.

• Rodrigo Cardoso Uchoa,  Noemi de La Rocque Rodriguez.  Suporte para monitoramento e controle de carga em sistemas distribuídos.  Buscar na Web Processando consulta.

• Cybelle Suemi Oda,  Edson dos Santos Moreira.  Representação dinâmica de objetos em sistemas de gerenciamento de redes.  Buscar na Web Processando consulta.

• Suzana de Queiroz Ramos,  Paulo Roberto Freire Cunha,  Mauro Oliveira.  Uma metodologia de apoio a análise e ao desenvolvimento de aplicações de gerenciamento de redes de computadores.  Buscar na Web Processando consulta.

• Heliomar Medeiros de Lima,  Otto Carlos Muniz Bandeira Duarte.  Protocolos ponto-a-multiponto com retransmissões de múltiplas cópias adaptados ao ambiente de satélite a alta velocidade.  Buscar na Web Processando consulta.

• Antonio Augusto T. P. de Moraes,  Lee Luan Ling.  Modelo de nó único com fila para a Manhattan Street Network.  Buscar na Web Processando consulta.

• Stanley R. de M. Oliveira,  Maria Izabel C. Cabral,  Edilson Ferneda,  Marcos A. S. Brasileiro.  ALLOS - uma ferramenta para solucionar modelos de redes de filas usando cadeias de Markov.  Buscar na Web Processando consulta.

• Marcos Tadeu von Lutzow Vidal,  Otto Carlos Muniz Bandeira Duarte,  Aloysio de Castro Pinto Pedroza.  Serviço de transferência de dados multiponto-a-multiponto.  Buscar na Web Processando consulta.

• Juergen Rochol,  Marcelo Boeira Barcelos,  Henrique Pufal.  Comunicação de dados em redes celulares de telefonia móvel (RCTM).  Buscar na Web Processando consulta.

• Raimundo José de Araujo Macedo.  Causal order protocols for group communication.  Buscar na Web Processando consulta.

• Fabio Kon,  Arnaldo Mandel.  SODA: a lease-based consistent distributed file system.  Buscar na Web Processando consulta.

• Luiz Otavio Botelho Lento,  Edmundo Roberto Mauro Madeira.  Um esquema para acessar objetos em ambientes distribuídos.  Buscar na Web Processando consulta.

• Dorgival O. Guedes,  David E. Bakken,  Nina T. Bhatti,  Matti A. Hiltunen,  Richard D. Schlichting.  A customized communication subsystem for FT-Linda.  Buscar na Web Processando consulta.

• Célio Estevan Moron.  Integrating real-time requirements and fault-tolerance.  Buscar na Web Processando consulta.

• J. Neuman de Souza,  A. Mauro B. de Oliveira,  Michael A. Stanton.  Migrando uma solução de interoperabilidade entre sistemas TMNS baseada na metodologia AIDE para o ambiente OSIMIS.  Buscar na Web Processando consulta.

• Luiz Fernando Kormann,  Adriano Coser,  Elvis Melo Vieira,  Carlos Becker Westphall.  Extensão da plataforma de gerência OSIMIS pela implementação da função de medida de contabilização.  Buscar na Web Processando consulta.

• Carlos de Castro Goulart,  José Marcos Silva Nogueira.  Utilização do modelo TMN no gerenciamento de redes ATM.  Buscar na Web Processando consulta.

• Carlos Maziero.  Um núcleo de sistema distribuído para a simulação a eventos discretos.  Buscar na Web Processando consulta.

• Regina Borges de Araujo,  Claudio Kirner.  Arquitetura de um ambiente virtual distribuído para aplicações de larga escala.  Buscar na Web Processando consulta.

• Udo Fritzke Jr.,  Jean-Marie Farines.  Um suporte para aplicações de trabalho cooperativo do tipo editor distribuído.  Buscar na Web Processando consulta.

• Luci Pirmez,  Aloysio de Castro P. Pedroza,  Antonio Carneiro de Mesquita.  Uma metodologia para a implementação de sistemas distribuídos em hardware a partir de uma descrição formal.  Buscar na Web Processando consulta.

• Mirela Sechi Moretti Annoni Notare,  Bernardo Gonçalves Riso.  Especificação LOTOS de uma plataforma de apoio a gerência de redes.  Buscar na Web Processando consulta.

• Pedro Grael Jr.,  Ivanil S. Bonatti.  Especificação funcional de um servidor para o serviço não orientado a conexão na RDSI-FL.  Buscar na Web Processando consulta.

• Carlos Kelner Silveira,  Edmundo R. M. Madeira.  P - RIO: a metodologia RIO sobre PVM.  Buscar na Web Processando consulta.

• Felipe Knop,  Vernon Rego.  Parallel cluster labeling on a network of workstations.  Buscar na Web Processando consulta.

• Luiz Augusto de Paula Lima Jr.,  Edmundo Roberto Mauro Madeira.  The federative trader model of the multiware platform.  Buscar na Web Processando consulta.

• Carlos Kelner Silveira,  Edmundo R. M. Madeira.  Um esquema para o gerenciamento do tráfego de aplicações em redes TCP-IP.  Buscar na Web Processando consulta.

• Alexandre Moraes Ramos,  Elizabeth Specialski.  Gerência de segurança OSI interface de controle de acesso.  Buscar na Web Processando consulta.

• Elvis Melo Vieira,  Maria Cristina Boschetta,  Carlos B. Westphall.  Controle de acesso em gerência de segurança para a rede UFSC.  Buscar na Web Processando consulta.

• Silvio Soares Bandeira,  Paulo R. F. Cunha.  Suporte a execução do ambiente disco.  Buscar na Web Processando consulta.

• Manoel Camillo Penna,  Marcelo Ehalt,  Mauro Sergio Fonseca,  Sergies Batista.  Uma experiência de portabilidade do ANSAware para ambiente Novell.  Buscar na Web Processando consulta.