{"id":91,"date":"2013-03-19T02:35:25","date_gmt":"2013-03-19T02:35:25","guid":{"rendered":"http:\/\/ce-resd.sbc.org.br\/?page_id=91"},"modified":"2013-04-29T12:58:22","modified_gmt":"2013-04-29T12:58:22","slug":"anais-1995","status":"publish","type":"page","link":"https:\/\/ce-resd.sbc.org.br\/?page_id=91","title":{"rendered":"Anais – XIII SBRC (1995)"},"content":{"rendered":"

P\u00e1ginas Iniciais<\/span><\/a><\/p>\n

Artigos da Trilha Principal<\/span><\/strong><\/p>\n

Utiliza\u00e7\u00e3o da t\u00e9cnica Estelle para gerar sequ\u00eancias de teste para protocolos de comunica\u00e7\u00e3o. pp. 3-22<\/a>
\nVit\u00f3rio Bruno Mazzola, Lu\u00eds Ot\u00e1vio Rodrigues da Silva<\/p>\n

Modelagem orientada ao objeto de especifica\u00e7\u00f5es escritas em Estelle. pp. 23-39<\/a>
\nCiro de Barros Barbosa, Wanderley Lopes de Souza<\/p>\n

Especificando protocolos em Z com agentes. pp. 41-60<\/a>
\nJo\u00e3o Bosco M. Sobral, Jorge L. S. Le\u00e3o, Aloysio C. P. Pedroza<\/p>\n

A critical assessment of testability in communication protocols. pp. 61-80<\/a>
\nAntonio A. F. Loureiro, Samuel T. Chanson, Son T. Vuong<\/p>\n

An\u00e1lise de desempenho de um multiplexador de c\u00e9lulas com descarte de bits. pp. 83-101<\/a>
\nMarta Barr\u00eda, Reinaldo Vallejos, Luiz Fernando G. Soares<\/p>\n

Implementa\u00e7\u00e3o de mecanismos de policiamento para redes de alta velocidade. pp. 103-119<\/a>
\nC\u00e9lio Vinicius Neves de Albuquerque, Marcio Faerman, Otto Carlos Muniz Bandeira Duarte<\/p>\n

Suporte para monitoramento e controle de carga em sistemas distribu\u00eddos. pp. 123-142<\/a>
\nRodrigo Cardoso Uch\u00f4a, Noemi de La Rocque Rodriguez<\/p>\n

Uma metodologia de apoio \u00e0 an\u00e1lise e ao desenvolvimento de aplica\u00e7\u00f5es em sistemas de gerenciamento de redes de computadores. pp. 143-161<\/a>
\nSuzana de Queiroz Ramos, Paulo Roberto Freire Cunha, Mauro Oliveira<\/p>\n

Representa\u00e7\u00e3o din\u00e2mica de objetos em sistemas de gerenciamento de redes. pp. 163-178<\/a>
\nCybelle Suemi Oda, Edson dos Santos Moreira<\/p>\n

Protocolos ponto-a-multiponto com retransmiss\u00f5es de m\u00faltiplas c\u00f3pias adaptados ao ambiente de sat\u00e9lite a alta velocidade. pp. 181-198<\/a>
\nHeliomar Medeiros de Lima, Otto Carlos Muniz Bandeira Duarte<\/p>\n

Modelo de n\u00f3 \u00fanico com fila para a Manhattan Street Network. pp. 199-211<\/a>
\nAntonio Augusto T. P. de Moraes, Lee Luan Ling<\/p>\n

ALLOS – uma ferramenta para solucionar modelos de redes de filas usando cadeias de Markov. pp. 213-225<\/a>
\nStanley R. de M. Oliveira, Maria Izabel C. Cabral, Edilson Ferneda, Marcos A. G. Brasileiro<\/p>\n

Servi\u00e7o de transfer\u00eancia de dados multiponto-a-multiponto. pp. 229-245<\/a>
\nMarcos Tadeu von Lutzow Vidal, Otto Carlos Muniz Bandeira Duarte, Aloysio de Castro Pinto Pedroza<\/p>\n

Comunica\u00e7\u00e3o de dados em redes celulares de telefonia m\u00f3vel (RCTM). pp. 247-264<\/a>
\nJuergen Rochol, Marcelo Boeira Barcelos, Henrique Pufal<\/p>\n

Causal order protocols for group communication. pp. 265-283<\/a>
\nRaimundo Jos\u00e9 de Ara\u00fajo Mac\u00eado<\/p>\n

SODA: a lease-based consistent distributed file system. pp. 287-300<\/a>
\nFabio Kon, Arnaldo Mandel<\/p>\n

Um esquema para acessar objetos em ambientes distribu\u00eddos. pp. 301-317<\/a>
\nLuiz Ot\u00e1vio Botelho Lento, Edmundo Roberto Mauro Madeira<\/p>\n

A customized communication subsystem for FT-Linda. pp. 319-338<\/a>
\nDorgival O. Guedes, David E. Bakken, Nina T. Bhatti, Matti A. Hiltunen, Richard D. Schlichting<\/p>\n

Integrating real-time requirements and fault-tolerance. pp. 339-353<\/a>
\nC\u00e9lio Estevan Moron<\/p>\n

Migrando uma solu\u00e7\u00e3o de interoperabilidade entre sistemas TMNs baseada na metodologia AIDE para o ambiente OSIMIS. pp. 357-369<\/a>
\nJ. Neuman de Souza, A. Mauro B. de Oliveira, Michael A. Stanton<\/p>\n

Extens\u00e3o da plataforma de ger\u00eancia OSIMIS pela implementa\u00e7\u00e3o da fun\u00e7\u00e3o de medida de contabiliza\u00e7\u00e3o. pp. 371-388<\/a>
\nLuiz Fernando Kormann, Adriano Coser, Elvis Melo Vieira, Carlos Becker Westphall<\/p>\n

Utiliza\u00e7\u00e3o do modelo TMN no gerenciamento de redes ATM. pp. 389-408<\/a>
\nCarlos de Castro Goulart, Jos\u00e9 Marcos Silva Nogueira<\/p>\n

Um n\u00facleo de sistema distribu\u00eddo para a simula\u00e7\u00e3o a eventos discretos. pp. 411-430<\/a>
\nCarlos Maziero<\/p>\n

Arquitetura de um ambiente virtual distribu\u00eddo para aplica\u00e7\u00f5es de larga escala. pp. 431-441<\/a>
\nRegina Borges de Araujo, Cl\u00e1udio Kirner<\/p>\n

Um suporte para aplica\u00e7\u00f5es de trabalho cooperativo do tipo editor distribu\u00eddo. pp. 443-459<\/a>
\nUdo Fritzke Jr., Jean-Marie Farines<\/p>\n

Uma metodologia para a implementa\u00e7\u00e3o de sistemas distribu\u00eddos em hardware a partir de uma descri\u00e7\u00e3o formal. pp. 463-481<\/a>
\nLuci Pirmez, Aloysio de Castro P. Pedroza, Ant\u00f4nio Carneiro de Mesquita<\/p>\n

Especifica\u00e7\u00e3o LOTOS de uma plataforma de apoio \u00e0 ger\u00eancia de redes. pp. 483-502<\/a>
\nMirela Sechi Moretti Annoni Notare, Bernardo Gon\u00e7alves Riso<\/p>\n

Especifica\u00e7\u00e3o funcional de um servidor para o servi\u00e7o n\u00e3o orientado \u00e0 conex\u00e3o na RDSI-FL. pp. 503-516<\/a>
\nPedro Grael Jr., Ivanil S. Bonatti<\/p>\n

P-RIO: a metodologia RIO sobre PVM. pp. 519-531<\/a>
\nEnrique Vinicio Carrera E., Orlando Loques, Julius Leite<\/p>\n

Parallel cluster labeling on a network of workstations. pp. 533-548<\/a>
\nFelipe Knop, Vernon Rego<\/p>\n

The federative trader model of the multiware platform. pp. 549-563<\/a>
\nLuiz Augusto de Paula Lima Jr., Edmundo Roberto Mauro Madeira<\/p>\n

Um esquema para o gerenciamento do tr\u00e1fego de aplica\u00e7\u00f5es em redes TCP-IP. pp. 567-585<\/a>
\nCarlos Kelner Silveira, Edmundo R. M. Madeira<\/p>\n

Ger\u00eancia de seguran\u00e7a OSI interface de controle de acesos. pp. 587-603<\/a>
\nAlexandre Moraes Ramos, Elizabeth Specialski<\/p>\n

Controle de acesso em ger\u00eancia de seguran\u00e7a para a rede UFSC. pp. 605-615<\/a>
\nElvis Melo Vieira, Maria Cristina Roschetta, Carlos B. Westphall<\/p>\n

Suporte \u00e0 execu\u00e7\u00e3o do ambiente DisCo. pp. 619-636<\/a>
\nS\u00edlvio Soares Bandeira, Paulo R. F. Cunha<\/p>\n

Uma experi\u00eancia de portabilidade do ANSAware para ambiente Novell. pp. 637-654<\/a>
\nManoel Camillo Penna, Marcelo Ehalt, Mauro S\u00e9rgio Fonseca, Sergies Batista<\/p>\n","protected":false},"excerpt":{"rendered":"

P\u00e1ginas Iniciais Artigos da Trilha Principal Utiliza\u00e7\u00e3o da t\u00e9cnica Estelle para gerar sequ\u00eancias de teste para protocolos de comunica\u00e7\u00e3o. pp. 3-22 Vit\u00f3rio Bruno Mazzola, Lu\u00eds Ot\u00e1vio Rodrigues da Silva Modelagem orientada ao objeto de especifica\u00e7\u00f5es escritas em Estelle. pp. 23-39 … Continue lendo →<\/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-91","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/ce-resd.sbc.org.br\/index.php?rest_route=\/wp\/v2\/pages\/91","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=91"}],"version-history":[{"count":0,"href":"https:\/\/ce-resd.sbc.org.br\/index.php?rest_route=\/wp\/v2\/pages\/91\/revisions"}],"wp:attachment":[{"href":"https:\/\/ce-resd.sbc.org.br\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=91"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}