Listar Instituto de Tecnología e Ingeniería del Software de la Universidad de Málaga - (ITIS) por título
Mostrando ítems 83-102 de 111
-
SALON ontology for the formal description of sequence alignments.
(BMC, 2023-02-27)Background Information provided by high-throughput sequencing platforms allows the collection of content-rich data about biological sequences and their context. Sequence alignment is a bioinformatics approach to identifying ... -
SALON ontology for the formal description of Sequence Alignments.
(2023)Background. Information provided by high-throughput sequencing platforms allows the collection of content-rich data about bio- logical sequences and their context. Sequence alignment is a bioinformatics approach to identifying ... -
Scalable approach for high-resolution land cover: a case study in the Mediterranean Basin.
(Springer Nature, 2023-06-02)The production of land cover maps is an everyday use of image classification applications on remote sensing. However, managing Earth observation satellite data for a large region of interest is challenging in the task of ... -
Security-enhanced ambient assisted living supporting school activities during hospitalisation
(Springer-Verlag, 2010)El artículo aborda los efectos negativos que las hospitalizaciones prolongadas tienen en los niños, como el estrés, los trastornos del sueño y la disminución del rendimiento escolar. El aislamiento de los niños de sus ... -
Self-healing trans-cloud applications.
(Springer Nature, 2022-07-04)Trans-cloud applications consist of multiple interacting components deployed across different cloud providers and at different service layers (IaaS and PaaS). In such complex deployment scenarios, fault handling and recovery ... -
Semi-Supervised Semantic Image Segmentation by Deep Diffusion Models and Generative Adversarial Networks
(World Scientific, 2024)Typically, deep learning models for image segmentation tasks are trained using large datasets of images annotated at the pixel level, which can be expensive and highly time-consuming. A way to reduce the amount of annotated ... -
Service-based Analytics for 5G Open Experimentation Platforms.
(Elsevier, 2022-01-07)A scalable, flexible and reliable Analytics service has become a requirement toward building efficient Fifth Generation (5G) experimental platforms that can support a suite of end-user experiments and verticals. Our paper ... -
Smart Rollators Aid Devices: Current Trends and Challenges.
(IEEE, 2022-08-26)Mobility loss has a major impact on autonomy. Smart rollators have been proposed to enhance human abilities when conventional devices are not enough. Many human-robot interaction systems have been proposed in the last ... -
Software Systems from Smart City Vendors
(Elsevier, 2020)The concept of a smart city has recently gained attention in academic, industry, and governments. Smart cities could be considered as urban areas that use data collection sensors and digital technologies which cooperate ... -
SOWCompact: A federated process mining method for social workflows
(SISTEDES, 2022-09)The growing informatization of the environment allows modeling people’s behavior as a social workflow, where both individual actions and interactions with other people are captured. This modelling includes actions that are ... -
Spatial evolutionary generative adversarial networks.
(ACM, 2019-07-13)Generative adversary networks (GANs) suffer from training pathologies such as instability and mode collapse. These pathologies mainly arise from a lack of diversity in their adversarial interactions. Evolutionary generative ... -
Specifying Quantities in Software Models
(2020-06-08)Context: An essential requirement for the design and development of any engineering application that deals with real-world physical systems is the formal representation and processing of physical quantities, comprising ... -
STAN: analysis of data traces using an event-driven interval temporal logic
(Springer Nature, 2022-11-30)The increasing integration of systems into people’s daily routines, especially smartphones, requires ensuring correctness of their functionality and even some performance requirements. Sometimes, we can only observe the ... -
Supporting IoT applications deployment on edge-based infrastructures using multi-layer feature models
(Elsevier, 2022-01)Edge Computing proposes to use the nearby devices in the frontier/Edge of the access network for deploying application tasks of IoT-based systems. However, the functionality of such cyber–physical systems, which is usually ... -
Testing models and model transformations using classifying terms.
(2016-11-09)This paper proposes the use of equivalence partitioning techniques for testing models and model transformations. In particular, we introduce the concept of classifying terms, which are general OCL terms on a class model ... -
The Uncertainty Interaction Problem in Self-Adaptive Systems
(Springer, 2022-08-17)The problem of mitigating uncertainty in self-adaptation has driven much of the research proposed in the area of software engineering for self-adaptive systems in the last decade. Although many solutions have already been ... -
Tile map size optimization for real world routing by using differential evolution
(IEEE, 2017-06)Finding the shortest path between two places is a well known problem in road traveling. While most of the work done up to this moment is focused on algorithmics, efficiently managing the information has received significantly ... -
TITAN: A knowledge-based platform for Big Data workflow management
(2022)Modern applications of Big Data are transcending from being scalable solutions of data processing and analysis, to now provide advanced functionalities with the ability to exploit and understand the underpinning knowledge. ... -
Towards an Extensible Architecture and Tool Support for Model-based Verification.
(2023)Model-based software engineering (MBSE) brings models to the center of software and system design. Models are powerful abstractions used to support all phases of the software development life cycle of complex software. As ... -
Towards Secure Agent Computing for Ubiquitous Computing and Ambient Intelligence
(Springer, 2007-07-11)El trabajo presenta una revisión exhaustiva de la evolución de los sistemas multiagente y analiza por qué estos sistemas no han sido ampliamente adoptados fuera de escenarios de investigación, señalando que la falta de ...