• Employing Classifying Terms for Testing Model Transformations 

      Gogolla, Martin; Vallecillo-Moreno, Antonio Jesus; Burgueño, Loli; Hilken, Frank (2015-07-29)
      This contribution proposes a new technique for developing test cases for UML and OCL models. The technique is based on an approach that automatically constructs object models for class models enriched by OCL constraints. ...
    • Enabling Low Cost Smart Road Traffic Sensing 

      Toutouh, Jamal; Arellano-Verdejo, Javier; Alba-Torres, Enrique (Universitat Pompeu Fabra, 2017)
      Accurate traffic monitoring is a key aspect to develop Smart Mobility services. A road traffic monitoring system based on a network of sensors capturing together information from wireless interfaces of the devices inside ...
    • Energy efficient assignment and deployment of tasks in structurally variable infrastructures 

      Cañete, Ángel (2019-10-04)
      The importance of cyber-physical systems is growing very fast, being part of the Internet of Things vision. These devices generate data that could collapse the network and can not be assumed by the cloud. New technologies ...
    • Enhancing Parallel Cooperative Trajectory Based Metaheuristics with Path Relinking 

      Gabriel, Luque; Enrique, Alba (2014-07-08)
      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 ...
    • Enhancing partition crossover with articulation points analysis 

      Chicano, Francisco; Ochoa, Gabriela; Whitley, Darrell; Tinós, Renato (2018-07-25)
      Partition Crossover is a recombination operator for pseudo-Boolean optimization with the ability to explore an exponential number of solutions in linear or square time. It decomposes the objective function as a sum of ...
    • Enhancing security and dependability of industrial networks with opinion dynamics 

      Rubio, Juan E.; López-Muñoz, Francisco Javier; Manulis, Mark; Alcaraz, Cristina (2019-10-04)
      Opinion Dynamics poses a novel technique to accurately locate the patterns of an advanced attack against an industrial infrastructure, compared to traditional intrusion detection systems. This distributed solution provides ...
    • Enhancing semantic consistency in anti-fraud rule-based expert systems 

      Roldán-García, María del Mar; García-Nieto, José; Aldana-Montes, José F. (2018-10-29)
      En este estudio, se propone un servicio guiado por ontología para la detección y clasificación de problemas de incoherencia semántica en sistemas expertos con bases de reglas de decisión. Se centra en el caso crítico de ...
    • Entorno extensible para la monitorización y detección de síntomas de depresión 

      Berrocal, Javier; Garcia-Alonso, Jose; Flores Martín, Daniel; Pérez Vereda, Alejandro; Canal, Carlos; [et al.] (2018-09-24)
      La depresión es una enfermedad silenciosa que está aumentando de forma alarmante debido al ritmo de vida de la sociedad. Los propios síntomas de la depresión hacen que los pacientes se enfrenten a barreras psicológicas que ...
    • 'Ephemerality’ in game development: opportunitiees and challenges 

      Fernández-Leiva, Antonio J.; Vázquez-Núñez, Ariel Eduardo (2016-09-26)
      Ephemeral Computation (Eph-C) is a newly created computation paradigm, the purpose of which is to take advantage of the ephemeral nature (limited lifetime) of computational resources. First we speak of this new paradigm ...
    • Eryna: una herramienta de apoyo a la revolución de los videojuegos 

      Nogueira-Collazo, Mariela; Cotta, Carlos; Fernández-Leiva, Antonio J. (2014-06-19)
      La industria del videojuego desde su inicio se ha caracterizado por un dinamismo constante, cada d a son más los desarrolladores que se suman a la competencia y por otro lado, los usuarios se vuelven más expertos y ...
    • Establecimiento de claves seguro mediante códigos sonoros en dispositivos móviles 

      Ruiz Tueros, Ricardo; Agudo-Ruiz, Isaac (UNIVERSITAT POLITÈCNICA DE VALÈNCIA, 2017)
      El objetivo de este trabajo ha sido investigar el uso de canales sonoros para el intercambio de claves en teléfonos inteligentes. Para ello, se ha realizado un diseño y un análisis del problema a resolver, teniendo en ...
    • Evolution Oriented Monitoring oriented to Security Properties for Cloud Applications 

      Muñoz, Antonio (2018-09-26)
      Internet is changing from an information space to a dynamic computing space. Data distribution and remotely accessible software services, dynamism, and autonomy are prime attributes. Cloud technology offers a powerful ...
    • Evolutionary algorithm for prioritized pairwise test data generation 

      Ferrer, Javier; Kruse, Peter M.; Chicano, Francisco; Alba-Torres, Enrique (2014-10-07)
      Combinatorial Interaction Testing (CIT) is a technique used to discover faults caused by parameter interactions in highly configurable systems. These systems tend to be large and exhaustive testing is generally impractical. ...
    • Evolutionary Interactive Bot for the FPS Unreal Tournament 2004 

      Jiménez, José L.; Mora, Antonio M.; Fernández-Leiva, Antonio J. (2015-06-18)
      This paper presents an interactive genetic algorithm for generating a human-like autonomous player (bot) for the game Unreal Tournament 2004. It is based on a bot modelled from the knowledge of an expert human player. ...
    • Evolving Aesthetic Maps for a Real Time Strategy Game 

      Lara-Cabrera, Raúl; Cotta, Carlos; Fernández-Leiva, Antonio José (2013-09-13)
      This paper presents a procedural content generator method that have been able to generate aesthetic maps for a real-time strategy game. The maps has been characterized based on several of their properties in order to ...
    • Evolving under small disruption 

      Dassow, Jürgen; Martín Reyes, Gema María; Vico-Vela, Francisco Jose (2013-12-02)
      We extend the edit operators of substitution, deletion, and insertion of a symbol over a word by introducing two new operators (partial copy and partial elimination) inspired by biological gene duplication. We de ne a ...
    • Exact computation of the expectation curves for uniform crossover 

      Chicano, Francisco; Whitley, L. Darrell; Alba-Torres, Enrique (2014-10-07)
      Uniform crossover is a popular operator used in genetic algorithms to combine two tentative solutions of a problem represented as binary strings. We use the Walsh decomposition of pseudo-Boolean functions and properties ...
    • Exact computation of the expectation curves of the bit-flip mutation using landscapes theory 

      Chicano, Francisco; Alba-Torres, Enrique (2015-09-07)
      Bit-flip mutation is a common operation when a genetic algorithm is applied to solve a problem with binary representation. We use in this paper some results of landscapes theory and Krawtchouk polynomials to exactly compute ...
    • Exact Computation of the Fitness-Distance Correlation for Pseudoboolean Functions with One Global Optimum 

      Chicano, Francisco; Alba-Torres, Enrique (2014-10-06)
      Landscape theory provides a formal framework in which combinatorial optimization problems can be theoretically characterized as a sum of a special kind of landscapes called elementary landscapes. The decomposition of the ...
    • Expressing Measurement Uncertainty in OCL/UML Datatypes 

      Fernández-Bertoa, Manuel; Moreno, Nathalie; Barquero, Gala; Burgueño, Loli; Troya, Javier; [et al.] (2018-05-31)
      Uncertainty is an inherent property of any measure or estimation performed in any physical setting, and therefore it needs to be considered when modeling systems that manage real data. Although several modeling languages ...