Anais – XII SBRC (1994)

Páginas Iniciais

Artigos da Trilha Principal

Interconexão de micro computadores através da rede de energia elétrica de baixa tensão: a rede local LAN+BT. pp. 1-14
Boris Sitnik, Walter Godoy Jr., Emílio C. G. Wille

Rede de comunicação para equipamentos de teste RECET. pp. 15-33
André Luís de Andrade Mendes, Luiz Antônio Pavão, Manoel Camillo Penna

A concepção de aplicações e o dimensionamento de redes barramento de campo: uma visão orientada à engenharia concorrente. pp. 34-49
Pedro F. Rosa, Francisco Vasques, Robert Valette

Implementação e testes do sistema de comunicação do ambiente RIO. pp. 53-72
Alexandre Sztajnberg, Orlando Loques, Julius C. B. Leite

Implementação de um ambiente para suporte à programação distribuída orientada a configuração. pp. 73-92
Marcus V. V. de Sousa, Paulo R. F. Cunha, Sílvio S. Bandeira, Virgínia C. C. de Paula

Plataforma multiware: projeto e desenvolvimento da camada middleware. pp. 93-109
Mendes, M. J., Madeira, E. R. M

Gerência de redes de computadores através de novos agentes. pp. 113-133
Marco Antonio da Rocha, Carlos Becker Westphall

Distribuição da gerência na rede. pp. 134-153
Cleber Garcia Weissheimer, Liane Rockenbach Tarouco

Aplicações de gerenciamento de redes inteligentes. pp. 154-172
Claudia Marcia Pereira Moutinho, Michael Anthony Stanton

A language for generic dynamic configuration of distributed programs. pp. 175-187
Markus Endler

Objetos distribuídos em Cm. pp. 188-201
Rogério Drummond, Celso Gonçalves Jr.

LindaTalk: combinando Linda com Smalltalk. pp. 202-221
Márcio Quintaes Marchini

Utilização de restrições e recursos predefinidos na especificação de protocolos com a TDF LOTOS. pp. 225-244
Mirela Sechi Moretti Annoni Notare, Bernardo Gonçalves Riso

Tornando LOTOS apta para especificar sistemas tempo real. pp. 245-264
Murilo S. de Camargo, Jean-Marie Farines

Uma ferramenta para análise e verificação de protocolos especificados em SDL. pp. 265-283
Rodrigo Stumpf Trindade, Liane Margarida Rockenbach Tarouco

PROTEUM/FSM: especificação de uma ferramenta para apoiar a validação de máquinas de estado finito pelo critério análise de mutantes. pp. 284-302
Sandra Camargo Pinto Ferraz Fabbri, Marcio Eduardo Delamaro, José Carlos Maldonado, Paulo Cesar Masiero

Modelos de fluxo contínuo para alocação de capacidades em redes ATM. pp. 305-320
Roberta D. da Carvalheira, J. A. Suruagy Monteiro

Um protocolo SR ARQ ponto-a-multiponto com reconhecimento acumulativo para comunicações a altas velocidades. pp. 321-339
Heliomar Medeiros de Lima, Otto Carlos M. Bandeira Duarte

Um esquema para o gerenciamento do protocolo FTP baseado em domínios. pp. 343-362
José Aparecido Carrilho, Edmundo Roberto Mauro Madeira

Uma proposta para gerência de correio eletrônico. pp. 363-384
Ana Cristina Benso da Silva, Liane M. Rockenbach Tarouco

Uma plataforma de suporte ao gerenciamento da rede UFSC. pp. 385-404
Marcello Thiry, Elizabeth Specialski

Plataforma multiware: especificação da camada de suporte para aplicações CSCW. pp. 407-425
Waldomiro P. D. C. Loyolla, Ivo Reis Fontes, Fernando Cortez Sica, Manuel de Jesus Mendes

Um modelo de programação para aplicações de tempo real em ambientes ODP. pp. 426-441
Adilson Barboza Lopes, Alberto Barbosa, Rosa Cristina Martins de Medeiros, Maurício Ferreira Magalhães

Considerações para o desenvolvimento de aplicações distribuídas em ambientes heterogêneos. pp. 442-464
Gedeon J. dos Santos Filho, Jacques P. Sauvé, J. Antão B. Moura

Uma arquitetura de segurança para gerência de redes. pp. 467-485
José Eduardo De Lucca, Carlos B. Westphall, Elizabeth S. Specialski

Um protótipo para o estudo de interoperabilidade em TMNs (Telecommunication Management Networks). pp. 486-503
Mauro Oliveira, Neuman Souza, Nazim Agoulmine, Henrique Almeida

A secure platform support environment for TMN applications. pp. 504-520
J. Celestino Jr., A. Hussein, N. Melo

Integrating a checkpointing and rollback-recovery algorithm with a causal order protocol. pp. 523-540
Luis Moura Silva, João Gabriel Silva

Uma proposta de algoritmo assíncrono para difusão confiável atômica. pp. 541-563
Líliam Terezinha Ribeiro Dueñas, Joni da Silva Fraga

Proposição de um modelo de tolerância a faltas formado por múltiplas replicações: modelo MR. pp. 564-583
Luiz Nacamura Júnior, Joni da Silva Fraga

Suporte de comunicação para desenvolvimento de aplicações distribuídas em um ambiente IBM 3090/PC. pp. 587-597
Katia Barbosa Saikoski, Eduardo Born Lampert

Um ambiente para programação de aplicações distribuídas em redes de workstations. pp. 598-616
Antônio Marinho Pilla Barcellos, João Frederico Lacava Schramm, Carlos Alberto Teixeira Jr., Gustavo Gerhardt, Cláudio Fernando Resin Geyer

Avaliação funcional de arquiteturas de sistemas de arquivos distribuídos. pp. 617-635
Marcos Antonio Masnik Ferreira

Especificação e verificação do protocolo CMIP para gerenciamento de rede. pp. 639-658
Erny Otto Lehmann Júnior, Aloysio de Castro Pinto Pedroza

Especificação formal, em Estelle, do processamento de chamadas da central trópico RA. pp. 659-676
Rossana M. de Castro Andrade, Wanderley Lopes de Souza

SCOM-X25: um experiência com metodologias de desenvolvimento de software na implementação de um protocolo de comunicação. pp. 677-693
Ana Maria Ambrosio, Flávio de Freitas Barbosa

Arquitetura de comutador ATM usando o roteador RCube. pp. 697-710
William F. Giozza, Belkacem Zerrouk

Conversor de interface G.703/2,048 Mbit/s para interface V.35 do CCITT. pp. 711-724
Juergen Rochol, André Aita

SMHMS: um correio eletrônico multimídia/hipermídia. pp. 727-745
Ricardo de A. M. Soares, Luiz Fernando G. Soares

Realização de um sistema orientado a objetos para o ensino de redes computadores .pp. 746-765
Guy Barroso, Luís Araújo Jr., Régis Simão, Mauro Oliveira