- idUS
- Listar por autor
Listar por autor "Martínez Gasca, Rafael"
Mostrando ítems 21-40 de 155
-
Artículo
Análisis de redes sociales mediante diagramas estratégicos y estructurales
Rosa Troyano, Francisco Fernando de la; Martínez Gasca, Rafael; González Abril, Luis; Velasco Morente, Francisco (2005) -
Artículo
Análisis y visualización de comunidades científicas con información extraida de la web
Rosa Troyano, Francisco Fernando de la; Pozo Hidalgo, Sergio; Martínez Gasca, Rafael (IEEE Computer Society, 2005) -
Ponencia
Aplicación de estrategias innovadoras en un sistema de investigación científica
Martínez Gasca, Rafael (Universidad de Sevilla. Escuela Universitaria de Magisterio, 1984-12) -
Artículo
Aplicación del Razonamiento Semicualitativo al modelado y análisis de sistemas económicos
Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (Asociación Española para la Inteligencia Artificial, 2000)Generalmente, el uso de modelos para el estudio y análisis de sistemas económicos y de otras disciplinas, tienen en cuenta ...
-
Ponencia
Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis
Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Springer, 2004)Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge ...
-
Ponencia
Arquitectura de un crawler para extraer las estructuras y contenidos de recursos electrónicos
Rosa Troyano, Francisco Fernando de la; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Ceballos Guerrero, Rafael (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2002) -
Ponencia
Automatic Semiqualitative Analysis: Application to a Biometallurgical System
Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (Springer, 1998)The aim of this work is the representation and analysis of semiqualitative models. Their qualitative knowledge is represented ...
-
Artículo
Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models
Varela Vaca, Ángel Jesús; Parody Núñez, María Luisa; Martínez Gasca, Rafael; Gómez López, María Teresa (IEEE Computer Society, 2019)Organizations execute daily activities to meet their objectives. The performance of these activities can be fundamental ...
-
Artículo
Automating correctness verification of artifact-centric business process models
Borrego Núñez, Diana; Martínez Gasca, Rafael; Gómez López, María Teresa (Elsevier, 2015)Context: The artifact-centric methodology has emerged as a new paradigm to support business process management over the ...
-
Ponencia
Behavioral pattern analysis of secure migration and communications in eCommerce using cryptographic protocols on a mobile MAS platform
Pozo Hidalgo, Sergio; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael (IEEE Computer Society, 2005)Mobile Multi-Agent Systems (MAS) systems can be used with real success in a growing number of eCommerce applications ...
-
Artículo
Business Process Configuration According to Data Dependency Specification
Parody Núñez, María Luisa; Gómez López, María Teresa; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (MDPI AG, 2018-10-22)Configuration techniques have been used in several fields, such as the design of business process models. Sometimes these ...
-
Artículo
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
Varela Vaca, Ángel Jesús; Rosado, David G.; Sánchez, Luis E.; Gómez López, María Teresa; Martínez Gasca, Rafael; Fernández Medina, Eduardo (Elsevier, 2021)In the last years, cyber-physical systems (CPS) are receiving substantial mainstream attention especially in industrial ...
-
Ponencia
Choreography Analysis for Diagnosing Faulty Activities in Business-to-Business Collaboration
Borrego Núñez, Diana; Martínez Gasca, Rafael; Gómez López, María Teresa; Barba Rodríguez, Irene (Linköping University, 2009)The interaction between business processes (BPs) by means of a choreography is considered as a Business-to-Business ...
-
Tesis Doctoral
Combi-BP: automating the data-oriented optimization in business processes. From declarative to executable models.
Parody Núñez, María Luisa (2014-07-21)One of the main objectives of a business expert is to model the business goals of an enterprise process. Several languages ...
-
Artículo
Combining Heuristics in Assembly Sequence Planning
Valle Sevillano, Carmelo del; Camacho, Eduardo F.; Toro Bonilla, Miguel; Martínez Gasca, Rafael (IOS Press, 2005)Assembly Sequence Planning is tackled by modelling and solving a planning problem that considers the execution of the ...
-
Ponencia
CombiS-BP Editor: Combining Declarative and Imperative Languages in BP Modelling, Demonstration paper
Parody Núñez, María Luisa; Gómez López, María Teresa; Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús (IEEE Computer Society, 2013)Business Process models allow business experts to describe the activities that must be performed to achieve a defined ...
-
Artículo
Comparación cualitativa de series temporales. Indice cualitativo de similitud - QSI
Ortega Ramírez, Juan Antonio; Cuberos, Francisco Javier; Martínez Gasca, Rafael; Toro Bonilla, Miguel (Centro de Investigación en Computación IPN, 2001) -
Ponencia
Competitive Intelligence based on Social Networks for Decision Making
Rosa Troyano, Francisco Fernando de la; Gómez López, María Teresa; Martínez Gasca, Rafael (SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2009)In previous works a framework has been presented to extract from internet the scientific community interested in a specific ...
-
Artículo
Compliance validation and diagnosis of business data constraints in business processes at runtime
Gómez López, María Teresa; Martínez Gasca, Rafael; Pérez Álvarez, José Miguel (Elsevier, 2015)Business processes involve data that can be modified and updated by various activities at any time. The data involved in ...
-
Ponencia
Computing alignments with constraint programming : the acyclic case
Gómez López, María Teresa; Borrego Núñez, Diana; Carmona, Josep; Martínez Gasca, Rafael (CEUR-WS.Org, 2016)Conformance checking confronts process models with real process executions to detect and measure deviations between ...