Buscar
Mostrando ítems 1-10 de 52
Artículo
Metodología Semicualitativa para Razonar sobre Sistemas Dinámicos
(Scientific Electronic Library Online (SCIELO), 2005-01)
En este artículo se propone una metodología para razonar sobre los modelos semicualitativos construidos para sistemas dinámicos con conocimiento cualitativo y cuantitativo. La información cualitativa de estos sistemas puede ...
Artículo
CyberSPL: Framework for the verification of cybersecurity policy compliance of system configurations using software product lines
(MDPI, 2019)
Cybersecurity attacks affect the compliance of cybersecurity policies of the organisations. Such disadvantages may be due to the absence of security configurations or the use of default configuration values of software ...
Artículo
CSP aplicados a la diagnosis basada en modelos
(Asociación Española para la Inteligencia Artificial, 2003)
En las ´ultimas d´ecadas, parte de la comunidad cient´ıfica ha dedicado sus esfuerzos al desarrollo de una metodolog´ıa para la diagnosis de sistemas desde el campo de la Inteligencia Artificial. Dicha metodolog´ıa ...
Artículo
Feature models to boost the vulnerability management process
(Elsevier Inc., 2023-01)
Vulnerability management is a critical and very challenging process that allows organisations to design a procedure to identify potential vulnerabilities, assess the level of risk, and define remediation mechanisms to ...
Artículo
Extensiones para el Ciclo de Mejora Continua en la enseñanza e investigación de Ingeniería Informática
(2011)
Este trabajo expone cómo añadiendo aspectos relacionados con la vigilancia tecnológica, las técnicas creativas aplicadas a la ingeniería, los modelos de calidad y los fundamentos epistemológicos relacionados con ella y la ...
Artículo
Hybrid business process modeling for the optimization of outcome data
(Elsevier, 2016)
Context: Declarative business processes are commonly used to describe permitted and prohibited actions in a business process. However, most current proposals of declarative languages fail in three aspects: (1) they tend ...
Artículo
Artículo
CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework
(Elsevier, 2012)
Design, development, and maintenance of firewall ACLs are very hard and error-prone tasks. Two of the reasons for these difficulties are, on the one hand, the big gap that exists between the access control requirements ...