Buscar
Itens para a visualização no momento 1-7 of 7
Semântica de ações orientada a objetos
(2002)
Resumo: Neste trabalho apresentamos a Semântica de Ações Orientada a Objetos, uma nova forma de tratar alguns dos problemas relacionados ao reuso e extensão de especificações de linguagens de programação em Semântica de ...
Verificação de tipos de XQuery : um protótipo em ASF+SDF
(2004)
Resumo: Dados semi-estruturados. e em particular XML, têm se destacado como padrão de representação de dados na world-wide web. Os dados semi-estruturados apresentam vantagens para o intercâmbio de dados entre diferentes ...
Algoritmos exatos para coloração de grafos
(2009)
Resumo: Neste documento apresentamos três recentes trabalhos no campo de estudos da coloração de grafos. Os algoritmos dos planos de corte, do Branch and Cut e o algoritmo de Lucet. Todos são algoritmos exatos para a ...
Uma proposta de aplicação integrada para a transferência automática de documentos estruturados por meio da web, utilizando serialização de objetos e meta-linguagem XML
(2001)
Resumo: A dificuldade de localizar e resgatar conteúdos na WEB, pela falta de padrões na estruturação de informações, pode gerar incompatibilidades na troca de dados entre pessoas e/ou organizações. Este fato motivou este ...
Análise semântica do objeto nulo em português do Brasil
(2002)
Resumo: Este trabalho reúne um conjunto de procedimentos capazes de mapear a representação semântica de discursos escritos em linguagem natural (mais precisamente no Português do Brasil) em um formalismo lógico. O enfoque ...
Uma abordagem distribuída baseada no algoritmo do carteiro chinês para diagnóstico de redes de topologia arbitrária
(2001)
Resumo: Neste trabalho é apresentado um novo algoritmo para o diagnóstico distribuído de redes de topologia arbitrária baseado no algoritmo do Carteiro Chinês. Um agente móvel, isto é, um processo que é executado e transmitido ...
Panalyse, uma ferramenta de baixo impacto para mediçao de utilizaçao de recursos do sistema operacional linux
(2002)
Resumo: 0 Sistema Operacional (SO) torna disponíveis e controla os recursos de hardware de um sistema computacional para os processos. Os dados de utilização destes recursos são de grande relevância para (i) o desenvolvimento ...