Portal do Governo Brasileiro
s
Mostrando
1 - 3
resultados de
3
para a busca '
'
Pular para o conteúdo
Institucional
Sobre
Como participar
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Faq
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Orientador(a):
Musicante, Martin Alejandro
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Tipo de acesso:
openAccess
Tipo de documento:
Tese
Outro:
UFRN
E
Repositório Institucional da UFRN
Idioma:
Português
Mostrar filtros (7)
Orientador(a):
Musicante, Martin Alejandro
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Tipo de acesso:
openAccess
Tipo de documento:
Tese
Outro:
UFRN
E
Repositório Institucional da UFRN
Idioma:
Português
Resultados da busca
Mostrando
1 - 3
resultados de
3
para a busca '
'
, tempo de busca: 0,02s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Exportar RIS
Exportar CSV
1
A Methodology for Building Service-Oriented Applications in the Presence of Non-Functional Properties
Por
Souza Neto, Plácido Antônio de
Publicado em 2012
Acessar documento
Tese
2
Certificação de composições de serviços web semânticos
Por
Pessini, Evando Carlos
Publicado em 2014
Acessar documento
Tese
3
Improvements on graph path queries: expression, evaluation, and minimum-weight satisfiability
Por
Medeiros, Ciro Morais
Publicado em 2022
Acessar documento
Tese
Voltar
Refinar a Busca
Instituição de defesa
Universidade Federal do Rio Grande do Norte (UFRN)
3
Bases coletadas
Repositório Institucional da UFRN
3
Programa de Pós-Graduação
PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO
2
Programa de Pós-Graduação em Sistemas e Computação
1
Autor
Medeiros, Ciro Morais
1
Pessini, Evando Carlos
1
Souza Neto, Plácido Antônio de
1
Orientador(a)
Musicante, Martin Alejandro
Tipo de documento
Tese
Tipo de acesso
openAccess
Idioma
Português
Assunto
Composição de serviços web
1
Computação
1
Context-free languages
1
Correção parcial
1
Graph minimization
1
Graph path queries
1
Mais ...
Lógica de Hoare
1
Lógica descritiva
1
SOD-M
1
Serviços confiáveis. Políticas. Desenvolvimento dirigido a modelos. Metodologia. ⇡
1
Serviços web semânticos
1
Ver todos ...
menos ...
Assunto em inglês
Reliable service. Policy. Model-driven development. Methodology. ⇡
1
SOD-M
1
Área do conhecimento CNPq
SISTEMAS DE COMPUTACAO
Ano da publicação
De:
Até:
Carregando...