- idUS
- Listar por autor
Listar por autor "Martínez Gasca, Rafael"
Mostrando ítems 1-20 de 153
-
Artículo
A framework for semiqualitative reasoning in engineering applications
Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (Taylor and Francis, 2002)In most cases the models for experimentation, analysis, or design in engineering applications take into account only ...
-
Ponencia
A Genetic Algorithm for Assembly Sequence Planning
Valle Sevillano, Carmelo del; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Camacho, Eduardo F. (Springer, 2003)This work presents a genetic algorithm for assembly sequence planning. This problem is more difficult than other sequencing ...
-
Ponencia
A heuristic polynomial algorithm for local inconsistency diagnosis in firewall rule sets
Pozo Hidalgo, Sergio; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael (SciTePress, 2008)Firewall ACLs can contain inconsistencies. There is an inconsistency if different actions can be taken on the same flow ...
-
Artículo
A heuristic process for local inconsistency diagnosis in firewall rule sets
Pozo Hidalgo, Sergio; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael (2009) -
Ponencia
A model integration of DX an FDI techniques for automatic determination of minimal diagnosis
Ceballos Guerrero, Rafael; Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (2005)Two communities work in parallel in model-based diagnosis: FDI and DX. In this work an integration of the FDI and the ...
-
Ponencia
A Model-Driven Engineering approach with Diagnosis of Non-Conformance of Security Objectives in Business Process Models
Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Jiménez Ramírez, Andrés (IEEE Computer Society, 2011)Several reports indicate that the highest business priorities include: business improvement, security, and IT management. The ...
-
Ponencia
A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs
Pozo Hidalgo, Sergio; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (IEEE Computer Society, 2010)Developing and managing firewall Access Control Lists (ACLs) are hard, time-consuming, and error-prone tasks for a ...
-
Ponencia
A scheduling approach to assembly sequence planning
Valle Sevillano, Carmelo del; Toro Bonilla, Miguel; Camacho, Eduardo F.; Martínez Gasca, Rafael (IEEE Computer Society, 2003)This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ...
-
Ponencia
A Security Pattern-Driven Approach toward the Automation of Risk Treatment in Business Processes
Varela Vaca, Ángel Jesús; Warschofsky, Robert; Martínez Gasca, Rafael; Pozo Hidalgo, Sergio; Meinel, Christoph (Springer, 2012)Risk management has become an essential mechanism for business and security analysts, since it enable the identification, ...
-
Ponencia
A Semiquantitative Approach to Study Semiqualitative Systems
Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Torres Valderrama, Jesús (Springer, 2002)In this paper is proposed a semiquantitative methodology to study models of dynamic systems with qualitative and quantitative ...
-
Artículo
A survey using constraints to decision-making for fault tolerance in Business processes
Gómez López, María Teresa; Martínez Gasca, Rafael; Arévalo Maldonado, Carlos (Science and Engineering Research Support Society (SERSC), 2010)Sometimes the business processes do not work how it is expected. In these cases, a diagnosis process has to be executed ...
-
Ponencia
A Topological-Based Method for Allocating Sensors by Using CSP Techniques
Ceballos Guerrero, Rafael; Cejudo, V.; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Springer, 2005)Model-based diagnosis enables isolation of faults of a system. The diagnosis process uses a set of sensors (observations) ...
-
Ponencia
A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models
Varela Vaca, Ángel Jesús; Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2016)Artifact-centric initiatives have been used in business processes whose data management is complex, being the simple ...
-
Ponencia
AFPL2, An Abstract Language for Firewall ACLs with NAT support
Pozo Hidalgo, Sergio; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (IEEE Computer Society, 2009)The design and management of firewall ACLs is a very hard and error-prone task. Part of this complexity comes from the ...
-
Ponencia
AMADEUS: Towards the AutoMAteD secUrity teSting
Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Carmona Fombella, José Antonio; Gómez López, María Teresa (ACM: Association for Computing Machinery, 2020)The proper configuration of systems has become a fundamental factor to avoid cybersecurity risks. Thereby, the analysis ...
-
Ponencia
An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way
Ceballos Guerrero, Rafael; Pozo Hidalgo, Sergio; Valle Sevillano, Carmelo del; Martínez Gasca, Rafael (Springer, 2005)Two communities work in parallel in model-based diagnosis: FDI and DX. In this work an integration of the FDI and the DX ...
-
Artículo
An integration of model-based techniques for determining the minimal diagnosis
Ceballos Guerrero, Rafael; Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Asociación Española para la Inteligencia Artificial, 2006) -
Artículo
An object-oriented approach for learning of algorithm design with sequential devices and schemas
Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel (2001) -
Ponencia
An Open-Source Proactive Security Infrastructure for Business Process Management
Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Jiménez Vargas, David; Martínez Gasca, Rafael; Suárez Fábrega, Antonio J.; Abad Herrera, Pedro J. (International Business Information Management Association (IBIMA), 2015)Business Process Management Systems (BPMS) have emerged in the IT arena as cornerstone in the automation and orchestration ...
-
Ponencia
Analysis and Visualization of the DX Community with Information Extracted from the Web
Rosa Troyano, Francisco Fernando de la; Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2005)The aim of the present work is the graphical representation of the structures of a specific knowledge area with data ...