Browsing TD-Ingeniería y Arquitectura by Author "Parra Molina, Jorge"
Now showing items 1-3 of 3
-
Certificates for decision problems in temporal logic using context-based tableaux and sequent calculi.
Abuin Yepes, Alex (2023-03-03)Esta tesis trata de resolver problemas de Satisfactibilidad y Model Checking, aportando certificados del resultado. En ella, se trabaja con tres lógicas temporales: Propositional Linear Temporal Logic (PLTL), Computation ... -
Quarantine-mode based live patching for zero downtime safety-critical systems
Mugarza Inchausti, Imanol (2019-12-10)En esta tesis se presenta una arquitectura y diseño de software, llamado Cetratus, que permite las actualizaciones en caliente en sistemas críticos, donde se efectúan actualizaciones dinámicas de los componentes de la ... -
RESTful framework for collaborative internet of things based on IEC 61850
Parra Molina, Jorge (2016-02-08)En 1991, Mark Weiser formuló el paradigma de Computación Ubicua definiendo el concepto de Entorno Inteligente como un espacio físico repleto de dispositivos, muy integrados en el entorno, y con capacidades de identificación, ...