Browsing Computation by Title
Now showing items 547-566 of 1733
-
Especificação de funções de transferência para visualização volumétrica
(2005) [Dissertation]Técnicas de visualização volumétrica direta são utilizadas para visualizar e explorar volumes de dados complexos. Dados volumétricos provêm de diversas fontes, tais como dispositivos de diagnóstico médico, radares de ... -
Especificação de funções de transferência unidimensionais e multidimensionais para visualização volumétrica direta
(2007) [Dissertation]O uso de dados volumétricos é bastante comum em diversas áreas da ciência, como Medicina, Física e Meteorologia. São exemplos típicos os dados provenientes de dispositivos de tomografia computadorizada ou ressonância ... -
Especificação de uma metodologia de avaliação para ambientes de gerenciamento de cursos a distância
(2002) [Dissertation]A Internet pelos mecanismos de informação, comunicação e cooperação que proporciona, vem se afirmando ao longo dos últimos anos, como uma interessante opção à viabilização da educação a distância e a aprendizagem virtual, ... -
Especificação de um sistema de suporte a implementação de linguagens
(1987) [Dissertation]Neste trabalho é descrita a organização de SINSEM, um sistema de processamento automático de especificação SINtático-SEMânticas de linguagens de programação. É colocada a motivação para um tal sistema, em relação ao uso ... -
Especificação e análise de sistemas através de gramática de grafos
(2016) [Dissertation]O crescimento da complexidade e do tamanho dos sistemas computacionais atuais suscitou um aumento na dificuldade de extração e especificação de modelos formais desses sistemas, tornando essa atividade cada vez mais ... -
Especificação formal de organizações de sistemas multiagentes
(2011) [Thesis]A abordagem de sistemas multiagentes tem sido cada vez mais utilizada para o desenvolvimento de sistemas complexos, o que despertou o interesse das pesquisas na área de engenharia de software orientada a agentes (AOSE) e ... -
Especificação formal de uma ferramenta de reutilização de especificações de requisitos
(1998) [Dissertation]A Engenharia de Software vem, ao longo das últimas décadas, merecendo cada vez mais atenção da comunidade cientifica. A capacidade de construir software com qualidade, dentro dos prazos e orçamentos, atendendo a demanda ... -
Um esquema compilativo para linguagens de operação de banco de dados
(1984) [Dissertation]Este trabalho apresenta o estudo feito sobre esquemas compilativos para linguagens não-procedurais, de operação de banco de dados, baseados na abordagem relacionai e propõe uma técnica de geração de código para a linguagem ... -
Essential notation for object-relational mapping
(2014) [Thesis]This thesis presents the Essential Notation for Object-Relational Mapping (ENORM), a general purpose notation that represents structural concepts of Object- Relational Mapping (ORM). The goal of ENORM is to facilitate the ... -
Estendendo quadtress para suporte ao armazenamento e recuperação de dados espaço-temporais
(2000) [Dissertation]Nos Sistemas de Informação Geográfica (SIG), os aspectos temporais são importantes, principalmente, para representar o histórico de dados georreferenciados. Vários modelos conceituais de dados para SIG propõem classes e ... -
Estimativa da pose da cabeça em imagens monoculares usando um modelo no espaço 3D
(2013) [Dissertation]Esta dissertação apresenta um novo método para cálculo da pose da cabeça em imagens monoculares. Este cálculo é estimado no sistema de coordenadas da câmera, comparando as posições das características faciais específicas ... -
Estimativa da produtividade no desenvolvimento de software
(2001) [Dissertation]Este trabalho apresenta uma ferramenta para gerenciamento de projetos, priorizando as fases de planejamento e o controle do desenvolvimento de software. Ao efetuar o planejamento de um projeto é necessário estimar o prazo, ... -
Estimativa de capacitâncias e consumo de potência em circuitos combinacionais CMOS no nível lógico
(2001) [Thesis]Esta tese propõe o desenvolvimento de um método de estimativa de capacitâncias e de potência consumida nos circuitos combinacionais CMOS, no nível de portas lógicas. O objetivo do método é fazer uma previsão do consumo de ... -
Uma estratégia baseada em programação orientada a aspectos para injeção de falhas de comunicação
(2005) [Dissertation]A injeção de falhas permite acelerar a ocorrência de erros em um sistema para que seja possível a validação de seu comportamento sob falhas, assim como a avaliação do impacto dos mecanismos de detecção e remoção de erros ... -
Estratégia de migração de aplicações legadas visuais (tipo WIMP) para o ambiente Web
(2003) [Dissertation]O sucesso da Internet como plataforma de distribuição de sistemas de informação encoraja organizações a disponibilizar serviços presentes em seus sistemas legados nesse ambiente. Uma parte desses sistemas foi desenvolvida ... -
Uma estratégia genérica para casamento aproximado de instâncias
(2006) [Thesis]Casamento aproximado de instâncias é um problema central em muitos processos de gerenciamento de dados, tais como integração de dados, data cleaning e consulta aproximada. O principal objetivo de casamento aproximado é ... -
Estratégias de computação seqüenciais e paralelas sobre espaços coerentes
(1996) [Dissertation]As estruturas de dados concretas (cds) são quaternas (C, V, E, l-) que contêm um conjunto C de células, um conjunto V de valores, um conjunto E de eventos e uma relação de habilitação l-. O conjunto de estados de uma cds ... -
Estratégias de escalonamento OFDMA DL para redes móveis
(2016) [Dissertation]A grande popularidade dos dispositivos móveis que provêm acesso ubíquo à Internet de banda larga, através de redes de rádio, e o volume de tráfego gerado por estes dispositivos estão aumentando a cada ano. Além disso, vem ... -
Estrutura Reflexiva para Sistemas Operacionais Multiprocessados
(1997) [Thesis]É crescente, nos últimos anos, a utilização da tecnologia de orientação a objetos para a construção de sistemas complexos. A aceitação de que tal tecnologia, alem de facilitar a modularização e proporcionar maior reusabilidade, ... -
Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos
(1989) [Dissertation]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 ...