https://hdl.handle.net/10481/20435 2026-04-20T07:45:56Z 2026-04-20T07:45:56Z Benítez Martínez, Francisco Luis Hurtado Torres, María Visitación Romero Torres, Esteban https://hdl.handle.net/10481/68591 2021-06-15T13:25:50Z

The “Tokenization” of the eParticipation in Public Governance: An Opportunity to Hack Democracy Benítez Martínez, Francisco Luis; Hurtado Torres, María Visitación; Romero Torres, Esteban Currently Distributed Ledger Technologies-DLTs, and especially the Blockchain technology, are an excellent opportunity for public institutions to transform the channels of citizen participation and reinvigorate democratic processes. These technologies permit the simplification of processes and make it possible to safely and securely manage the data stored in its records. This guarantees the transmission and public transparency of information, and thus leads to the development of a new citizen governance model by using technology such as a BaaS (Blockchain as a Service) platform. G-Cloud solutions would facilitate a faster deployment in the cities and provide scalability to foster the creation of Smart Citizens within the philosophy of Open Government. The development of an eParticipation model that can configure a tokenizable system of the actions and processes that citizens currently exercise in democratic environments is an opportunity to guarantee greater participation and thus manage more effective local democratic spaces. Therefore, a Blockchain solution in eDemocracy platforms is an exciting new opportunity to claim a new pattern of management amongst the agents that participate in the public sphere.

Hornos Barranco, Miguel Juan Augusto, Juan Carlos https://hdl.handle.net/10481/19601 2021-06-29T07:28:49Z

Installation process and main functionalities of the Spin model checker Hornos Barranco, Miguel Juan; Augusto, Juan Carlos This document explains how to download and install all the software needed to properly run the Spin model checker and its user-friendly graphical user interface, called iSpin. It also offers a short tutorial which presents the main functionalities of Spin and explains briefly some basic concepts which are important to be able to use Spin through iSpin.

López Martínez, Álvaro https://hdl.handle.net/10481/16060 2021-06-29T07:28:49Z

Hacia Tutor 2.0: Aplicando características de la Web 2.0 a Tutor López Martínez, Álvaro El objetivo principal de este proyecto es sentar las bases para dotar de características de la Web 2.0 a Tutor, que es un LMS (Learning Management System) o sistema web de apoyo a la enseñanza universitaria que desde 2003 está siendo desarrollado fundamentalmente por miembros del Departamento de Lenguajes y Sistemas Informáticos de la Universidad de Granada, y usado en bastantes asignaturas de diferentes titulaciones de esta universidad. Una aplicación Web 2.0 tiene como principales características la interoperabilidad y el diseño centrado en el usuario, de modo que éstos puedan fácilmente compartir información y se fomente la colaboración entre ellos. Estas características son muy apropiadas para un sistema como Tutor. Por tanto, en este trabajo se hace un estudio de las características presentes en esta plataforma hasta el momento, se analizan los requisitos básicos de un sistema 2.0, se propone un nuevo diseño e implementación para integrarlos en Tutor y se desarrollan nuevas funcionalidades en base a los mismos.