Navegação por Assunto "Verification"
Resultados 1-5 de 5
-
Implementação computacional e verificação de ontologias para a modelagem da confiança em transações na web
(2011) [Dissertação]O avanço da World Wide Web tem mudado a forma como os negócios são conduzidos entre as organizações. A Web Semântica é o próximo passo na evolução da web. Ela trata de agregar significado semântico ao seu conteúdo, tornando-o ... -
Muse : um ambiente para modelagem de aplicações multimidia interativas com tradutor para e-lotos
(1998) [Dissertação]É notável o avanço da utilização de aplicações multimídia nos diversos setores da atividade humana. Independente da área, seja ela educação ou entretenimento, a possibilidade de agregar recursos dinâmicos como áudio e vídeo ... -
Pattern classification for layout hotspots
(2018) [Trabalho de conclusão de graduação]The final objective of an integrated circuit design is to produce a layout, that is, a geometrical representation of the circuit where the geometrical shapes correspond to patters that will be formed by layers of metal, ... -
Uncovering bugs in P4 programs with assertion based verification
(2018) [Dissertação]Recent trends in software-defined networking have extended network programmability to the data plane through programming languages such as P4. Unfortunately, the chance of introducing bugs in the network also increases ... -
O uso de técnicas do jornalismo Open Source nas Visual Investigations do New York Times : a reportagem sobre a unidade russa que matou dezenas em Bucha
(2023) [Trabalho de conclusão de graduação]Este trabalho de pesquisa tem como objetivo a análise do papel das técnicas de jornalismo Open Source na apuração da reportagem intitulada “Caught on Camera, Traced by Phone: The Russian Military Unit That Killed Dozens ...