Listar LCC - Contribuciones a congresos científicos por título
Mostrando ítems 305-324 de 338
-
Teaching Model Views with UML and OCL
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
(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
(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
(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
(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
(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
(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
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
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
(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
(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
(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 Self-Adaptive Software for Wildfire Monitoring with Unmanned Air Vehicles.
(2023)Wildfires have evolved significantly over the last decades, burning increasingly large forest areas every year. Smart cyber-physical systems like small Unmanned Air Vehicles (UAVs) can help to monitor, predict, and mitigate ... -
Towards the model-based predictive performance analysis of Cloud adaptive systems with e-Motions (Trabajo en progreso)
(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
(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
(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
(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
(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
(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
(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 ...