• Efficient Hill Climber for Multi-Objective Pseudo-Boolean Optimization 

      Chicano, Francisco; Whitley, 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 

      Dustdar, Schahram (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; Roldan-Garcia, Maria del Mar; Aldana-Montes, Jose 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 ...
    • Estudio de Estrategias de Archivo en PSO Multi-Objetivo para el Docking Molecular 

      López-Camacho, Esteban; García-Godoy, María Jesús; García-Nieto, José; Nebro-Urbaneja, Antonio Jesus; Aldana-Montes, Jose Francisco (2016)
      El acoplamiento molecular es un problema de optimización complejo cuyo objetivo es la predicción de la posición de un ligando en el sitio activo de un receptor con la mínima energía de unión. Este problema puede ser formulado ...
    • Evolución arquitectónica de servicios basada en modelos CVL con cardinalidad 

      Horcas, José Miguel; Pinto-Alarcon, Monica; Fuentes, Lidia (Ediciones Universidad Salamanca, 2016)
      La computación en la nube se está convirtiendo en un mecanismo predominante para desplegar fácilmente aplicaciones con requisitos especiales, tales como el almacenamiento masivo compartido, o el equilibrado de carga. ...
    • 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 

      Poizat, Pascal (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 Jesus; García-Nieto, José; Cordero, José A.; Durillo, Juan J.; [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 

      Futatsugi, Kokichi (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 

      Fox, Armando (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 ...
    • Los Intangibles en el Diseño de Sistemas de Ayuda a la Decisión. 

      Alloza, Ángel (2016-06-03)
      El interés por los intangibles empezó a partir de la crisis reputacional de finales de siglo XX, que tuvo un impacto tremendo en Estados Unidos. Los casos de Enron, Tyco, Ahold, y Arthur Andersen pusieron de manifiesto la ...
    • Introducción a la doble narrativa videolúdica 

      Martínez Rodríguez, Josué (2015-10-20)
      Los medios narrativos interactivos, entre ellos los jugables, se distinguen de los tradicionales por las relaciones que se dan entre las dos narrativas que los conforman. Para establecer y tutorar dichas relaciones nace ...
    • Juégame un cuento 

      Martínez Rodríguez, Josué (2014-10-24)
      Como diseñadores, programadores, artistas o (incluso) guionistas, ¿qué debemos hacer para evitar que el guion de un videojuego se convierta en una pesadilla? ¿El mejor guionista es el que mejor escribe? ¿Cuánto cuesta ...
    • Lenguajes de dominio específico 

      Sánchez Cuadrado, Jesús (2019-11-21)
      En esta charla introduce el concepto de Lenguaje Específico de Dominio (Domain-Specific Language; DSL). El objetivo es motivar la utilidad de los DSLs como mecanismo para poder elevar el nivel de abstracción en el desarrollo ...
    • Model integration and decision-making for self-adaptation in mobile robotics 

      Cámara, Javier (2019-11-22)
      Software Engineering today is increasingly faced with the challenge of creating systems that involve both software and physical systems -- or CPS -- from robotic systems, to autonomous vehicles, to increasingly sophisticated ...
    • Motion Detection by Microcontroller for Panning Cameras 

      Benito-Picazo, Jesús; López-Rubio, Ezequiel; Ortiz-de-lazcano-Lobato, Juan Miguel; Domínguez, Enrique; Palomo, Esteban J. (2017-07-24)
      Motion detection is the first essential process in the extraction of information regarding moving objects. The approaches based on background difference are the most used with fixed cameras to perform motion detection, ...
    • Multi-Objective Big Data Optimization with jMetal and Spark 

      Barba-González, Cristóbal; García-Nieto, José; Aldana-Montes, Jose Francisco; Nebro-Urbaneja, Antonio Jesus (2017-04-20)
      Big Data Optimization is the term used to refer to optimization problems which have to manage very large amounts of data. In this paper, we focus on the parallelization of metaheuristics with the Apache Spark cluster ...
    • La música en los videojuegos. 

      Serrano Jaime, David (2014-11-17)
      Desde la experiencia del ponente, se expondrá contenido teórico acompañado de ejemplos prácticos con el fin de valorar e introducir al asistente/alumnado en el apartado sonoro aplicado al videojuego.
    • Non-Functional Properties in Service Selection 

      El Haddad, Joyce (2014-04-29)
      Service selection is an important step of the service composition process. Multiple services functionally equivalent might be offered by different providers but characterized by different non functional properties such as ...
    • On the Verification of Asynchronously Communicating Systems 

      Salaün, Gwen (2014-04-29)
      Recent software is mostly constructed by reusing and composing existing components abstracted as finite state machines. Asynchronous communication is a classic interaction mechanism used for such software systems. However, ...