Jesús A. Fisteus

Learn More
The goal of multi-winner elections is to choose a fixed-size committee based on voters’ preferences. An important concern in this setting is representation: large groups of voters with cohesive preferences should be adequately represented by the election winners. Recently, Aziz et al. (2015a; 2017) proposed two axioms that aim to capture this idea:(More)
This paper presents a model for quality-of-service (QoS)-aware service composition in distributed systems with real-time and fault-tolerance requirements. This model can be applied in application domains like, for example, remote monitoring, control and surveillance. Classic approaches to real-time systems do not provide the flexibility and fault-tolerance(More)
The World Wide Web has grown over the years from simple hypertext documents to highly interactive pages, where users can also contribute to the content by posting comments and so on. However, most data is extremely unstructured and cannot be easily automatically processed by machines. Presently, most search engines are keyword based and searches may also(More)
Traditional pedagogical approaches are no longer sufficient to cope with the increasing challenges of Massive Open On-line Courses (MOOCs). Consequently, it is necessary to explore new paradigms. This paper describes an exploration of the adaptation of the peer review methodology for its application to MOOCs. Its main goal is to minimise the students’(More)
In this short paper we discuss our experience with the lightweight formal verification of properties in the Linux kernel, an open source code base of approaching seven million lines of code in size, written in mixed C and assembler for twenty-five different hardware platforms. We project this experience toward possible ways of achieving the long-term(More)
Business-process management (BPM) is nowadays a key technology for the automation and support of processes in medium-sized and large organizations. This technology has been successfully applied to business-to-consumer (B2C) and business-to-business (B2B) e-commerce since the ’90s, and it is now being applied also in e-government for the management of(More)
  • 1