• Mobile just-in-time training application for emergency healthcare 

      Vico-Vela, Francisco Jose; Sánchez Canteli, Vicente; Lobo Fernández, Daniel; Fernández Rodríguez, Jose David; Bandera, César; [et al.] (2013-12-04)
      While the applications of just-in-time training are more and more spread, the ubiquitous mobile technology has not found practical uses of this training strategy. As an original example of services for healthcare, we ...
    • Model Driven Evolution of an Agent-Based Home Energy Management System 

      Ayala, Inmaculada; Amor-Pinilla, Maria Mercedes; Horcas, José-Miguel; Fuentes-Fernández, Lidia (2018-10-17)
      Advanced smart home appliances and new models of energy tariffs imposed by energy providers pose new challenges in the automation of home energy management. Users need some assistant tool that helps them to make complex ...
    • Model-Based Adaptation of Software Communicating via FIFO Buffers 

      Canal-Velasco, Jose Carlos; Salaün, Gwen (2015-04-10)
      Software Adaptation is a non-intrusive solution for composing black-box components or services (peers) whose individual functionality is as required for the new system, but that present interface mismatch, which leads to ...
    • Modelando la Variabilidad de Características Complejas en Líneas de Productos Software 

      Horcas, José-Miguel; Pinto Alarcón, Mónica; Fuentes-Fernández, Lidia (2019-09-10)
      A pesar de la gran cantidad de trabajos y de herramientas existentes en el ámbito de las Líneas de Productos Software, muchos dominios de aplicación actuales como la ingeniería web no pueden verse beneficiados del uso ...
    • Models for the Optimization and Evaluation of Photovoltaic Self-Consumption Facilities 

      Mora-Lopez, Llanos; Sidrach-de-Cardona-Ortin, Mariano (2019-11-13)
      The results obtained for the modeling and optimization of photovoltaic self-consumption facilities are presented. The study has been carried out for three Spanish cities with different climatic conditions. The self-consumption ...
    • Modular DSLs for flexible analysis: An e-Motions reimplementation of Palladio 

      Moreno-Delgado, Antonio; Durán, Francisco; Zschaler, Steffen; Troya, Javier (2014-08-01)
      We address some of the limitations for extending and validating MDE-based implementations of NFP analysis tools by presenting a modular, model-based partial reimplementation of one well-known analysis framework, namely the ...
    • Monumental entrances at iberian Neolithic and Chalcolithic ditches enclosures. Entrance 1 at Perdigoes (Portugal) as case study 

      Caro, José L.; Márquez-Romero, José Enrique; Jiménez-Jaimez, Victor (2015-06-26)
      Ditched enclosures have been found in many European regions during the Neolithic and Copper Age. This widespread, almost pan-European monumental tradition has also been documented in the Iberian Peninsula in the last 25 ...
    • Multi-objective Optimal Test Suite Computation for Software Product Line Pairwise Testing 

      Lopez-Herrejon, Roberto E.; Chicano, Francisco; Ferrer, Javier; Egyed, Alexander; Alba-Torres, Enrique (2014-10-06)
      Software Product Lines (SPLs) are families of related software products, which usually provide a large number of feature combinations, a fact that poses a unique set of challenges for software testing. Recently, many SPL ...
    • Mutantes como apoyo para la valoración de pruebas 

      Chicano, Francisco; Durán, Francisco
      En este trabajo proponemos el uso de la técnica de mutation testing, o pruebas basadas en mutación, en asignaturas de pruebas de software para ayudar en la labor de evaluación de las mismas, a la vez que su propio uso ayuda ...
    • Neural Controller for PTZ cameras based on nonpanoramic foreground detection 

      Molina-Cabello, Miguel A.; López-Rubio, Ezequiel; Luque-Baena, Rafael Marcos; Domínguez, Enrique; Thurnhofer-Hemsi, Karl (2017-05-29)
      Abstract—In this paper a controller for PTZ cameras based on an unsupervised neural network model is presented. It takes advantage of the foreground mask generated by a nonparametric foreground detection subsystem. Thus, ...
    • New Security Definitions, Constructions and Applications of Proxy Re-Encryption 

      David, Nuñez (2017-09-25)
      This talk is devoted to proxy re-encryption (PRE), a cryptographic primitive that constitutes a practical solution to the problem of secure data sharing, from the perspective of both functionality and efficiency. Proxy ...
    • A new self-organizing neural gas model based on Bregman divergences 

      Palomo, Esteban J.; Molina-Cabello, Miguel A.; López-Rubio, Ezequiel; Luque-Baena, Rafael Marcos (2018-07-20)
      In this paper, a new self-organizing neural gas model that we call Growing Hierarchical Bregman Neural Gas (GHBNG) has been proposed. Our proposal is based on the Growing Hierarchical Neural Gas (GHNG) in which Bregman ...
    • New software tool to characterize photovoltaic modules from commercial equipment 

      Piliougine, Michel; Carretero-Rubio, Jesus Eduardo; Sidrach-de-Cardona-Ortin, Mariano; Mora-Lopez, Llanos (2018-09-27)
      A software platform has been developed in order to unify the different measurements obtained from different manufacturers in the photovoltaic system laboratory of the University of Malaga, Spain. These measurements include ...
    • On Meme Self-Adaptation in Spatially-Structured Multimemetic Algorithms 

      Nogueras, Rafael; Cotta, Carlos (2014-09-23)
      Multimemetic algorithms (MMAs) are memetic algorithms that explicitly exploit the evolution of memes, i.e., non-genetic expressions of problem-solving strategies. We consider a class of MMAs in which these memes are rewriting ...
    • On Softening OCL Invariants 

      Gogolla, Martin; Vallecillo-Moreno, Antonio Jesus (Association Internationale pour les Technologies Objets (AITO), 2019-09-23)
      Invariants play a crucial role in system development. This contribution focuses on invariants in systems with so-called occurrence uncertainty, where we are interested in deciding whether a certain population (a set of ...
    • On the Application of SAT Solvers to the Test Suite Minimization Problem 

      Arito, Franco; Chicano, Francisco; Alba-Torres, Enrique (2014-10-06)
      The Test Suite Minimization problem in regression testing is a software engineering problem which consists in selecting a set of test cases from a large test suite that satisfies a given condition, like maximizing the ...
    • On the atomic decomposition length of graphs and tensegrities 

      Fernández Rodríguez, Jose David; Orden Martín, David (2013-12-03)
      In this study, a complexity measure for graphs and tensegrities is proposed, based on the concept of atomic decomposition.We state several results on the relationship between atomic decompositions and spaces of self-stresses ...
    • On the Modular Specification of NFPs: A Case Study 

      Moreno-Delgado, Antonio; Troya, Javier; Durán, Francisco; Vallecillo, Antonio (Jornadas de Ingeniería del Software y Bases de Datos, 2013-09)
      The modular specification of non-functional properties of systems is a current challenge of Software Engineering, for which no clear solution exists. However, in the case of Domain-Specific Languages some successful proposals ...
    • On the performance of some bioinspired genetic operators in complex structures evolution 

      Casas Serrano, María José; Vico-Vela, Francisco Jose (ACM, 2009)
      Indirect encoding methods demand operators that minimize the disruption of conventional operators, widely studied in direct encoding approaches. While some efforts have already been done in this direction, the growing field ...
    • On the performance of some bioinspired genetic operators in complex structures evolution (long version) 

      Casas, M.; Vico-Vela, Francisco Jose (2017-01-10)
      Indirect encoding methods demand operators that minimize the disruption of conventional operators, widely studied in direct encoding approaches. While some efforts have already been done in this direction, the growing field ...