Aldama Medina, Claudia Daniela(Universitat Politècnica de València, 2021-10-07)
[ES] El desarrollo de este trabajo fin de grado tiene como objetivo automatizar el modelado de un protocolo con tiempo real en Maude-NPA. Se define una sintaxis nueva para procesos con tiempo junto con transformaciones ...
Castellanos Dubón, Elvin Rolando(Universitat Politècnica de València, 2024-03-22)
[ES] Este trabajo tiene la finalidad de servir como guía para implementar mejores prácticas que fortalezcan la postura de ciberseguridad de una empresa que administre sus servicios informáticos con Windows Server. Este ...
Ferrando Berenguer, Jaume(Universitat Politècnica de València, 2018-10-29)
[ES] Callosa en Festes es un proyecto de renovación de una aplicación informativa de las
fiestas populares ’Moros y Cristianos’ del pueblo Callosa d’en Sarrià. Trata de actualizar
la tecnología, añadir una parte persistente ...
Laguna Hernández, Jorge(Universitat Politècnica de València, 2016-06-13)
[EN] This project was carried out within the framework of an employment relationship of the author of this project with the company ITERA Engineering Solutions SL with its clients to manufacturing plant Ford Motor Company ...
Cholewa, Andrew; Escobar Román, Santiago; Meseguer, Jose(Elsevier, 2015-11)
For an unconditional equational theory (Sigma, E) whose oriented equations (E) over arrow are confluent and terminating, narrowing provides an E-unification algorithm. This has been generalized by various authors in two ...
Alcañiz Bautista, Iván Carlo(Universitat Politècnica de València, 2022-09-05)
[ES] Con el incremento de amenazas y ataques cibernéticos en estos últimos años, y cobrando más importancia con el aumento del teletrabajo y la educación a distancia, el malware ha obtenido más presencia que nunca. Se ...
Vicedo Cardo, Jordi(Universitat Politècnica de València, 2022-09-08)
[ES] En el presente proyecto se pretende realizar e implantar una mejora del sistema JogoRoomdentro del entorno de la empresa Fashionalia. El objetivo de esta mejora es permitir una conectividad mejorada entre los espejos ...
Jaraba Romero, Héctor(Universitat Politècnica de València, 2019-09-06)
[ES] El programa informático realizado tiene como función formar los turnos de una central
nuclear en la que distintos roles podrán realizar diferentes operaciones, como indicar
incidencias, crear maniobras, gestionar ...
Forner Marqués, Emma(Universitat Politècnica de València, 2022-10-24)
[ES] Este trabajo consiste en el desarrollo de un servicio de monitorización para vehículos ferroviarios, así como la creación de un entorno de compilación y pruebas para el mismo. El proyecto, cuyos requisitos son ...
Azerar Mehamed, Gutmen(Universitat Politècnica de València, 2020-10-15)
[ES] El objetivo es crear mediante el entorno de desarrollo LabView una interfaz gráfica que simule los paneles de control de los pupitres de un vehículo ferroviario, la cual nos sirva para ser capaces de monitorizar y ...
Bosch Requena, Carlos(Universitat Politècnica de València, 2023-09-21)
[CA] La companyia Stadler es troba desenvolupant un projecte de locomotores de transport de passatgers per a un client. Aquest client requereix gestionar i mos-trar de manera dinàmica els horaris de les línies operades per ...
Arnau Gómez, Sergio(Universitat Politècnica de València, 2024-03-28)
[ES] Este documento pretende mostrar la problemática actual que existe con las interacciones y comunicaciones a través de internet como es el caso del user-agent spoofing. Para
solucionar este problema se propone como ...
Martínez Díaz, María Ascensión(Universitat Politècnica de València, 2023-09-14)
[ES] El objetivo inicial de este trabajo consiste en el diseño de una solución basada en
Apache Kafka para la centralización de los eventos emitidos por los middlewares MQTT
de los vehículos de una flota de trenes. ...
Portilla Alique, Cristina(Universitat Politècnica de València, 2023-09-28)
[ES] Este proyecto consiste en la implementación de un cuadro de mandos en Microsoft Power BI para analizar los eventos más predominantes producidos en la cadena de tracción y motor de las locomotoras diésel fabricadas en ...
Vallés Castellano, Guillermo(Universitat Politècnica de València, 2021-09-03)
[ES] En este trabajo se desarrolla un sistema de control de amenazas sobre servi dores Windows, como ayuda a la ciberinteligencia sobre la monitorización de los mismos. El objetivo es controlar que el funcionamiento de los ...
We address a problem that arises in cryptographic protocol
analysis when the equational properties of the cryptosystem are taken
into account: in many situations it is necessary to guarantee that certain
terms generated ...
Molina Martínez, Josep(Universitat Politècnica de València, 2023-06-21)
[CA] La proposta a presentar és la descripció i l'anàlisi d'aquesta vulnerabilitat descoberta a gener de 2022, la qual afecta a milers de dispositius de tota mena; tant de les empreses com dels particulars. Analitzarem el ...
Jacobe Galdon, Antonio(Universitat Politècnica de València, 2024-01-05)
[ES] La ciberseguridad es esencial en la nueva era digital para poder proteger los datos y los
sistemas ante posibles amenazas, reduciendo el riesgo de pérdidas, daños de reputación y
problemas legales. En este contexto ...
Cruz Selvi, Javier(Universitat Politècnica de València, 2017-09-07)
[ES] Testeo, depuración, análisis, corrección son los sustantivos que mejor definen la
actividad realizada en el presente trabajo.
Se ha tratado de llevar a la práctica los conceptos teóricos aprendidos durante las ...
Viciano Negre, Pablo(Universitat Politècnica de València, 2012-11-29)
[ES] En esta tesina de máster se estudia la satisfacibilidad de fórmulas en la aritmética Presburger para el
lenguaje de programación de alto rendimiento Maude y cómo se pueden extender estos algoritmos a
modelos que ...