Listar LCC - Conferencias Científicas por título
Mostrando ítems 15-34 de 60
-
The cartography of computational search spaces
(2018-05-04)This talk will present our recent findings and visual (static and animated) maps characterising combinatorial and computer program search spaces. We seek to lay the foundations for a new perspective to understand problem ... -
Checking Business Process Evolution
(2017-06-01)A business process is a collection of structured activities producing a particular product or software. BPMN is a workflow-based graphical notation for specifying business processes. Formally analyzing such processes is ... -
CMSA para el problema de la generación de casos de prueba priorizados en líneas de productos software
Ortega Toro, José Antonio; Ferrer-Urbano, Francisco Javier
; Chicano-García, José-Francisco (2018-09-24)
En las líneas de producto software puede ser difícil o incluso imposible probar todos los productos de la familia debido al gran número de combinaciones de características que puede existir. Esto conlleva la necesidad de ... -
Computación Cognitiva
(2016-05-18)La ciencia de la computación arrancó con la era de las máquinas tabulables para después pasar a las programables. Sin embargo el mundo actual vive una transformación radical de la información. Por un lado la avalancha ... -
¿Cuál Lenguaje de Programación escoger?
(2018-06-05)¿Cuál Lenguaje de Programación escoger? Dr. Miguel Katrib, Universidad de La Habana ¿Cuál Lenguaje de Programación es mejor? ¿Cuál debo escoger? Estas son preguntas frecuentes, pero desafortunadamente incompletas y mal ... -
Cyber-Human Partnerships – Towards a resilient ecosystem in Smart Cities
(2017-12-11)In this talk I will explore one of the most relevant challenges for a decade to come: How to integrate the Internet of Things with software, people, and processes, considering modern Cloud Computing and the Internet of ... -
Desarrollo de microservicios basado en la especificación OpenAPI
(2021)En los últimos años, a la hora de desarrollar infraestructuras de altas prestaciones las arquitecturas orientadas a microservicio se están posicionando como el paradigma predominante. En el corazón de estas arquitecturas, ... -
Despliegue de APIs en dispositivos móviles
(2019-11-28)Actualmente hay multitud de cursos y tutoriales que muestran cómo hacer el diseño, desarrollo y despliegue de APIs en entornos Cloud. Existen multitud de herramientas que dan soporte y facilitan este proceso. Durante los ... -
Detección de variedad y estado de maduración del ciruelo japonés utilizando imégenes hiperespectrales y aprendizaje profundo
Chávez de la O, Francisco; Rodríguez Puerta, Borja; Rodríguez Díaz, Francisco Javier; Luque-Baena, Rafael Marcos (2018-11-05)
En la actualidad, España ocupa el séptimo puesto como productor de ciruelas a nivel mundial y el tercero a nivel europeo según la Organización de las Naciones Unidas para la Alimentación y la Agricultura. La importancia ... -
Docking Inter/Intra-Molecular Mediante Metaheurísticas Multi-objetivo
López-Camacho, Esteban; García Godoy, María Jesús; García-Nieto, José Manuel; Nebro-Urbaneja, Antonio Jesús; Aldana-Montes, José Francisco (2015-02-11)
El Acoplamiento Molecular (Molecular Docking) es un problema de optimización de gran complejidad que consiste en predecir la orientación de dos moléculas: el ligando y el receptor, de manera que formen un complejo molecular ... -
Efficient Hill Climber for Multi-Objective Pseudo-Boolean Optimization
Chicano-García, José-Francisco; Whitley, L. Darrell; Tinós, Renato (2016-04-06)
Local search algorithms and iterated local search algorithms are a basic technique. Local search can be a stand-alone search method, but it can also be hybridized with evolutionary algorithms. Recently, it has been shown ... -
Elastic Computing - a novel paradigm for distributed systems
(2016-06-24)This talk, which is based on our newest findings and experiences from research and industrial projects, addresses one of the most relevant challenges for a decade to come: How to integrate the Internet of Things with ... -
Enriquecimiento automático de ontologías biomédicas mediante el uso de mappings
García Godoy, María Jesús; López-Camacho, Esteban; Roldán-García, María del Mar; Aldana-Montes, José Francisco (2018-11-15)
Dione es una representación en OWL del ICD-10-CM, consistente lógicamente, cuyos axiomas definen las inclusiones y exclusiones del ICD-10-CM mediante una metodología basada en los mappings ICD-10-CM/SNOMED-CT, proporcionados ... -
Experiencia con una herramienta de pruebas de caja negra para el aprendizaje de asignaturas de programación en evaluación continua
Arévalo Rosado, Luis; Rodríguez, Francisco J.; Luque-Baena, Rafael Marcos; Luna, Francisco (2017-07-12)
La programación es una de las materias requeridas en la gran mayoría de los grados actuales con perfil tecnológico, siendo un aspecto crítico en cualquiera de los Grados en Ingeniería Informática. Aprender a programar requiere ... -
Formal Model-Based Approaches for the Development of Composite
(2014-04-29)Software engineering (SE) is concerned about techniques and tools to develop software pieces. Structuring and composition techniques have always been a cornerstone in software engineering, from modules in the 70’s to the ... -
Un Framework para Big Data Optimization Basado en jMetal y Spark
Barba-González, Cristóbal; Nebro-Urbaneja, Antonio Jesús; García-Nieto, José Manuel; Cordero Benítez, José Andrés; Durillo, Juan J.; Navas-Delgado, Ismael; Aldana-Montes, José Francisco[et al.] (2016)
Las metaheurísticas multi-objetivo se han convertido en técnicas muy utilizadas para la resolución de problemas complejos de optimización compuestos de varias funciones objetivo en conflicto entre sí. Nos encontramos en ... -
Generic proof scores for the generate & check method in CafeOBJ
(2015-03-11)Generic proof scores for the generate & check method in CafeOBJ are presented. The generic proof scores codify the generate & check method as parameterized modules in the CafeOBJ language independently of specific systems ... -
Hacia la docencia “cloud-first” en la ingeniería de software
(2018-11-26)En 2007, no existían ni la computación en la nube como hoy la conocemos, ni los smartphones cuyo arquetipo es el iPhone de Apple. Apenas una década más adelante, Amazon Web Services controla la tercera parte de un mercado ... -
How to increase efficiency with the certification of process compliance
(2017-03-09)Certification as well as self-assessment of safety-critical systems is an expensive and time-consuming activity due to the necessity of providing numerous deliverables. These deliverables can be process-related or ... -
Injecting domain knowledge in multi-objective optimization problems: A semantic approach
Barba-González, Cristóbal; Nebro-Urbaneja, Antonio Jesús; García-Nieto, José Manuel; Roldán-García, María del Mar; Navas-Delgado, Ismael; Aldana-Montes, José Francisco[et al.] (Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos, 2022-09-05)
In the field of complex problem optimization with me-taheuristics, semantics has been used for modeling different aspects, such as: problem characterization, parameters, decision-maker's preferences, or algorithms. However, ...