Buscar
Mostrando ítems 1-10 de 3094
Understanding factors and practices of software security and performance verificationCompreendendo práticas e fatores relacionados à verificação de segurança e performance de software
(Universidade Federal do Rio de JaneiroBrasilInstituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de EngenhariaPrograma de Pós-Graduação em Engenharia de Sistemas e ComputaçãoUFRJ, 2021)
Metodologia de Verificação Funcional para Circuitos Analógicos
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Engenharia ElétricaAutomação e Sistemas; Engenharia de Computação; Telecomunicações, 2009-09-04)
This work proposes a new methodology to verify those analog circuits, providing an automated tools to help the verifiers to have a more truthful result. This work presents the development of new methodology for analog ...
Verificação formal de planos para agentes autônomos e sistemas multiagentes: um estudo de caso aplicado ao futebol de robôs
(Instituto de MatemáticaPrograma de Pós-graduação em MecatrônicaUFBAbrasil, 2017-02-07)
Os Agentes Autônomos – AA e os Sistemas Multiagentes – SMA realizam suas tarefas
baseados num planejamento e a sua complexidade vai depender de qual ambiente esteja
envolvido, principalmente quando este ambiente é dinâmico ...
Lista de verificação do sistema PIUP - estabelecimento vinícola.
(IN: SILVEIRA, S. V. da; GARRIDO, L. da R.; HOFFMANN, A. (Ed.). Produção integrada de uva para processamento: bases para a adoção da produção integrada. Brasília, DF: Embrapa, 2015. v. 1, cap. 4, p. 50-54., 2015)
Composição de biometria para sistemas multimodais de verificação de identidade pessoal
(Universidade Federal de Pernambuco, 2014)
IVM: uma metodologia de verificação funcional interoperável, iterativa e incremental
(Universidade Federal de Pernambuco, 2014)
Lista de verificação do sistema PIUP - etapa campo.
(IN: SILVEIRA, S. V. da; GARRIDO, L. da R.; HOFFMANN, A. (Ed.). Produção integrada de uva para processamento: bases para a adoção da produção integrada. Brasília, DF: Embrapa, 2015. v. 1, cap. 3, p. 38-49., 2015)