Repositório Institucional da UFMG: Browsing DSpace

Browsing by Author Sergio Vale Aguiar Campos

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 20 of 41 next >

Issue Date	Title	Author(s)	Type
12-Nov-2004	Um algoritmo distribuído para verificação de modelos com fronteiras	Hugo Valentim Barros	Dissertação de Mestrado
14-Apr-2003	Análise da distribuição de streaming media em arquiteturas do tipo peer-to-peer	Marisa Affonso Vasconcelos	Dissertação de Mestrado
10-Oct-2012	BioBI - Ferramenta para análise de dados biológicos	Herbert Rausch Fernandes	Dissertação de Mestrado
31-Jul-2012	Caracterização das propriedades dinâmicas da rede sobreposta em aplicação de transmissão par-a-par de vídeo ao vivo	Kênia Carolina Gonçalves	Dissertação de Mestrado
25-Nov-2019	CAsIDS: chronic arsenic intoxication diagnostic score identification system	Ana Beatriz Delavia Thomasi	Dissertação
18-Mar-2014	Definição de visões em um lims orientado a fluxo de trabalho para gerenciamento de dados e processos laboratoriais	Cristiano Santos Botelho	Dissertação de Mestrado
4-Jul-2003	E-cath: um sistema para telemedicina em hemodinâmica utilizando redes de baixa velocidade	Bernardo Moreira de Faria	Dissertação de Mestrado
29-Mar-2011	elGen: ferramenta para geração de circuitos combinatórios e sequenciais para benchmark	Leandro Maia Silva	Dissertação de Mestrado
22-Oct-2009	Formal verification of communication protocols for wireless networks	Daniel Camara	Tese de Doutorado
19-Mar-2013	Um framework para mapeamento entre objetos e processos de negócios	Rogel Garcia de Oliveira	Dissertação de Mestrado
29-Nov-2007	Gerenciamento de ambientes computacionais heterogêneos via web	Daniel Oliveira Nascimento	Dissertação de Mestrado
14-Dec-2007	Impactos da interatividade na escalabilidade de protocolos para mídia contínua	Marcus Vinicius de Melo Rocha	Tese de Doutorado
7-Dec-2015	Lowering the impact of chunk losses in P2P live streaming systems	Joao Ferreira D' Arauto e Oliveira	Tese de Doutorado
28-Aug-2002	Uma metodologia para verificação de modelos de sistemas de comércio eletrônico (A model checking methodology for e-commerce systems)	Adriano César Machado Pereira	Dissertação de Mestrado
26-May-2008	Mineração de texto, agrupamento de seqüências e integração de dados para o desenvolvimento da Plant Defense Mechanisms Database	Adriano Barbosa da Silva	Tese de Doutorado
17-Dec-2009	Modelagem, verificação formal e codificação de sistemas reativos autônomos	Ruiter Braga Caldas	Tese de Doutorado
2-Dec-2011	Um modelo estatístico multivariado para prever o comportamento de heurísticas em verificação formal	Georgia Penido Safe	Tese de Doutorado
22-Mar-2013	Nano Track: sistema inteligente de gerenciamento de dados de síntese de nanoestruturas	Andre Sousa Figueiredo Silva	Dissertação de Mestrado
27-Jun-2006	Um núcleo inteligente para processamento distribuído de resolvedores SAT em verificação por equivalências	Marcia Carolina Marra de Oliveira	Dissertação de Mestrado
17-Nov-2017	Overlay construction strategies for peer-to-peer live streaming systems	Eliseu César Miguel	Tese de Doutorado

Showing results 1 to 20 of 41 next >