Listar LCC - Contribuciones a congresos científicos por título
Mostrando ítems 69-88 de 340
-
Comparing metaheuristic algorithms for error detection in Java programs
(2015-09-07)Model checking is a fully automatic technique for checking concurrent software properties in which the states of a concurrent system are explored in an explicit or implicit way. The main drawback of this technique is the ... -
Competición CAEPIA-App: senseUMA
(2018-12-10)El Campus de Teatinos de la Universidad de Málaga cubre un área considerable dentro de la cuidad de Málaga (aproximadamente 2 kilómetros 2 ). Por dicho campus cada dı́a transitan miles de personas pertenecientes a la ... -
Complex and Diverse Morphologies Can Develop from a Minimal Genomic Model
(2013-12-02)While development plays a critical role in the emergence of diversity, its mechanical and chemical actions are considered to be inextricably correlated with genetic control. Since in most extant species the complex ... -
Complex event processing for health monitoring
(2018-11-26)The increase of the life expectancy has become a problem in regions with a low population density. This fact is caused by the existence of small towns all far from one another and with the peculiarity of many elders with ... -
Component-wise application migration in bidimensional cross-cloud environments
(ScitePress, 2017-04)We propose an algorithm for the migration of cloud applications' components between different providers, possibly changing their service level between IaaS and PaaS. Our solution relies on three of the key ingredients of ... -
Composition and Self-Adaptation of Service-Based Systems with Feature Models
(Springer, 2013)The adoption of mechanisms for reusing software in pervasive systems has not yet become standard practice. This is because the use of pre-existing software requires the selection, composition and adaptation of prefabricated ... -
Computación Efímera: identificando retos para la investigación en videojuegos
(2016-07)La Computación Efímera (Eph-C , por sus siglas en inglés, Ephemerical Computing) es un nuevo paradigma de computación de reciente creación que pretende sacar provecho de la naturaleza pasajera (o sea, asociada a un ... -
Computación Natural en Redes Vehiculares
(AEPIA, 2013-09-17) -
Computing New Optimized Routes for GPS Navigators Using Evolutionary Algorithms
(ACM, 2017-07)GPS navigators are now present in most vehicles and smartphones. The usual goal of these navigators is to take the user in less time or distance to a destination. However, the global use of navigators in a given city could ... -
Comunicación eficiente entre vehículos aplicando un algoritmo multi-objetivo paralelo
(2015-02-17)El encaminamiento de datos en redes vehiculares presenta un desafío debido a los frecuentes e inesperados cambios de topología. En este estudio presentamos un algoritmo de optimización multiobjetivo paralelo para tratar ... -
Concurrent Model Transformations with Linda
Nowadays, model transformations languages and engines use a sequential execution model. This is, only one execution thread deals with the whole transformation. However, model transformations dealing with very large models, ... -
Configuración Eco-Eficiente de Atributos de Calidad Funcionales
(2017)Los atributos de calidad funcionales (FQAs) son aquellos que para satisfacerlos se necesita incorporar funcionalidad adicional a la arquitectura de las aplicación (e.g., seguridad). La nueva funcionalidad incorporada ... -
Construct, Merge, Solve and Adapt for Taxi Sharing
(2019-07-22)Taxis are a quick and reliable mean of transportation, especially in those cities where the public transportation system is very inefficient. However, taxis rarely travel with full capacity, and its impact on traffic ... -
Construyendo Perfiles Virtuales Mediante el Procesamiento de Eventos Complejos
(2016-07-01)A medida que se incrementa el nímero de dispositivos inteligentes, el esfuerzo requerido para adaptarlos a las necesidades de cada usuario también crece. Asimismo, el proceso de adaptación de un dispositivo al contexto de ... -
Content Based Image Retrieval by Convolutional Neural Networks
(2019-06-07)In this paper, we present a Convolutional Neural Network (CNN) for feature extraction in Content based Image Retrieval (CBIR). The proposed CNN aims at reducing the semantic gap between low level and high-level features. ... -
Context-aware Assessment Using QR-codes
(SAGE, 2013)In this paper we present the implementation of a general mechanism to deliver tests based on mobile devices and matrix codes. The system is an extension of Siette, and has not been specifically developed for any subject ... -
Coordinación de casos prácticos en asignaturas del área de conocimiento “Gestión de la Información” según modelo curricular de informática de la ACM/IEEE 2013
(2017-07-04)Este artículo presenta el estado de desarrollo y resultados preliminares del proyecto de innovación docente de la Universidad de Málaga (PIE15-183): Coor-dinación de casos prácticos en asignaturas del área de conocimiento ... -
Coordinación de Dispositivos IoT mediante Web Semántica y Ontologías en Situational-Context
(2019-06-19)El ritmo al que crece Internet de las Cosas (IoT) es imparable. Existen multitud de fabricantes que desarrollan dispositivos IoT, siguiendo sus propias especificaciones y sin atender a un estándar que todavía no existe ... -
Coordinating heterogeneous IoT devices by means of the centralized vision of the SDN controller
(2017-07-13)The IoT (Internet of Things) has become a reality during recent years. The desire of having everything connected to the Internet results in clearly identified benefits that will impact on socio economic development. However, ... -
Cryptographic approaches for confidential computations in blockchain.
(2023)Blockchain technologies have been widely re- searched in the last decade, mainly because of the revolution they propose for different use cases. Moving away from centralized solutions that abuse their capabilities, blockchain ...