publicações selecionadas Actel An Object Based Concurrent Language Parallel Algorithms for the Maximum Flow Problems
theses/dissertations advising Tolerância a falhas para o NIDIA: um sistema de detecção de intrusão baseado em agentes inteligentes Um Método para Seleção de Software na Enganharia de Requisitos Construção Automatizada De Casos De Teste Usando Engenharia Dirigida Por Modelos Proposta de Atualização Automática dos Sistemas de Detecção de Intrusão por meio de WEB Services Estudo da Utilização de Mecanismos de QoS em redes com Links de Banda Estreita Evolução de Esquema usando Visões: Aplicação ao Modelo GOOSM Estudo da Utilização de Mecanismo de QoS em Redes com Links de Bandas Estreita Mecanismo de Segurança Ciente do Contexto para Computação em Nuvem Móvel Um Método para Seleção de Software na Engenharia de Requisitos Interface de Analise de Interconexão em uma LAN Usando Corba SSACC - Serviço de Segurança para Autenticação Ciente do Contexto:para Dispositivos Móveis no Paradigma da Computação em Nuvem Segurança e Confiabilidade em IDS Baseados em Agentes Simulação de Evolução de Esquema Usando Visões: Aplicação no modelo GOOSM Composição Dinâmica de Serviços Web Semânticos Utilizando Abordagens da Engenharia Dirigida por ModeloS Ambiente de Objetos Compartilhados para WEB Usando CORBA. Uma pataforma de Testes com serviços Diferenciados para Modelagem de Trafego de voz Sobre IP: Analise Desempenho e de impacto Uma Biblioteca de Constraints Orientada a Objeto para Estruturas de dados Comuns Sistema de detecção de intrusão em redes baseado em SOA (NIDS-SOA) para suportar a interoperabilidade entre IDS's:aplicação ao NIDIA Uma Arquitetura Hibrida Para Sistemas Interativos Integração de Aplicações Empresariais com Serviços Web usando MDA Modelagem de um Sistema de FIREWALL Baseado em LINUX. SAMARA: Sociedade de Agentes para a Monitoração de Ataques e Respostas Automatizadas Uma Arquitetura para a Detecção de Intrusos no Ambiente Wireless usando Redes Neurais Artificiais Sistema de Detecção de Intrusão em Redes Baseado em SOA(NIDS-SOA) para Suportar a Interoperabilidade Entre ID s: Aplicação ao NIDIA Communicação Segura e confiavel para Sistemas Multiagentes Adantando Especificações XML Uma Abordagem baseada em Engenharia Dirigida por Modelos para Suportar o Teste de Sistemas de Software na Plataforma de Computação em Nuvem Sistema de Detecção de Intrusos em Ataques Oriundos de Botnets Utilizando Método de Detecção Híbrido Uma Ferramenta Colaborativa de Auxílio ao Diagnostico Medico para Ambientes Distribuídos Metodo de Reconhecimento Pessoal Atraves da Iris Usando Funções Geoestatistica Definição de uma Arquitetura P2P Baseada em Reputação e Orientada a Serviços Elicitação de Requisitos baseada em Objetivos para Políticas de Segurança e Privacidade em Comércio Eletrônico HoneypotLabsac: Um Framework de Honeypot Virtual para o Android Respostas automaticas para melhoria da seguranca em sistemas de deteccao de intrusos Interface de Análise da Interconexão em uma LAN usando CORBA Proposta para Reutilização na Engenharia de Requisitos através de Objetivos. UMA PROPOSTA DE MODELO DE PROCESSO BASEADO EM UMA ABORDAGEM ÁGIL PARA CONSTRUÇÃO E GESTÃO DE CURSOS EaD NO CONTEXTO DA UNIVERSIDADE ABERTA DO BRASIL FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z GERAÇÃO DE UM MODELO DE HONEYPOT PARA COMPUTAÇÃO EM NUVEM Mecanismo de Toler^ancia a Falhas para o EICIDS: Sistema de detec c~ao de intrus~ao el astico e interno baseado em nuvem Um kernel linux mínimo para firewall Uma Metodologia para Elicitação de Requisitos de Sistemas de Comércio Eletrônico baseada na Modelagem Organizacional Uma Bibliteca Orientada a Objetos baseada em Constraints Modelo de Autenticação para Sistemas de Computação em Nuvem SSACC -SERVIÇO DE SEGURANÇA PARA AUTENTICAÇÃO CIENTE DO CONTEXTO: para Dispositivos Móveis no Paradigma da Computação em Nuvem Um Modelo de Detecção de Intrusão para Ambientes de Computação em Nuvem Comunicação Segura e Confiável para Sistemas Multiagentes Adaptando Especificações XML Um Sistema Computacional para leitura e Analise de Mensagens ISUP do sistema Movél Celular Mecanismo Tolerante a Falhas para o EICIDS: sistema de detecção de intrusão elástico e interno baseada em nuvem. Framework de Aplicaçõoes Móveis com Segurança em SOA Sistema de automação de repostas para detecção de Intrusos Uma abordagem baseada em Engenharia Dirigida por Modelos para suporte de Testes de Software em ambientes de Computação em Nuvem Sistema Especialista para Telediagnóstico no Ambiente de Web Services Uma Ferramenta Colaborativa de Auxílio ao Diagnóstico Cardiológico para Ambientes Distribuídos Um Método para Elicitação e Modelagem de Requisitos Baseado em Objetivos Gerenciamento e Integração das Bases de Dados de Sistemas de Detecção de Intrusões AutonomicSec: Um Mecanismo Autonômico para Segurança de Redes baseado em Decepção Contribuição para o Desenvolvimento de Aplicações em Banco de Dados Avançados: Um Modelo e uma Ferramenta Mitigando Ataques de Negação de Serviço em Infraestruturas de Computação em Nuvem Elicitação de Requisitos não Funcionais em Conformidade com Políticas de Qualidade para Aplicações Médicas Forense Computacional em Ambiente de Rede Baseado na Geração de Alertas de Sistemas de Detecção de Intrusos Auxiliado pela Engenharia Dirigida por Modelos Modelo de IDS Remoto baseado na tecnologia de Agentes, Web Services e MDA Mitigando Ataques de Negação de Serviço em Infraestruturas de Nuvem Framework de Aplicações Móveis com Segurança em SOA Método de Objetivos para Integração de Pontos de Vistas em Engenharia de Requisitos de Comércio Eletrônico Um Controlador de Trafego Ferroviario Adaptável simulado com Maquinas de Estado Finistas Um Módulo de Monitoramento para uma Arquitetura de Transmissão de Mídia Contínua Integração de Sistemas de Supervisão Utilizando a Padronização da Arquitetura CORBA. CONSTRUÇÃO AUTOMATIZADA DE CASOS DE TESTES USANDO ENGENHARIA DIRIGIDA POR MODELOS Modelo de Segurança Autonômica para Computação em Nuvem com Uso de Honeypot Desenvolvimento de um Sistema de Informação Médica com Web Services e MDA Objets Java Compartilhados Fisicamente Distribuidos Proposta para Rutilização na ngenharia de Requisitos Através de Objetivos Um Modelo de Sistema de Filtragem Hibrida para um Ambiente Colaborativo de Ensino Aprendizagem Modelagem de Requisitos de Confiança por Engenharia Dirigida a Modelos Objetos Java Compartilhados Fisicamente Distribuídos. Um Framework de Segurança Baseado em Engenharia Dirigida por Modelos para Plataformas de Computação em Nuvem: Uma Abordagem para Modelos SaaS Metodo para Elicitação e Modelagem de Requitos com Objetivos UMA ABORDAGEM BASEADA NA ENGENHARIA DIRIGIDA POR MODELOS PARA SUPORTAR MERGING DE BASE DE DADOS HETEROGÊNEAS Uma Metodologia para Integração de Aplicações Empresariais com Web Services usando MDA Modelo de IDS para usuários de dispositivos móveis. Ambiente de Apoio ao Desenvolvimento de Aplicações Distribuidas Tolerancia a Falhas para o NIDIA : Um Sistema de Detecção Baseado em Agentes Inteligentes UMA ABORDAGEM BASEADA EM ENGENHARIA DIRIGIDA POR MODELOS E COMPUTAÇÃO EM NUVEM PARA SUPORTAR O TESTE DE MODELOS SAAS DE CÓDIGO ABERTO Framework de Comunicação seguro e confiável para Internet das Coisas usando o protocolo XMPP Um Mecanismo de Integração de Identidades Federadas entre Shibboleth e SimpleSAMLphp para Aplicações de Nuvens Metodologia para Elicitação de Requisitos de Comércio Eletrônico baseado na Modelagem Organizacional
