Anais – XIII SBRC (1995)

Páginas Iniciais

Artigos da Trilha Principal

Utilização da técnica Estelle para gerar sequências de teste para protocolos de comunicação. pp. 3-22
Vitório Bruno Mazzola, Luís Otávio Rodrigues da Silva

Modelagem orientada ao objeto de especificações escritas em Estelle. pp. 23-39
Ciro de Barros Barbosa, Wanderley Lopes de Souza

Especificando protocolos em Z com agentes. pp. 41-60
João Bosco M. Sobral, Jorge L. S. Leão, Aloysio C. P. Pedroza

A critical assessment of testability in communication protocols. pp. 61-80
Antonio A. F. Loureiro, Samuel T. Chanson, Son T. Vuong

Análise de desempenho de um multiplexador de células com descarte de bits. pp. 83-101
Marta Barría, Reinaldo Vallejos, Luiz Fernando G. Soares

Implementação de mecanismos de policiamento para redes de alta velocidade. pp. 103-119
Célio Vinicius Neves de Albuquerque, Marcio Faerman, Otto Carlos Muniz Bandeira Duarte

Suporte para monitoramento e controle de carga em sistemas distribuídos. pp. 123-142
Rodrigo Cardoso Uchôa, Noemi de La Rocque Rodriguez

Uma metodologia de apoio à análise e ao desenvolvimento de aplicações em sistemas de gerenciamento de redes de computadores. pp. 143-161
Suzana de Queiroz Ramos, Paulo Roberto Freire Cunha, Mauro Oliveira

Representação dinâmica de objetos em sistemas de gerenciamento de redes. pp. 163-178
Cybelle Suemi Oda, Edson dos Santos Moreira

Protocolos ponto-a-multiponto com retransmissões de múltiplas cópias adaptados ao ambiente de satélite a alta velocidade. pp. 181-198
Heliomar Medeiros de Lima, Otto Carlos Muniz Bandeira Duarte

Modelo de nó único com fila para a Manhattan Street Network. pp. 199-211
Antonio Augusto T. P. de Moraes, Lee Luan Ling

ALLOS – uma ferramenta para solucionar modelos de redes de filas usando cadeias de Markov. pp. 213-225
Stanley R. de M. Oliveira, Maria Izabel C. Cabral, Edilson Ferneda, Marcos A. G. Brasileiro

Serviço de transferência de dados multiponto-a-multiponto. pp. 229-245
Marcos Tadeu von Lutzow Vidal, Otto Carlos Muniz Bandeira Duarte, Aloysio de Castro Pinto Pedroza

Comunicação de dados em redes celulares de telefonia móvel (RCTM). pp. 247-264
Juergen Rochol, Marcelo Boeira Barcelos, Henrique Pufal

Causal order protocols for group communication. pp. 265-283
Raimundo José de Araújo Macêdo

SODA: a lease-based consistent distributed file system. pp. 287-300
Fabio Kon, Arnaldo Mandel

Um esquema para acessar objetos em ambientes distribuídos. pp. 301-317
Luiz Otávio Botelho Lento, Edmundo Roberto Mauro Madeira

A customized communication subsystem for FT-Linda. pp. 319-338
Dorgival O. Guedes, David E. Bakken, Nina T. Bhatti, Matti A. Hiltunen, Richard D. Schlichting

Integrating real-time requirements and fault-tolerance. pp. 339-353
Célio Estevan Moron

Migrando uma solução de interoperabilidade entre sistemas TMNs baseada na metodologia AIDE para o ambiente OSIMIS. pp. 357-369
J. Neuman de Souza, A. Mauro B. de Oliveira, Michael A. Stanton

Extensão da plataforma de gerência OSIMIS pela implementação da função de medida de contabilização. pp. 371-388
Luiz Fernando Kormann, Adriano Coser, Elvis Melo Vieira, Carlos Becker Westphall

Utilização do modelo TMN no gerenciamento de redes ATM. pp. 389-408
Carlos de Castro Goulart, José Marcos Silva Nogueira

Um núcleo de sistema distribuído para a simulação a eventos discretos. pp. 411-430
Carlos Maziero

Arquitetura de um ambiente virtual distribuído para aplicações de larga escala. pp. 431-441
Regina Borges de Araujo, Cláudio Kirner

Um suporte para aplicações de trabalho cooperativo do tipo editor distribuído. pp. 443-459
Udo Fritzke Jr., Jean-Marie Farines

Uma metodologia para a implementação de sistemas distribuídos em hardware a partir de uma descrição formal. pp. 463-481
Luci Pirmez, Aloysio de Castro P. Pedroza, Antônio Carneiro de Mesquita

Especificação LOTOS de uma plataforma de apoio à gerência de redes. pp. 483-502
Mirela Sechi Moretti Annoni Notare, Bernardo Gonçalves Riso

Especificação funcional de um servidor para o serviço não orientado à conexão na RDSI-FL. pp. 503-516
Pedro Grael Jr., Ivanil S. Bonatti

P-RIO: a metodologia RIO sobre PVM. pp. 519-531
Enrique Vinicio Carrera E., Orlando Loques, Julius Leite

Parallel cluster labeling on a network of workstations. pp. 533-548
Felipe Knop, Vernon Rego

The federative trader model of the multiware platform. pp. 549-563
Luiz Augusto de Paula Lima Jr., Edmundo Roberto Mauro Madeira

Um esquema para o gerenciamento do tráfego de aplicações em redes TCP-IP. pp. 567-585
Carlos Kelner Silveira, Edmundo R. M. Madeira

Gerência de segurança OSI interface de controle de acesos. pp. 587-603
Alexandre Moraes Ramos, Elizabeth Specialski

Controle de acesso em gerência de segurança para a rede UFSC. pp. 605-615
Elvis Melo Vieira, Maria Cristina Roschetta, Carlos B. Westphall

Suporte à execução do ambiente DisCo. pp. 619-636
Sílvio Soares Bandeira, Paulo R. F. Cunha

Uma experiência de portabilidade do ANSAware para ambiente Novell. pp. 637-654
Manoel Camillo Penna, Marcelo Ehalt, Mauro Sérgio Fonseca, Sergies Batista