{"id":90,"date":"2013-03-19T02:35:14","date_gmt":"2013-03-19T02:35:14","guid":{"rendered":"http:\/\/ce-resd.sbc.org.br\/?page_id=90"},"modified":"2013-04-29T12:57:44","modified_gmt":"2013-04-29T12:57:44","slug":"anais-1994","status":"publish","type":"page","link":"https:\/\/ce-resd.sbc.org.br\/?page_id=90","title":{"rendered":"Anais &#8211; XII SBRC (1994)"},"content":{"rendered":"<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/frontmatter.pdf\"><span style=\"font-size: large;\">P\u00e1ginas Iniciais<\/span><\/a><\/p>\n<p><strong><span style=\"font-size: large;\">Artigos da Trilha Principal<\/span><\/strong><\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p01.pdf\">Interconex\u00e3o de micro computadores atrav\u00e9s da rede de energia el\u00e9trica de baixa tens\u00e3o: a rede local LAN+BT. pp. 1-14<\/a><br \/>\nBoris Sitnik, Walter Godoy Jr., Em\u00edlio C. G. Wille<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p02.pdf\">Rede de comunica\u00e7\u00e3o para equipamentos de teste RECET. pp. 15-33<\/a><br \/>\nAndr\u00e9 Lu\u00eds de Andrade Mendes, Luiz Ant\u00f4nio Pav\u00e3o, Manoel Camillo Penna<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p03.pdf\">A concep\u00e7\u00e3o de aplica\u00e7\u00f5es e o dimensionamento de redes barramento de campo: uma vis\u00e3o orientada \u00e0 engenharia concorrente. pp. 34-49<\/a><br \/>\nPedro F. Rosa, Francisco Vasques, Robert Valette<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p04.pdf\">Implementa\u00e7\u00e3o e testes do sistema de comunica\u00e7\u00e3o do ambiente RIO. pp. 53-72<\/a><br \/>\nAlexandre Sztajnberg, Orlando Loques, Julius C. B. Leite<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p05.pdf\">Implementa\u00e7\u00e3o de um ambiente para suporte \u00e0 programa\u00e7\u00e3o distribu\u00edda orientada a configura\u00e7\u00e3o. pp. 73-92<\/a><br \/>\nMarcus V. V. de Sousa, Paulo R. F. Cunha, S\u00edlvio S. Bandeira, Virg\u00ednia C. C. de Paula<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p06.pdf\">Plataforma multiware: projeto e desenvolvimento da camada middleware. pp. 93-109<\/a><br \/>\nMendes, M. J., Madeira, E. R. M<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p07.pdf\">Ger\u00eancia de redes de computadores atrav\u00e9s de novos agentes. pp. 113-133<\/a><br \/>\nMarco Antonio da Rocha, Carlos Becker Westphall<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p08.pdf\">Distribui\u00e7\u00e3o da ger\u00eancia na rede. pp. 134-153<\/a><br \/>\nCleber Garcia Weissheimer, Liane Rockenbach Tarouco<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p09.pdf\">Aplica\u00e7\u00f5es de gerenciamento de redes inteligentes. pp. 154-172<\/a><br \/>\nClaudia Marcia Pereira Moutinho, Michael Anthony Stanton<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p10.pdf\">A language for generic dynamic configuration of distributed programs. pp. 175-187<\/a><br \/>\nMarkus Endler<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p11.pdf\">Objetos distribu\u00eddos em Cm. pp. 188-201<\/a><br \/>\nRog\u00e9rio Drummond, Celso Gon\u00e7alves Jr.<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p12.pdf\">LindaTalk: combinando Linda com Smalltalk. pp. 202-221<\/a><br \/>\nM\u00e1rcio Quintaes Marchini<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p13.pdf\">Utiliza\u00e7\u00e3o de restri\u00e7\u00f5es e recursos predefinidos na especifica\u00e7\u00e3o de protocolos com a TDF LOTOS. pp. 225-244<\/a><br \/>\nMirela Sechi Moretti Annoni Notare, Bernardo Gon\u00e7alves Riso<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p14.pdf\">Tornando LOTOS apta para especificar sistemas tempo real. pp. 245-264<\/a><br \/>\nMurilo S. de Camargo, Jean-Marie Farines<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p15.pdf\">Uma ferramenta para an\u00e1lise e verifica\u00e7\u00e3o de protocolos especificados em SDL. pp. 265-283<\/a><br \/>\nRodrigo Stumpf Trindade, Liane Margarida Rockenbach Tarouco<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p16.pdf\">PROTEUM\/FSM: especifica\u00e7\u00e3o de uma ferramenta para apoiar a valida\u00e7\u00e3o de m\u00e1quinas de estado finito pelo crit\u00e9rio an\u00e1lise de mutantes. pp. 284-302<\/a><br \/>\nSandra Camargo Pinto Ferraz Fabbri, Marcio Eduardo Delamaro, Jos\u00e9 Carlos Maldonado, Paulo Cesar Masiero<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p17.pdf\">Modelos de fluxo cont\u00ednuo para aloca\u00e7\u00e3o de capacidades em redes ATM. pp. 305-320<\/a><br \/>\nRoberta D. da Carvalheira, J. A. Suruagy Monteiro<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p18.pdf\">Um protocolo SR ARQ ponto-a-multiponto com reconhecimento acumulativo para comunica\u00e7\u00f5es a altas velocidades. pp. 321-339<\/a><br \/>\nHeliomar Medeiros de Lima, Otto Carlos M. Bandeira Duarte<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p19.pdf\">Um esquema para o gerenciamento do protocolo FTP baseado em dom\u00ednios. pp. 343-362<\/a><br \/>\nJos\u00e9 Aparecido Carrilho, Edmundo Roberto Mauro Madeira<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p20.pdf\">Uma proposta para ger\u00eancia de correio eletr\u00f4nico. pp. 363-384<\/a><br \/>\nAna Cristina Benso da Silva, Liane M. Rockenbach Tarouco<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p21.pdf\">Uma plataforma de suporte ao gerenciamento da rede UFSC. pp. 385-404<\/a><br \/>\nMarcello Thiry, Elizabeth Specialski<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p22.pdf\">Plataforma multiware: especifica\u00e7\u00e3o da camada de suporte para aplica\u00e7\u00f5es CSCW. pp. 407-425<\/a><br \/>\nWaldomiro P. D. C. Loyolla, Ivo Reis Fontes, Fernando Cortez Sica, Manuel de Jesus Mendes<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p23.pdf\">Um modelo de programa\u00e7\u00e3o para aplica\u00e7\u00f5es de tempo real em ambientes ODP. pp. 426-441<\/a><br \/>\nAdilson Barboza Lopes, Alberto Barbosa, Rosa Cristina Martins de Medeiros, Maur\u00edcio Ferreira Magalh\u00e3es<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p24.pdf\">Considera\u00e7\u00f5es para o desenvolvimento de aplica\u00e7\u00f5es distribu\u00eddas em ambientes heterog\u00eaneos. pp. 442-464<\/a><br \/>\nGedeon J. dos Santos Filho, Jacques P. Sauv\u00e9, J. Ant\u00e3o B. Moura<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p25.pdf\">Uma arquitetura de seguran\u00e7a para ger\u00eancia de redes. pp. 467-485<\/a><br \/>\nJos\u00e9 Eduardo De Lucca, Carlos B. Westphall, Elizabeth S. Specialski<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p26.pdf\">Um prot\u00f3tipo para o estudo de interoperabilidade em TMNs (Telecommunication Management Networks). pp. 486-503<\/a><br \/>\nMauro Oliveira, Neuman Souza, Nazim Agoulmine, Henrique Almeida<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p27.pdf\">A secure platform support environment for TMN applications. pp. 504-520<\/a><br \/>\nJ. Celestino Jr., A. Hussein, N. Melo<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p28.pdf\">Integrating a checkpointing and rollback-recovery algorithm with a causal order protocol. pp. 523-540<\/a><br \/>\nLuis Moura Silva, Jo\u00e3o Gabriel Silva<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p29.pdf\">Uma proposta de algoritmo ass\u00edncrono para difus\u00e3o confi\u00e1vel at\u00f4mica. pp. 541-563<\/a><br \/>\nL\u00edliam Terezinha Ribeiro Due\u00f1as, Joni da Silva Fraga<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p30.pdf\">Proposi\u00e7\u00e3o de um modelo de toler\u00e2ncia a faltas formado por m\u00faltiplas replica\u00e7\u00f5es: modelo MR. pp. 564-583<\/a><br \/>\nLuiz Nacamura J\u00fanior, Joni da Silva Fraga<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p31.pdf\">Suporte de comunica\u00e7\u00e3o para desenvolvimento de aplica\u00e7\u00f5es distribu\u00eddas em um ambiente IBM 3090\/PC. pp. 587-597<\/a><br \/>\nKatia Barbosa Saikoski, Eduardo Born Lampert<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p32.pdf\">Um ambiente para programa\u00e7\u00e3o de aplica\u00e7\u00f5es distribu\u00eddas em redes de workstations. pp. 598-616<\/a><br \/>\nAnt\u00f4nio Marinho Pilla Barcellos, Jo\u00e3o Frederico Lacava Schramm, Carlos Alberto Teixeira Jr., Gustavo Gerhardt, Cl\u00e1udio Fernando Resin Geyer<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p33.pdf\">Avalia\u00e7\u00e3o funcional de arquiteturas de sistemas de arquivos distribu\u00eddos. pp. 617-635<\/a><br \/>\nMarcos Antonio Masnik Ferreira<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p34.pdf\">Especifica\u00e7\u00e3o e verifica\u00e7\u00e3o do protocolo CMIP para gerenciamento de rede. pp. 639-658<\/a><br \/>\nErny Otto Lehmann J\u00fanior, Aloysio de Castro Pinto Pedroza<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p35.pdf\">Especifica\u00e7\u00e3o formal, em Estelle, do processamento de chamadas da central tr\u00f3pico RA. pp. 659-676<\/a><br \/>\nRossana M. de Castro Andrade, Wanderley Lopes de Souza<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p36.pdf\">SCOM-X25: um experi\u00eancia com metodologias de desenvolvimento de software na implementa\u00e7\u00e3o de um protocolo de comunica\u00e7\u00e3o. pp. 677-693<\/a><br \/>\nAna Maria Ambrosio, Fl\u00e1vio de Freitas Barbosa<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p37.pdf\">Arquitetura de comutador ATM usando o roteador RCube. pp. 697-710<\/a><br \/>\nWilliam F. Giozza, Belkacem Zerrouk<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p38.pdf\">Conversor de interface G.703\/2,048 Mbit\/s para interface V.35 do CCITT. pp. 711-724<\/a><br \/>\nJuergen Rochol, Andr\u00e9 Aita<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p39.pdf\">SMHMS: um correio eletr\u00f4nico multim\u00eddia\/hiperm\u00eddia. pp. 727-745<\/a><br \/>\nRicardo de A. M. Soares, Luiz Fernando G. Soares<\/p>\n<p><a href=\"http:\/\/ce-resd.sbc.org.br\/sbrc\/1994\/p40.pdf\">Realiza\u00e7\u00e3o de um sistema orientado a objetos para o ensino de redes computadores .pp. 746-765<\/a><br \/>\nGuy Barroso, Lu\u00eds Ara\u00fajo Jr., R\u00e9gis Sim\u00e3o, Mauro Oliveira<\/p>\n","protected":false},"excerpt":{"rendered":"<p>P\u00e1ginas Iniciais Artigos da Trilha Principal Interconex\u00e3o de micro computadores atrav\u00e9s da rede de energia el\u00e9trica de baixa tens\u00e3o: a rede local LAN+BT. pp. 1-14 Boris Sitnik, Walter Godoy Jr., Em\u00edlio C. G. Wille Rede de comunica\u00e7\u00e3o para equipamentos de &hellip; <a href=\"https:\/\/ce-resd.sbc.org.br\/?page_id=90\">Continue lendo <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_daextinma_seo_power":"","_daextinma_enable_ail":"","footnotes":""},"class_list":["post-90","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/ce-resd.sbc.org.br\/index.php?rest_route=\/wp\/v2\/pages\/90","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ce-resd.sbc.org.br\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/ce-resd.sbc.org.br\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/ce-resd.sbc.org.br\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/ce-resd.sbc.org.br\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=90"}],"version-history":[{"count":0,"href":"https:\/\/ce-resd.sbc.org.br\/index.php?rest_route=\/wp\/v2\/pages\/90\/revisions"}],"wp:attachment":[{"href":"https:\/\/ce-resd.sbc.org.br\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=90"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}