Buscar
Mostrando ítems 1-10 de 280
Formal validation of automated policy refinement in the management of network security systems
(SPRINGER, 2010)
Policy hierarchies and automated policy refinement are powerful approaches to simplify administration of security services in complex network environments. A crucial issue for the practical use of these approaches is to ...
Estudo de caso: aplicação de um controle de energia específica em refinadores a disco
(Universidade Tecnológica Federal do ParanáCuritibaBrasilCurso de Especialização em Automação IndustrialUTFPR, 2016-12-21)
The present paper approaches the case study in the WestRock Pulp and Paper Factory, more specifically the process of preparing the cellulosic pulp, so that the paper to be produced can be formed, making sure the quality ...
Scalable model-based configuration management of security services in complex enterprise networks
(WILEY-BLACKWELL, 2011)
Security administrators face the challenge of designing, deploying and maintaining a variety of configuration files related to security systems, especially in large-scale networks. These files have heterogeneous syntaxes ...
Gêmeos digitais, o futuro da indústria 4.0: estudo de caso
(Universidade Tecnológica Federal do ParanáCuritibaBrasilEspecialização em Teleinformática e Redes de ComputadoresUTFPR, 2018-11-23)
The study of physical objects through digital models is not new to industries and researchers. However, the current technological scenario allowed a confluence of factors that together with the arrival of the fourth ...
Scalable model-based configuration management of security services in complex enterprise networks
(WILEY-BLACKWELLEstados Unidos, 2011)
Strategies for introducing non-radioactive labels during the automated sequence analysis of nucleic acids.
(Pontificia Universidad Católica de Valparaíso, 1998)
Estendendo CRefine para o suporte de táticas de refinamento
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2011-10-07)
The use of increasingly complex software applications is demanding greater investment
in the development of such systems to ensure applications with better quality. Therefore,
new techniques are being used in Software ...
Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos
(Universidade Tecnológica Federal do ParanáPato BrancoBrasilDepartamento Acadêmico de InformáticaEngenharia de ComputaçãoUTFPR, 2016-12-08)
In the Supervisory Control Theory (SCT) of Discrete Event Systems, the refinement of events has been explored to simplify the modeling task. Approximations complement this approach as an alternative to reduce effort in ...
Formalisation of SysML design models and an analysis strategy using refinement
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2016)