Relevant bibliographies by topics / Especificacao formal : Protocolos

Contents

  1. Dissertations / Theses
  2. Conference papers

Academic literature on the topic 'Especificacao formal : Protocolos'

Author: Grafiati
Published: 4 June 2021
Last updated: 15 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Especificacao formal : Protocolos.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Dissertations / Theses on the topic "Especificacao formal : Protocolos"

1

Prolo, Carlos Augusto. "Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 1989. http://hdl.handle.net/10183/25930.

Full text
Abstract:
Desenvolve-se um trabalho na área de especificação formal de protocolos de comunicação de dados. E feita uma apresentação rigorosa dos conceitos e terminologia associados ao tema. E proposto um conjunto de critérios para comparação de linguagens formais para especificação de protocolos. Estes critérios são aplicados para a comparação entre duas destas linguagens, Estelle e Lotos, atuais e bastante difundidas, em fase final de padronização pela ISO.<br>This work stands on the area of formal protocol specification. It is given a rigorous presentation of the concepts and terminology related to th
APA, Harvard, Vancouver, ISO, and other styles
2

Furlan, Diógenes Cogo. "Especificação formal do SNMPv3 usando semântica de ações." reponame:Repositório Institucional da UFPR, 2010. http://hdl.handle.net/1884/24723.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Regnier, Paul Denis Etienne. "Especificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet." Escola Politécnica /Instituto de Matemática, 2008. http://repositorio.ufba.br/ri/handle/ri/22980.

Full text
Abstract:
Submitted by Marcio Filho (marcio.kleber@ufba.br) on 2017-06-09T12:32:23Z No. of bitstreams: 1 MestradoPaulRegnier.pdf: 1360286 bytes, checksum: 1fce559f768969919812613818682ff5 (MD5)<br>Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-12T15:27:57Z (GMT) No. of bitstreams: 1 MestradoPaulRegnier.pdf: 1360286 bytes, checksum: 1fce559f768969919812613818682ff5 (MD5)<br>Made available in DSpace on 2017-06-12T15:27:57Z (GMT). No. of bitstreams: 1 MestradoPaulRegnier.pdf: 1360286 bytes, checksum: 1fce559f768969919812613818682ff5 (MD5)<br>Este trabalho apresenta
APA, Harvard, Vancouver, ISO, and other styles
4

Nadai, Luciano Pinto de. "Uma especificação formal e funcional de interconexão de redes DQDB/ATM para serviços com conexão não orientada." [s.n.], 1996. http://repositorio.unicamp.br/jspui/handle/REPOSIP/261874.

Full text
Abstract:
Orientador: Akobo Yamakani<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação<br>Made available in DSpace on 2018-07-21T21:57:25Z (GMT). No. of bitstreams: 1 Nadai_LucianoPintode_M.pdf: 8791907 bytes, checksum: 75065ce4c5827da2ca719ce3105eab97 (MD5) Previous issue date: 1996<br>Resumo: Este trabalho apresenta uma implementação formal e funcional da integração de LAN's com protocolos DQDB e redes ATM, baseado nas recomendações encontradas nas normas do CCITT. Concentramos nossa atenção em serviços com conexão não orientada e utiliza
APA, Harvard, Vancouver, ISO, and other styles
5

Rezende, Daniel Cesar Felisberto. "Proposta de especificação formal em SDL de uma rede de comunicação automotiva baseada no protocolo FlexRay com geração automatica de codigo java." [s.n.], 2009. http://repositorio.unicamp.br/jspui/handle/REPOSIP/261673.

Full text
Abstract:
Orientador: Walter da Cunha Borelli<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação<br>Made available in DSpace on 2018-08-14T06:48:35Z (GMT). No. of bitstreams: 1 Rezende_DanielCesarFelisberto_M.pdf: 1288199 bytes, checksum: f1529cd12e6f799944821614b3c9750c (MD5) Previous issue date: 2009<br>Resumo: Este trabalho apresenta uma proposta de especificação formal em SDL de uma rede de comunicação intraveicular baseada no protocolo de comunicação FlexRay com geração automática de código Java. O modelo proposto se baseia naquele apre
APA, Harvard, Vancouver, ISO, and other styles
6

Chung, Stella Wing Kwan. "Proposta de mobilidade para protocolos H.323 e SIP em telefonia IP, utilizando linguagem de especificação formal SDL orientada a objetos." [s.n.], 2004. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260161.

Full text
Abstract:
Orientador: Walter da Cunha Borelli<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação<br>Made available in DSpace on 2018-08-04T00:33:45Z (GMT). No. of bitstreams: 1 Chung_StellaWingKwan_M.pdf: 1574709 bytes, checksum: 0da0dcfc25970e0c769f10026ff0c99f (MD5) Previous issue date: 2004<br>Resumo: Este trabalho apresenta propostas de mobilidade para os protocolos H.323 e SIP. Para o protocolo H.323, são desenvolvidos sistemas com mobilidade intra-dominio, inter-dominios e inter-dominios em conjunto com os novos conceitos do protocolo
APA, Harvard, Vancouver, ISO, and other styles
7

