• Article  

      Achieving reliability in master-worker computing via evolutionary dynamics 

      Christoforou, Evgenia; Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A.; Sánchez, A. (2012)
      This work considers Internet-based task computations in which a master process assigns tasks, over the Internet, to rational workers and collect their responses. The objective is for the master to obtain the correct task ...
    • Article  

      Adaptive packet scheduling over a wireless channel under constrained jamming 

      Fernández Anta, Antonio; Georgiou, Chryssis; Kowalski, D. R.; Zavou, Elli (2017)
      In this work we consider the communication over a wireless link, between a sender and a receiver, being disrupted by a jammer. The objective of the sender is to transmit as much data as possible to the receiver in the most ...
    • Article  

      Adaptive scheduling over a wireless channel under constrained jamming 

      Fernández Anta, Antonio; Georgiou, Chryssis; Zavou, Elli (2015)
      We consider a wireless channel between a single pair of stations (sender and receiver) that is being “watched” and disrupted by a malicious, adversarial jammer. The sender’s objective is to transmit as much useful data as ...
    • Conference Object  

      Algorithmic mechanisms for internet supercomputing under unreliable communication 

      Christoforou, Evgenia; Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A. (2011)
      This work, using a game-theoretic approach, considers Internet-based computations, where a master processor assigns, over the Internet, a computational task to a set of untrusted worker processors, and collects their ...
    • Conference Object  

      Algorithmic mechanisms for internet-based master-worker computing with untrusted and selfish workers 

      Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A. (2010)
      We consider Internet-based master-worker computations, where a master processor assigns, across the Internet, a computational task to a set of untrusted worker processors, and collects their responses
    • Article  

      Algorithmic mechanisms for reliable crowdsourcing computation under collusion 

      Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A.; Pareja, D. (2015)
      We consider a computing system where a master processor assigns a task for execution to worker processors that may collude. We model the workers' decision of whether to comply (compute the task) or not (return a bogus ...
    • Article  

      Algorithmic mechanisms for reliable master-worker internet-based computing 

      Christoforou, Evgenia; Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A. (2014)
      We consider Internet-based master-worker computations, where a master processor assigns, across the Internet, a computational task to a set of untrusted worker processors, and collects their responses. Examples of such ...
    • Article  

      Applying the dynamics of evolution to achieve reliability in master-worker computing 

      Christoforou, Evgenia; Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A.; Sánchez, A. (2013)
      We consider Internet-based master-worker task computations, such as SETI@home, where a master process sends tasks, across the Internet, to worker processes
    • Conference Object  

      Atomic Appends: Selling Cars and Coordinating Armies with Multiple Distributed Ledgers 

      Fernández Anta, Antonio; Georgiou, Chryssis; Nicolaou, Nicolas (Schloss Dagstuhl_Leibniz-Zentrum für Informatik (OASIcs), 2019)
      The various applications using Distributed Ledger Technologies (DLT) or blockchains, have led to the introduction of a new `marketplace' where multiple types of digital assets may be exchanged. As each blockchain is designed ...
    • Conference Object  

      Brief announcement: Achieving reliability in master-worker computing via evolutionary dynamics 

      Christoforou, Evgenia; Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A.; Sanchez, A. (2012)
      This work considers Internet-based task computations in which a master process assigns tasks, over the Internet, to rational workers and collect their responses. The objective is for the master to obtain the correct task ...
    • Article  

      Brief announcement: Algorithmic mechanisms for internet-based computing under unreliable communication 

      Christoforou, Evgenia; Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A. (2011)
      This work, using a game-theoretic approach, considers Internet-based computations, where a master processor assigns, over the Internet, a computational task to a set of untrusted worker processors, and collects their ...
    • Article  

      Competitive analysis of fundamental scheduling algorithms on a fault-prone machine and the impact of resource augmentation 

      Fernández Anta, Antonio; Georgiou, Chryssis; Kowalski, Dariusz R.; Zavou, Elli (2018)
      Reliable task execution in machines that are prone to unpredictable crashes and restarts is both challenging and of high importance, but not much work exists on the analysis of such systems. We consider the online version ...
    • Article  

      Competitive analysis of task scheduling algorithms on a fault-prone machine and the impact of resource augmentation 

      Fernández Anta, Antonio; Georgiou, Chryssis; Kowalski, D. R.; Zavou, Elli (2015)
      Reliable task execution on machines that are prone to unpredictable crashes and restarts is both important and challenging, but not much work exists on the analysis of such systems. We consider the online version of the ...
    • Conference Object  

      Cover-ability: Consistent versioning in asynchronous, fail-prone, message-passing environments 

      Nicolaou, Nicolas C.; Fernández Anta, Antonio; Georgiou, Chryssis (Institute of Electrical and Electronics Engineers Inc., 2016)
      An object type characterizes the domain space and the operations that can be invoked on an object of that type. In this paper we introduce a new property for concurrent objects, we call coverability, that aims to provide ...
    • Article  

      Crowd Computing as a Cooperation Problem: An Evolutionary Approach 

      Christoforou, Evgenia; Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A.; Sánchez, A. (2013)
      Cooperation is one of the socio-economic issues that has received more attention from the physics community. The problem has been mostly considered by studying games such as the Prisoner's Dilemma or the Public Goods Game. ...
    • Conference Object  

      Designing mechanisms for reliable internet-based computing 

      Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A. (2008)
      In this work, using a game-theoretic approach, cost-sensitive mechanisms that lead to reliable Internet-based computing are designed. In particular, we consider Internet-based master-worker computations, where a master ...
    • Conference Object  

      Formalizing and Implementing Distributed Ledger Objects 

      Fernández Anta, Antonio; Georgiou, Chryssis; Konwar, Kishori; Nicolaou, Nicolas (Springer International Publishing, 2019)
      Despite the hype about blockchains and distributed ledgers, no formal abstraction of these objects has been proposed (This observation was also pointed out by Maurice Herlihy in his PODC2017 keynote talk). To face this ...
    • Article  

      Internet computing: Using reputation to select workers from a pool 

      Christoforou, Evgenia; Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A. (2016)
      The assignment and execution of tasks over the Internet is an inexpensive solution in contrast with supercomputers. We consider an Internet-based Master-Worker task computing approach, such as SETI@home. A master process ...
    • Article  

      Measuring the impact of adversarial errors on packet scheduling strategies 

      Fernández Anta, Antonio; Georgiou, Chryssis; Kowalski, D. R.; Widmer, J.; Zavou, Elli (2013)
      In this paper we explore the problem of achieving efficient packet transmission over unreliable links with worst case occurrence of errors. In such a setup, even an omniscient offline scheduling strategy cannot achieve ...
    • Conference Object  

      Multi-round Master-Worker Computing: A Repeated Game Approach 

      Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A.; Pareja, D. (IEEE Computer Society, 2016)
      We consider a computing system where a master processor assigns tasks for execution to worker processors through the Internet. We model the workers' decision of whether to comply (compute the task) or not (return a bogus ...