Listar Lenguajes y Ciencias de la Computación - (LCC) por título
Mostrando ítems 466-485 de 568
-
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 Carlos
(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 Roman; 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, Cristobal; Garcia-Nieto, Jose Manuel; Benítez-Hidalgo, Antonio; Aldana-Montes, José Francisco (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-Sánchez, Ernesto; 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 Javier; Kruse, Peter M.; Chicano, Francisco; Alba-Torres, Enrique (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
(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
(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
(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 Jesus; 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 Angel (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
(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, Inmaculada; Fuentes-Fernández, Lidia; Amor-Pinilla, Maria Mercedes; Caro-Romero, Juan; Ballesteros-Gomez, Joaquin (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 Miguel; Pinto-Alarcon, Monica; 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, Antonio (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 Jose (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 Manuel; Roldan-Garcia, Maria del Mar; Aldana-Montes, José Francisco (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-Porras, Carlos; 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, Isaac; Rios-del-Pozo, Ruben; 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
(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, Leonardo[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. ...