Takahara, Jhuli Meire. "Especificação formal utilizando projeto orientado a objeto e SDL'92 como alternativa para a evolução de protocolos de interconexão de redes locais e ATM." [s.n.], 1998. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260008.

Full text
Abstract:
Orientador: Walter da Cunha Borelli<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação<br>Made available in DSpace on 2018-07-23T20:02:45Z (GMT). No. of bitstreams: 1 Takahara_JhuliMeire_M.pdf: 7907623 bytes, checksum: f0ee58157a29c65edf588b0c2fd815be (MD5) Previous issue date: 1998<br>Resumo: Nesta tese são apresentadas a especificação formal, validação e simulação dos protocolos IP Clássico e NHRP (Next Hop Resolution Protocol), de interconexão de redes locais e ATM segundo recomendações do IETF (Internet Engineering Task Force).
APA, Harvard, Vancouver, ISO, and other styles
8

Barboza, Frederico Jorge Ribeiro. "VERIFICAÇÃO FORMAL DA FUNÇÃO DE CONTROLE DE ACESSO AO MEIO DO PROTOCOLO IEEE 802.11 E INVESTIGAÇÃO DA SUA APLICABILIDADE EM SISTEMAS DE TEMPO-REAL." Escola Politécnica / Instituto de Matemática, 2006. http://repositorio.ufba.br/ri/handle/ri/21586.

Full text
Abstract:
Submitted by Diogo Barreiros (diogo.barreiros@ufba.br) on 2017-02-17T16:37:53Z No. of bitstreams: 1 barboza2006.pdf: 716139 bytes, checksum: 56397fad812dffadf11ce4841ed6c59c (MD5)<br>Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-02-21T11:53:04Z (GMT) No. of bitstreams: 1 barboza2006.pdf: 716139 bytes, checksum: 56397fad812dffadf11ce4841ed6c59c (MD5)<br>Made available in DSpace on 2017-02-21T11:53:04Z (GMT). No. of bitstreams: 1 barboza2006.pdf: 716139 bytes, checksum: 56397fad812dffadf11ce4841ed6c59c (MD5)<br>O termo IEEE 802.11 diz respeito a uma família de
APA, Harvard, Vancouver, ISO, and other styles
9

Nassif, Nadia Adel. "Especificação formal em SDL e simulação de protocolos que combinam a tecnica de Label-Swapping com o roteamento de camada 3 para o transporte do Ip sobre o ARM." [s.n.], 1999. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260009.

Full text
Abstract:
Orientador: Walter da Cunha Borelli<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação<br>Made available in DSpace on 2018-07-25T16:20:30Z (GMT). No. of bitstreams: 1 Nassif_NadiaAdel_M.pdf: 10953982 bytes, checksum: cacb2be7368db5f807502c09fe7bed13 (MD5) Previous issue date: 1999<br>Resumo: A tese trata da especificação formal em SDL (Specification and Description Language) e da simulação através do SDT 1 (SDL Design Tool), de um classificador de fluxo X/V usado no IpSwitching e, do LDP (Label Distribution Protocol) do MPLS (Multi
APA, Harvard, Vancouver, ISO, and other styles
10

Castro, Marcel Cavalcanti de. "Propostas de implementação de qualidade de serviço na arquitetura VPN MPLS, utilizando linguagem de especificação formal SDL orientada a objetos e análise de desempenho utilizando o simulador OPNET." [s.n.], 2004. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260377.

Full text
Abstract:
Orientador: Walter da Cunha Borelli<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação<br>Made available in DSpace on 2018-08-04T00:34:51Z (GMT). No. of bitstreams: 1 Castro_MarcelCavalcantide_M.pdf: 1488533 bytes, checksum: 5a2e57ba0fe96d5603c60ef84835b558 (MD5) Previous issue date: 2004<br>Resumo: Este trabalho apresenta propostas de implementação de qualidade de serviço na arquitetura VPN MPLS e analise de desempenho destas propostas. São desenvolvidos sistemas com base na arquitetura VPN MPLS e sugerido uma proposta de expansão
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Especificacao formal : Protocolos"

1

Pacífico, Racyus D. G., Gerferson R. Coelho, Marcos A. M. Vieira, and José A. M. Nacif. "Roteador SDN em hardware independente de protocolo com análise, casamento e ações dinâmicas." In Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. Sociedade Brasileira de Computação - SBC, 2018. http://dx.doi.org/10.5753/sbrc.2018.2431.

Full text
Abstract:
O padrão OpenFlow é a solução mais utilizada em SDN, separando o plano de dados do plano de controle e usando um conjunto limitado de campos e ações. Porém, o OpenFlow não permite utilizar novos campos fora da especificação, dificultando a adoção de novos protocolos e serviços. Neste trabalho propomos um roteador SDN implementado em hardware com o objetivo de possibilitar a utilização de novos campos e protocolos definidos dinamicamente, sem a necessidade de recompilar ou reiniciar o roteador quando o usuário altera, em tempo de execução, a forma como os fluxos devem ser processados. Além diss
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography