Listar LCC - Conferencias Científicas por título
Mostrando ítems 38-57 de 60
-
Lenguajes de dominio específico
(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-Moreno, 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 ... -
Multi-Objective Big Data Optimization with jMetal and Spark
Barba-González, Cristóbal; García-Nieto, José Manuel; Aldana-Montes, José Francisco; Nebro-Urbaneja, Antonio Jesús (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.
(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
(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
(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, ... -
Parallel Hybrid Trajectory Based Metaheuristics for Real-World Problems
Luque-Polo, Gabriel Jesús; Alba-Torres, Enrique (2015-09-10)
This paper proposes a novel algorithm combining path relinking with a set of cooperating trajectory based parallel algorithms to yield a new metaheuristic of enhanced search features. Algorithms based on the exploration ... -
Pixel Features for Self-organizing Map Based Detection of Foreground Objects in Dynamic Environments
Molina-Cabello, Miguel Ángel; López-Rubio, Ezequiel; Luque-Baena, Rafael Marcos; Domínguez, Enrique; Palomo-Ferrer, Esteban José
Among current foreground detection algorithms for video sequences, methods based on self-organizing maps are obtaining a greater relevance. In this work we propose a probabilistic self-organising map based model, which ... -
Problemas matemáticos sin resolver que cualquier niño puede entender
(2016-07-20)Un lastre que incide en el rechazo a las matemáticas es su imagen de ser una ciencia inerte, sin nada por descubrir y limitada a unos pocos expertos. Esta charla pretende mostrar que la investigación en matemáticas está ... -
Procesamiento de eventos complejos aplicado al ámbito de las smart cities
(2017-02-22)El procesamiento de eventos complejos (CEP) es una tecnología emergente que permite procesar, analizar y correlacionar ingentes volúmenes de datos con el fin de detectar en tiempo real situaciones críticas o relevantes ... -
Redesigning the jMetal Multi-Objective Optimization Framework
Nebro-Urbaneja, Antonio Jesús; Durillo, Juan J.; Vergne, Matthieu (2015-07-23)
jMetal, an open source, Java-based framework for multi-objective optimization with metaheuristics, has become a valuable tool for many researches in the area as well as for some industrial partners in the last ten years. ... -
Reliable deployment, reconfiguration, and control of cloud applications
(2015-02-18)Cloud applications consist of a set of interconnected software components distributed over several virtual machines. Setting up, (re)configuring, and monitoring these applications are difficult tasks, and involve complex ... -
Rewriting Modulo SMT and Open System Analysis
(2018-11-26)Rewriting modulo SMT is a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze reachability properties of ... -
SafeWalks: aplicación móvil de supervisión de pacientes de Alzheimer
Pérez Lozano, Pablo; Pérez Vereda, Alejandro; Murillo, Juan Manuel; Canal-Velasco, José Carlos (2015-09-23)
El principal objetivo de Internet of Things (IoT) es integrar las tecnologías informáticas en el quehacer cotidiano de las personas, facilitando su interacción con un entorno de dispositivos interconectados, pero el estado ... -
Scalable Inference of Gene Regulatory Networks with the Spark Distributed Computing Platform Cristo
Barba-González, Cristóbal; García-Nieto, José Manuel; Benítez-Hidalgo, Antonio; Aldana-Montes, José Francisco (2018-11-05)
Inference of Gene Regulatory Networks (GRNs) remains an important open challenge in computational biology. The goal of bio-model inference is to, based on time-series of gene expression data, obtain the sparse topological ... -
Search-Based Model Transformations
(2016-04-18)Huge efforts have been invested in the last decade concerning the establishment of dedicated analysis methods and techniques for model transformations. The analysis of general properties such as termination and confluence ... -
Security Analysis of Separation Kernels Specifications and a Framework for the Verification of Concurrent Implementations
(2017-05-11)Due to the new trend of integrating safe and secure functionalities into one separation kernel, security analysis of ARINC 653 as well as a formal specification with security proofs are thus significant for the ... -
Selected Recent Work in Self-awareness and Self-expression in Computing
(2014-04-29)This talk presents some of our recent work in the EU-funded EPiCS project. The first part of the talk will review very briefly what self-awareness means in some psychology and cognitive science literature. Then working ... -
Sostenibilidiad empresarial a través de los intangibles: Una visión de las empresas energéticas y sector público
(2016-06-10)Los intengibles son un factor de valor de las empresas, para su sostenibilidad y permanencia en el tiempo. El sector energético es uno de los sectores más sensibles a este tipo de ítems, estando las empresas de dicho sector ... -
Standardized connectivity and communication for constrained devices
(2018-04-30)By 2020, an estimated 50 billion devices will be connected to the Internet. This revolution will transform the traditional human-centric internet to an “Internet of Things” (IoT), thereby enabling a whole new range of ...