JavaScript is disabled for your browser. Some features of this site may not work without it.

    Listar

    Todo RIUMAComunidades & ColeccionesPor fecha de publicaciónAutoresTítulosMateriasTipo de publicaciónCentrosEsta comunidadPor fecha de publicaciónAutoresTítulosMateriasTipo de publicaciónCentros

    Mi cuenta

    AccederRegistro

    Estadísticas

    Ver Estadísticas de uso

    DE INTERÉS

    Datos de investigaciónReglamento de ciencia abierta de la UMAPolítica de RIUMAPolitica de datos de investigación en RIUMASHERPA/RoMEODulcinea
    Preguntas frecuentesManual de usoDerechos de autorContacto/Sugerencias
    Listar Lenguajes y Ciencias de la Computación - (LCC) por título 
    •   RIUMA Principal
    • Investigación
    • Lenguajes y Ciencias de la Computación - (LCC)
    • Listar Lenguajes y Ciencias de la Computación - (LCC) por título
    •   RIUMA Principal
    • Investigación
    • Lenguajes y Ciencias de la Computación - (LCC)
    • Listar Lenguajes y Ciencias de la Computación - (LCC) por título

    Listar Lenguajes y Ciencias de la Computación - (LCC) por título

    • 0-9
    • A
    • B
    • C
    • D
    • E
    • F
    • G
    • H
    • I
    • J
    • K
    • L
    • M
    • N
    • O
    • P
    • Q
    • R
    • S
    • T
    • U
    • V
    • W
    • X
    • Y
    • Z

    Ordenar por:

    Orden:

    Resultados:

    Mostrando ítems 441-460 de 540

    • título
    • fecha de publicación
    • fecha de envío
    • ascendente
    • descendente
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
      • SafeWalks: aplicación móvil de supervisión de pacientes de Alzheimer 

        Pérez Lozano, Pablo; Pérez Vereda, Alejandro; Murillo, Juan Manuel; Canal-Velasco, Jose CarlosAutoridad Universidad de Málaga (2015-09-23)
        El principal objetivo de Internet of Things (IoT) es integrar las tecnologías informáticas en el quehacer cotidiano de las personas, facilitando su interacción con un entorno de dispositivos interconectados, pero el estado ...
      • SAMGRID: Security Authorization and Monitoring Module Based on SealedGRID Platform 

        Suciu, George; Farao, Aristeidis; Bernardinetti, Giorgio; Palamà, Ivan; Sachian, Mari-Anais; Vochin, Marius-Constantin; Muresan, Pavel; Bampatsikos, Michail; Muñoz-Gallego, Antonio RomanAutoridad Universidad de Málaga; Xenakis, Christos[et al.] (IOAP-MPDI, 2022-08-30)
        IoT devices present an ever-growing domain with multiple applicability. This technology has favored and still favors many areas by creating critical infrastructures that are as profitable as possible. This paper presents ...
      • Scalable Inference of Gene Regulatory Networks with the Spark Distributed Computing Platform Cristo 

        Barba-Gonzalez, CristobalAutoridad Universidad de Málaga; Garcia-Nieto, Jose ManuelAutoridad Universidad de Málaga; Benítez-Hidalgo, Antonio; Aldana-Montes, Jose FranciscoAutoridad Universidad de Málaga (2018-11-05)
        Inference of Gene Regulatory Networks (GRNs) remains an important open challenge in computational biology. The goal of bio-model inference is to, based on time-series of gene expression data, obtain the sparse topological ...
      • SeaClouds: An Open Reference Architecture for Multi-Cloud Governance 

        Brogi, Antonio; Carrasco, José; Cubo, Javier; D'Andria, Francesco; Di Nitto, Elisabetta; Guerriero, Michele; Pérez, Diego; Pimentel, ErnestoAutoridad Universidad de Málaga; Soldani, Jacopo[et al.] (2016-12-12)
        We present the open reference architecture of the SeaClouds solution. It aims at enabling a seamless adaptive multi-cloud management of complex applications by supporting the distribution, monitoring and reconfiguration ...
      • Search based algorithms for test sequence generation in functional testing 

        Ferrer-Urbano, Francisco JavierAutoridad Universidad de Málaga; Kruse, Peter M.; Chicano, FranciscoAutoridad Universidad de Málaga; Alba-Torres, EnriqueAutoridad Universidad de Málaga (2014-10-03)
        The generation of dynamic test sequences from a formal specification, complementing traditional testing methods in order to find errors in the source code. Objective In this paper we extend one specific combinatorial ...
      • Search-Based Model Transformations 

        Wimmer, Manuel (2016-04-18)
        Huge efforts have been invested in the last decade concerning the establishment of dedicated analysis methods and techniques for model transformations. The analysis of general properties such as termination and confluence ...
      • Secure Mobile Agents on Embedded Boards: a TPM based solution 

        Muñoz, Antonio; García, Iván (ACM - ARES '22: Proceedings of the 17th International Conference on Availability, Reliability and Security August 2022 Article No.: 104 Pages 1–7 https://doi.org/10.1145/3538969.3544419ARES 2022, 2022-08-26)
        La seguridad puede considerarse uno de los aspectos esenciales de cualquier sistema informático actual. El panorama actual evoluciona constantemente y aparecen nuevos modelos informáticos al mismo tiempo que surgen diferentes ...
      • Security Analysis of Separation Kernels Specifications and a Framework for the Verification of Concurrent Implementations 

        Sanán Baena, David Miguel (2017-05-11)
        Due to the new trend of integrating safe and secure functionalities into one separation kernel, security analysis of ARINC 653 as well as a formal specification with security proofs are thus significant for the ...
      • A Security Pattern for Cloud service certification 

        Muñoz-Gallego, Antonio JesusAutoridad Universidad de Málaga; Lopez, Javier (2019-02-22)
        Cloud computing is interesting from the economic, operational and even energy consumption perspectives but it still raises concerns regarding the security, privacy, governance and compliance of the data and software ...
      • Segmentación y detección de objetos en imágenes y vídeo mediante inteligencia computacional 

        Molina-Cabello, Miguel AngelAutoridad Universidad de Málaga (UMA Editorial, 2018-11-09)
        La presente tesis trata sobre el procesamiento y análisis de imágenes y video mediante sistemas informáticos. Primeramente se hace una introducción, especificando contexto, objetivos y metodología. Luego se muestran los ...
      • Selected Recent Work in Self-awareness and Self-expression in Computing 

        Yao, Xin (2014-04-29)
        This talk presents some of our recent work in the EU-funded EPiCS project. The first part of the talk will review very briefly what self-awareness means in some psychology and cognitive science literature. Then working ...
      • Self-Adaptation of mHealth Devices: The Case of the Smart Cane Platform 

        Ayala-Viñas, InmaculadaAutoridad Universidad de Málaga; Fuentes-Fernández, LidiaAutoridad Universidad de Málaga; Amor-Pinilla, Maria MercedesAutoridad Universidad de Málaga; Caro-Romero, Juan; Ballesteros-Gomez, JoaquinAutoridad Universidad de Málaga (2019-12-11)
        Nowadays, more than one billion people are in need of one or more assistive technologies, and this number is expected to increase beyond two billion by 2050. The majority of assistive technologies are supported by ...
      • Self-Adaptive Energy-Efficent Applications: The HADAS Developing Approach 

        Horcas-Aguilera, Jose MiguelAutoridad Universidad de Málaga; Pinto-Alarcon, MonicaAutoridad Universidad de Málaga; Fuentes, Lidia; Gámez, Nadia (IEEE, 2017)
        Software systems have a strong impact on the energy consumption of the hardware they use. For this reason, software developers should be more aware of the energy consumed by their systems. Moreover, software systems should ...
      • Self-Organized Maps 

        Díaz-Ramos, AntonioAutoridad Universidad de Málaga (UMA Editorial, 2021-05-26)
        Los mapas auto-organizados o redes de Kohonen (SOM por sus siglas en inglés, self-organizing map) fueron introducidos por el profesor finlandés Teuvo Kalevi Kohonen en los años 80. Un mapa auto-organizado es una herramienta ...
      • Selfo: A class of self-organizing connection games 

        Vico-Vela, Francisco JoseAutoridad Universidad de Málaga (2007)
        Selfo is defined as a class of abstract strategy board games subscribed to the category of connection games. Its name derives from the phenomenon of self-organization (i.e. the increase in a system’s organization without ...
      • Semantic modelling of Earth Observation remote sensing 

        Aldana Martín, José Francisco; Garcia-Nieto, Jose ManuelAutoridad Universidad de Málaga; Roldan-Garcia, Maria del MarAutoridad Universidad de Málaga; Aldana-Montes, Jose FranciscoAutoridad Universidad de Málaga (ELSEVIER, 2022-01)
        Earth Observation (EO) based on Remote Sensing (RS) is gaining importance nowadays, since it offers a well-grounded technological framework for the development of advanced applications in multiple domains, such as climate ...
      • Sensitivity Analysis of Checkpointing Strategies for Multimemetic Algorithms on Unstable Complex Networks 

        Cotta, CarlosAutoridad Universidad de Málaga; Nogueras, Rafael (2015-06-17)
        The use of volatile decentralized computational platforms such as, e.g., peer-to-peer networks, is becoming an increasingly popular option to gain access to vast computing resources. Making an effective use of these resources ...
      • SERA: Sistema para la Evaluación y Retroalimentación Automática de Prácticas 

        Agudo-Ruiz, IsaacAutoridad Universidad de Málaga; Rios-del-Pozo, RubenAutoridad Universidad de Málaga; Nieto, Ana (2020-06-10)
        En este artículo presentamos una sistema modular y altamente configurable que permite no sólo la generación y evaluación automática de prácticas de laboratorio sino también proporcionar una retroalimentación instantánea ...
      • Silent speech: restoring the power of speech to people whose larynx has been removed 

        Green, Phil D.; Murphy, Damian; Gully, Amelia; Gilbert, James M.; González López, José Andrés (2018-10-29)
        Every year, some 17,500 people in Europe and North America lose the power of speech after undergoing a laryngectomy, normally as a treatment for throat cancer. Several research groups have recently demonstrated that it is ...
      • SIMNET: simulation-based exercises for computer net-work curriculum through gamification and augmented reality 

        Fraga, Álvaro Luis; Gramajo, María Guadalupe; Trejo, Federico; García, Selena; Juárez, Gustavo; Franco, LeonardoAutoridad Universidad de Málaga[et al.] (University of Applied Sciences, Dusseldorf, Alemania., 2018)
        Gamification and Augmented Reality techniques, in recent years, have tackled many subjects and environments. Its implementation can, in particular, strengthen teaching and learning processes in schools and universities. ...
        REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
        REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
         

         

        REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
        REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA