El sitio web de la Universidad de Cádiz utiliza cookies propias y de terceros para realizar análisis de uso y medición del tráfico, así como permitir el correcto funcionamiento en redes sociales, y de este modo poder mejorar su experiencia de navegación.
Si desea configurar las cookies, pulse el botón Personalizar Cookies. También puede acceder a la configuración de cookies en cualquier momento desde el enlace correspondiente en el pie de página.
Para obtener más información sobre las cookies puede consultar la Política de cookies del sitio web de la Universidad de Cádiz.
Personalización de Cookies
El sitio web de la Universidad de Cádiz utiliza cookies propias y de terceros para realizar análisis de uso y medición del tráfico, así como permitir el correcto funcionamiento en redes sociales, y de este modo poder mejorar su experiencia de navegación.
Para obtener más información sobre las cookies puede consultar la Política de cookies del sitio web de la Universidad de Cádiz. También puede acceder a la configuración de cookies en cualquier momento desde el enlace correspondiente en el pie de página.
A continuación podrá configurar las cookies del sitio web según su finalidad:
Análisis estadístico
En este sitio se utilizan cookies de terceros (Google Analytics) que permiten cuantificar el número de usuarios de forma anónima (nunca se obtendrán datos personales que permitan identificar al usuario) y así poder analizar la utilización que hacen los usuarios del nuestro servicio, a fin de mejorar la experiencia de navegación y ofrecer nuestros contenidos de manera óptima.
Redes sociales
En este sitio web se utilizan cookies de terceros que permiten el correcto funcionamiento de algunas redes sociales (principalmente Youtube y Twitter) sin utilizar ningún dato personal del usuario.
UniversidaddeCádiz
Jornadas de Concurrencia y Sistemas Distribuidos 2024
Un marco modular para la especificación de sistemas distribuidos (Timothé Albouy, Antonio Fernandez Anta, Chryssis Georgiou, Mathieu Gestin, Nicolas Nicolaou, Junlang Wang)
Un enfoque de Function-as-a-Service para la verificación de modelos basada en lógica temporal DLTL (Javier Fabra, Joaquín Ezpeleta)
Análisis temporal para mejorar las estimaciones con encuestas indirectas (Ajitesh Srivastava, Juan Marcos Ramírez, Sergio Díaz-Aranda, Jose Aguilar, Antonio Fernández Anta, Antonio Ortega, Rosa E. Lillo)
Verification of a multi-connectivity protocol for Tactile Internet applications (Delia Rico, María-del-Mar Gallardo, Pedro Merino)
AutomAdapt: Zero Touch Configuration of 5G QoS Flows extended for Time-Sensitive Networking (Francisco Luque-Schempp, Laura Panizo, María-del-Mar Gallardo, Pedro Merino)
LearnTA: Aprendizaje de Autómatas Temporizados (Rafael López Gómez, María del Mar Gallardo, Laura Panizo)
Equilibrado de Carga para Bases de Datos Clave-Valor en Memoria (Ainhoa Azqueta-Alzúaz, Marta Patiño-Martínez)
FUME: Un sistema de apoyo a la toma de decisiones para la mejora de la calidad del aire en las ciudades basado en CEP y la lógica difusa (Enrique Brazález, Hermenegilda Macía, Gregorio Díaz, María Teresa Baeza Romero, Edelmira Valero, Valentín Valero)
Un invariante cuántico para grafos isomorfos (Hernan I. de la Cruz, Fernando L. Pelayo, Vicente Pascual, Luis Llana, Jose J. Paulet, Mauro Mezzini, Fernando Cuartero)