Listar LCC - Conferencias Científicas por título
Mostrando ítems 17-36 de 60
-
CMSA para el problema de la generación de casos de prueba priorizados en líneas de productos software
(2018-09-24)En las líneas de producto software puede ser difícil o incluso imposible probar todos los productos de la familia debido al gran número de combinaciones de características que puede existir. Esto conlleva la necesidad de ... -
Computación Cognitiva
(2016-05-18)La ciencia de la computación arrancó con la era de las máquinas tabulables para después pasar a las programables. Sin embargo el mundo actual vive una transformación radical de la información. Por un lado la avalancha ... -
¿Cuál Lenguaje de Programación escoger?
(2018-06-05)¿Cuál Lenguaje de Programación escoger? Dr. Miguel Katrib, Universidad de La Habana ¿Cuál Lenguaje de Programación es mejor? ¿Cuál debo escoger? Estas son preguntas frecuentes, pero desafortunadamente incompletas y mal ... -
Cyber-Human Partnerships – Towards a resilient ecosystem in Smart Cities
(2017-12-11)In this talk I will explore one of the most relevant challenges for a decade to come: How to integrate the Internet of Things with software, people, and processes, considering modern Cloud Computing and the Internet of ... -
Desarrollo de microservicios basado en la especificación OpenAPI
(2021)En los últimos años, a la hora de desarrollar infraestructuras de altas prestaciones las arquitecturas orientadas a microservicio se están posicionando como el paradigma predominante. En el corazón de estas arquitecturas, ... -
Despliegue de APIs en dispositivos móviles
(2019-11-28)Actualmente hay multitud de cursos y tutoriales que muestran cómo hacer el diseño, desarrollo y despliegue de APIs en entornos Cloud. Existen multitud de herramientas que dan soporte y facilitan este proceso. Durante los ... -
Detección de variedad y estado de maduración del ciruelo japonés utilizando imégenes hiperespectrales y aprendizaje profundo
(2018-11-05)En la actualidad, España ocupa el séptimo puesto como productor de ciruelas a nivel mundial y el tercero a nivel europeo según la Organización de las Naciones Unidas para la Alimentación y la Agricultura. La importancia ... -
Docking Inter/Intra-Molecular Mediante Metaheurísticas Multi-objetivo
(2015-02-11)El Acoplamiento Molecular (Molecular Docking) es un problema de optimización de gran complejidad que consiste en predecir la orientación de dos moléculas: el ligando y el receptor, de manera que formen un complejo molecular ... -
Efficient Hill Climber for Multi-Objective Pseudo-Boolean Optimization
(2016-04-06)Local search algorithms and iterated local search algorithms are a basic technique. Local search can be a stand-alone search method, but it can also be hybridized with evolutionary algorithms. Recently, it has been shown ... -
Elastic Computing - a novel paradigm for distributed systems
(2016-06-24)This talk, which is based on our newest findings and experiences from research and industrial projects, addresses one of the most relevant challenges for a decade to come: How to integrate the Internet of Things with ... -
Enriquecimiento automático de ontologías biomédicas mediante el uso de mappings
(2018-11-15)Dione es una representación en OWL del ICD-10-CM, consistente lógicamente, cuyos axiomas definen las inclusiones y exclusiones del ICD-10-CM mediante una metodología basada en los mappings ICD-10-CM/SNOMED-CT, proporcionados ... -
Experiencia con una herramienta de pruebas de caja negra para el aprendizaje de asignaturas de programación en evaluación continua
(2017-07-12)La programación es una de las materias requeridas en la gran mayoría de los grados actuales con perfil tecnológico, siendo un aspecto crítico en cualquiera de los Grados en Ingeniería Informática. Aprender a programar requiere ... -
Formal Model-Based Approaches for the Development of Composite
(2014-04-29)Software engineering (SE) is concerned about techniques and tools to develop software pieces. Structuring and composition techniques have always been a cornerstone in software engineering, from modules in the 70’s to the ... -
Un Framework para Big Data Optimization Basado en jMetal y Spark
(2016)Las metaheurísticas multi-objetivo se han convertido en técnicas muy utilizadas para la resolución de problemas complejos de optimización compuestos de varias funciones objetivo en conflicto entre sí. Nos encontramos en ... -
Generic proof scores for the generate & check method in CafeOBJ
(2015-03-11)Generic proof scores for the generate & check method in CafeOBJ are presented. The generic proof scores codify the generate & check method as parameterized modules in the CafeOBJ language independently of specific systems ... -
Hacia la docencia “cloud-first” en la ingeniería de software
(2018-11-26)En 2007, no existían ni la computación en la nube como hoy la conocemos, ni los smartphones cuyo arquetipo es el iPhone de Apple. Apenas una década más adelante, Amazon Web Services controla la tercera parte de un mercado ... -
How to increase efficiency with the certification of process compliance
(2017-03-09)Certification as well as self-assessment of safety-critical systems is an expensive and time-consuming activity due to the necessity of providing numerous deliverables. These deliverables can be process-related or ... -
Injecting domain knowledge in multi-objective optimization problems: A semantic approach
(Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos, 2022-09-05)In the field of complex problem optimization with me-taheuristics, semantics has been used for modeling different aspects, such as: problem characterization, parameters, decision-maker's preferences, or algorithms. However, ... -
Los Intangibles en el Diseño de Sistemas de Ayuda a la Decisión.
(2016-06-03)El interés por los intangibles empezó a partir de la crisis reputacional de finales de siglo XX, que tuvo un impacto tremendo en Estados Unidos. Los casos de Enron, Tyco, Ahold, y Arthur Andersen pusieron de manifiesto la ... -
Introducción a la doble narrativa videolúdica
(2015-10-20)Los medios narrativos interactivos, entre ellos los jugables, se distinguen de los tradicionales por las relaciones que se dan entre las dos narrativas que los conforman. Para establecer y tutorar dichas relaciones nace ...