Listar LCC - Conferencias Científicas por título
Mostrando ítems 49-60 de 60
-
Reliable deployment, reconfiguration, and control of cloud applications
(2015-02-18)Cloud applications consist of a set of interconnected software components distributed over several virtual machines. Setting up, (re)configuring, and monitoring these applications are difficult tasks, and involve complex ... -
Rewriting Modulo SMT and Open System Analysis
(2018-11-26)Rewriting modulo SMT is a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze reachability properties of ... -
SafeWalks: aplicación móvil de supervisión de pacientes de Alzheimer
(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 ... -
Scalable Inference of Gene Regulatory Networks with the Spark Distributed Computing Platform Cristo
(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 ... -
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 ... -
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 ... -
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 ... -
Sostenibilidiad empresarial a través de los intangibles: Una visión de las empresas energéticas y sector público
(2016-06-10)Los intengibles son un factor de valor de las empresas, para su sostenibilidad y permanencia en el tiempo. El sector energético es uno de los sectores más sensibles a este tipo de ítems, estando las empresas de dicho sector ... -
Standardized connectivity and communication for constrained devices
(2018-04-30)By 2020, an estimated 50 billion devices will be connected to the Internet. This revolution will transform the traditional human-centric internet to an “Internet of Things” (IoT), thereby enabling a whole new range of ... -
Tracking advanced persistent threats in critical infrastructures through opinion dynamics
(2018-09-26)Advanced persistent threats pose a serious issue for modern industrial environments, due to their targeted and complex attack vectors that are difficult to detect. This is especially severe in critical infrastructures that ... -
Un Repositorio RDF para la integración y consulta de datos de pacientes hepáticos
(2018-10-03)Los casos médicos pasados, y por lo tanto, la experiencia clínica, son recursos de valor incalculable para apoyar la práctica clínica, la investigación y la formación. Los profesionales médicos deben poder intercambiar ... -
What Evolutionary Biologists Can Learn from Artificial Life
(2019-04-11)Big questions in Evolutionary Biology and experimental limitations - The evolution of complex traits. - The role of neutral variation in adaptive evolution. - Selection for fitness vs selection for robustness. - The ...