Buscar
Mostrando ítems 1-8 de 8
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
CSP y Bases de Datos Restrictivas
(Asociación Española para la Inteligencia Artificial, 2003)
Las Bases de Datos Restrictivas se originaron ante la necesidad de representar de forma m´as compacta y modular datos de gran tama˜no. De esta forma, y como medio para tratar datos continuos como es el caso de los ...
Artículo
Diagnostico de inconsistencia en contratos usando el diseño por contrato
(IEEE Computer Society, 2005)
Design by contract allows to develop more reliable and robust applications. Software is reliable if it can perform its work as it was specified, and it is robust if it can control abnormal situations. In this paper it is ...
Artículo
Developing a labelled object-relational constraint database architecture for the projection operator
(Elsevier, 2009)
Current relational databases have been developed in order to improve the handling of stored data, however, there are some types of information that have to be analysed for which no suitable tools are available. These new ...
Artículo
Integración de técnicas basadas en modelos para la determinación de la diagnosis mínima de un sistema
(Asociación Española para la Inteligencia Artificial (AEPIA), 2006)
Actualmente son dos las comunidades que trabajan en la diagnosis basada en modelos, FDI y DX. Aunque sus investigaciones se desarrollan en paralelo, suelen trabajar por separado. Este trabajo propone una integración de las ...
Artículo
Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules
(Elsevier, 2021)
Business process analytics and verification have become a major challenge for companies, especially when process data is stored across different systems. It is important to ensure Business Process Compliance in both data-flow ...
Artículo
Constraint satisfaction techniques for diagnosing errors in Design by Contract software
(Association for Computing Machinery (ACM), 2006)
Design by Contract enables the development of more reliable and robust software applications. In this paper, a methodology that diagnoses errors in software is proposed. This is based on the combination of Design by ...