Anais – IV SBRC (1986)

Páginas Iniciais

Artigos da Trilha Principal

Validação de protocolos de comunicação através de rede de Petri: aplicação em sinalização telefônica. pp. 1-20
Shusaburo Motoyama, Walter da Cunha Borelli, Magda Patrícia Caldeira Arantes, Roberto T. Tamura

Applicative specification of computer networks and protocols. pp. 21-30
Silvio Lemos Meira

Development and operation of an OSI-based network for the scientific community. pp. 31-41
K. Ullmann, DFN-Verein

Modelagem do serviço gerenciamento de diálogo da camada de sessão. pp. 42-57
Maria Izabel Cavalcanti Cabral, Jacques Phillipe Sauvé

Estudo comparativo entre o PTV/SERPRO e as tendências da ISO para a padronização da sintaxe de transferência de informações. pp. 58-80
Eveline Távora de Queiroz Cobra, Pedro Koshino

Apropriação de uso dos recursos computacionais em uma rede de computação com vistas a contabilização de preço. pp. 81-102
Paulo Guilherme Teixeira Freire

Distributed allocation of identical resources. pp. 103-118
Osvaldo S. F. Carvalho

Fracionamento-disseminação: uma técnica para a segurança de dados em sistemas distribuídos. pp. 119-132
J. Fraga

Interconnection between computer networks in Germany. pp. 133-147
Wulf L.-Bauerfeld, DFN-Verein Berlin

The comic toolkit for building distributed systems. pp. 148-157
M. Sloman, J. Kramer, J. Magee

Alternativas de acesso de computadores a redes públicas. pp. 158-180
José da Silva Rodrigues Filho, Paulo Roberto Freire Cunha

Um concentrador/comutador local de pacotes X.25, supervisionado remotamente. pp. 181-198
José Roberto Emiliano Leite

Dimac: um protocolo de acesso por passagem de Token. pp. 199-216
Clylton Galamba Fernandes, Jaelson Freire Brelaz de Castro, Paulo Roberto Freire Cunha

Arquitetura de um suporte de comunicação baseado na rede local ethernet e no unix. pp. 217-233
Joberto S. B. Martins, Gérard Noguez

Serviços e primitivas para transferência de arquivos. pp. 234-248
Selim Asfora Neto, Merval Jurema Filho

Proposta de especificação de um servidor de impressora. pp. 249-262
Bernardo Gonçalves Riso, Elizabeth Sueli Specialski, Maria Marta Leite

O servidor de impressão da REDPUC. pp. 263-279
Vieira EAP, Fonseca NLS, Schwabe D.

Considerações sobre a utilização de técnicas de descrição formal de protocolos. pp. 280-300
Aroldo Y. Yai, Jaime Ono, Lauro T. Muramoto, William Astolfi, Stefania Stiubiener

Estudo e proposta de testes de comportamento do protocolo de transporte da ISO. pp. 301-324
Denis Gabos, Hamilton Fernandes de Mattias, Sidnei Hideo Tano, Stefania Stiubiener

Analisador sintático em Prolog para a linguagem de especificação de protocolos Estelle. pp. 325-353
Wanderley Lopes de Souza

Recent developments in protocol specification, validation and testing. pp. 354-368
Gregor v. Bochmann

Implementação de uma estação de voz num computador pessoal de 16 bits. pp. 369-391
Wagner Luiz Zucchi, Wilson Vicente Ruggiero

Rede experimental da PUC/RJ para integração de voz e dados. pp. 392-407
Luiz Fernando G. Soares, Marcus Fábio Vieira, Simone L. Martins

Implantação de um protocolo de transporte em uma rede local. pp. 408-421
Liane Margarida Rockenbach Tarouco, Jussara Issa Musse

Uma implementação de serviços de nível 6 e 7 na REDURGS. pp. 422-439
Liane Margarida Rockenbach Tarouco, Maria Janilce Almeida Wilkens

Reliability bounds for networks with statistical dependence. pp. 440-444
Eddy H. Carrasco, Charles J. Colbourn

Um pacote de simulação para avaliação de desempenho de redes locais. pp. 445-461
Antonio Cauper Filho, Jacques Philippe Sauvé, José Antão Beltrão Moura

Um modelo analítico modular para protocolos de acesso em redes locais. pp. 462-483
Marcos André M. Primo, J. Antão B. Moura

High throughput local network. pp. 484-491
G. Pujolle