• Teaching Model Views with UML and OCL 

      Burgueño, Loli; Gogolla, Martin; Vallecillo, Antonio (2017-09-27)
      The specification of any non-trivial system is normally composed of a set of models. Each model describes a different view of the system, focuses on a particular set of concerns, and uses its own notation. For example, UML ...
    • Teoría de Landscapes en Optimización Combinatoria: Resultados Recientes y Herramienta Software 

      Chicano, Francisco; Alba-Torres, Enrique (2014-10-07)
      La teoría de landscapes es un marco que permite analizar funciones definidas sobre conjuntos de elementos conectados mediante un operador de vecindario. Esta teoría tiene aplicaciones en diversos dominios de conocimiento, ...
    • Testing M2T/T2M Transformations 

      Wimmer, Manuel; Burgueño, Loli (2013-10-09)
      Testing model-to-model (M2M) transformations is becoming a prominent topic in the current Model-driven Engineering landscape. Current approaches for transformation testing, however, assume having explicit model representations ...
    • The Evolution of Controller-Free Molecular Motors from Spatial Constraints 

      Fernández Rodríguez, Jose David; Doursat, René; Vico-Vela, Francisco Jose (2013-12-03)
      Locomotion of robotic and virtual agents is a challenging task requiring the control of several degrees of freedom as well as the coordination of multiple subsystems. Traditionally, it is engineered by top-down design ...
    • Towards a flexible deployment of multi-cloud applications based on TOSCA and CAMP 

      Carrasco, José; Cubo, Javier; Pimentel, Ernesto (2014-09-01)
      Cloud Computing platforms offer diverse services and capabilities with own features. Hence, the provider services could be used by end users to compose a heterogeneous context of multiple cloud platforms in order to deploy ...
    • Towards a robust robotic assistant for Comprehensive Geriatric Assessment procedures: the CLARC system 

      Romero Garcés, Adrián; Marfil, Rebeca; Martinez-Cruz, Jesus; Bandera-Rubio, Juan Pedro; Bandera-Rubio, Antonio Jesus; [et al.] (2018-09-26)
      Socially assistive robots appear as a powerful tool in the upcoming silver society. They are among the technologies for Assisted Living, offering a natural interface with smart environments, while helping people through ...
    • Towards a unified management of applications on heterogeneous clouds 

      Carrasco, José; Durán, Francisco; Pimentel, Ernesto (2016-10-05)
      The diversity in the way cloud providers o↵er their services, give their SLAs, present their QoS, or support di↵erent technologies, makes very difficult the portability and interoperability of cloud applications, and favours ...
    • Towards Approximate Model Transformations 

      Troya, Javier; Wimmer, Manuel; Vallecillo, Antonio; Burgueño, Loli (2014-10-06)
      As the size and complexity of models grow, there is a need to count on novel mechanisms and tools for transforming them. This is required, e.g., when model transformations need to provide target models without having access ...
    • Towards Distributed Model Transformations with LinTra 

      Burgueño, Loli; Wimmer, Manuel; Vallecillo, Antonio (2016-09-27)
      Performance and scalability of model transformations are becoming prominent topics in Model-Driven Engineering. In previous works we introduced LinTra, a platform for executing model transformations in parallel. LinTra ...
    • Towards dynamically programmable devices using beacons 

      Canal-Velasco, Jose Carlos; Pérez Vereda, Alejandro; Murillo, Juan Manuel; Flores Martín, Daniel (2018-06-26)
      With the grow of the Web of Things, lots of devices are being connected to the network. Many of these devices require human interaction when using them. In a desirable scenario, technology should allow to automatically ...
    • Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications 

      Moreno-Delgado, Antonio; Durán, Francisco; Meseguer, José (2016)
      Non-Functional Properties (NFPs) are crucial in the design of software. Specification of systems is used in the very first phases of the software development process for the stakeholders to make decisions on which architecture ...
    • Towards Run-Time Verification of Compositions in the Web of Things using Complex Event Processing 

      Cubo, Javier; González, Laura; Brogi, Antonio; Pimentel, Ernesto; Ruggia, Raúl (2013-07-30)
      Following the vision of the Internet of Things, physical world entities are integrated into virtual world things. Things are expected to become active participants in business and social processes. Then, the Internet of ...
    • Towards the model-based predictive performance analysis of Cloud adaptive systems with e-Motions (Trabajo en progreso) 

      De Oliveira, Patricia; Durán, Francisco; Pimentel, Ernesto (2017)
      We use graph transformation to define an adaptive component model, what allows us to carry on predictive analyses on dynamic architectures through simulations. Specifically, we build on the e-Motions definition of the ...
    • Towards the predictive analysis of cloud systems with e-Motions 

      de Oliveira, Patricia; Moreno-Delgado, Antonio; Durán, Francisco; Pimentel, Ernesto (2017-05-17)
      Current methods for the predictive analysis of software systems are not directly applicable on self-adaptive systems as cloud systems, mainly due to their complexity and dynamism. To tackle the difficulties to handle the ...
    • Trabajos 3D Realizados en la Puerta 1 del Complejo Arqueológico de Perdigoes (Portugal): estado de la cuestión 

      Caro, Jose L. (UNIVERSITAT POLITECNICA DE VALENCIA, 2016)
      La Universidad de Málaga lleva excavando en un proyecto internacional desde 2008 en el Complejo Arqueológico de Perdigões. La incorporación de las tecnologías 3D a la arqueología es hoy en día un hecho y en este proyecto ...
    • A transfer-learning approach to feature extraction from cancer transcriptomes with deep autoencoders 

      López-García, Guillermo; Jerez, José M; Franco, Leonardo; Veredas-Navarro, Francisco Javier (2019-06-18)
      The diagnosis and prognosis of cancer are among the more challenging tasks that oncology medicine deals with. With the main aim of fitting the more appropriate treatments, current personalized medicine focuses on using ...
    • Two Decades of Maude 

      Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; [et al.] (2015-09-30)
      This paper is a tribute to José Meseguer, from the rest of us in the Maude team, reviewing the past, the present, and the future of the language and system with which we have been working for around two decades under his ...
    • Un framework de programación dinámica para IoT 

      Pérez Vereda, Alejandro; Flores Martín, Daniel; Canal, Carlos; Murillo, Juan M. (2018-09-26)
      El crecimiento del Internet of Things está permitiendo la conexión a la red de muchos dispositivos. La tecnología debería permitir a estos dispositivos adaptarse automáticamente a las necesidades de sus usuarios. Con este ...
    • Un primer enfoque para medir la calidad de FIWARE 

      Villalobos, Ignacio; Ferrer, Javier; Alba, Enrique (2018-10-15)
      FIWARE es un ecosistema tecnológico abierto que pretendeconvertirse en la plataforma de referencia para los servicios y aplicaciones del Internet del Futuro. Para ello, primero se necesita solventar lasdudas existentes en ...
    • Uniform Random Sampling Product Configurations of Feature Models That Have Numerical Features 

      Munoz, Daniel-Jesus; Pinto, Mónica; Fuentes, Lidia; Oh, Jeho; Batory, Don (2019-10-09)
      Analyses of Software Product Lines (SPLs) rely on automated solvers to navigate complex dependencies among features and find legal configurations. Often these analyses do not support numerical features with constraints ...