• Article  

      Long-lived Rambo: Trading knowledge for communication 

      Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A. (2004)
      Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with efficiency in practical algorithms is difficult. ...
    • Conference Object  

      Modeling context information for realizing simple mobile services 

      Broll, G.; Hußmann, H.; Prezerakos, G. N.; Kapitsaki, Georgia M.; Salsano, S. (2007)
      The emerging technology of mobile services is gaining on importance nowadays and various applications are being developed. Context-awareness constitutes an essential part of mobile services, as it can boost the provision ...
    • Article  

      On supporting security and privacy-preserving interaction through adaptive usable security 

      Belk, Marios; Fidas, Christos A.; Germanakos, Panagiotis; Samaras, George S. (2014)
      The purpose of this paper is to propose a preliminary framework for supporting usable security on the World Wide Web through adaptivity in user interface designs. In particular we elaborate the concept of "Adaptive Usable ...
    • Article  

      A process calculus for dynamic networks 

      Kouzapas, D.; Philippou, Anna (2011)
      In this paper we propose a process calculus framework for dynamic networks in which the network topology may change as computation proceeds. The proposed calculus allows one to abstract away from neighborhood-discovery ...
    • Conference Object  

      Tempo-toolkit: Tempo to java translation module 

      Georgiou, Chryssis; Musiał, Peter M.; Ploutarchou, Christos (2013)
      TIOA is a formal language for modeling distributed, concurrent, and timed/untimed systems as collections of interacting state machines, called Timed Input/Output Automata. TIOA provide natural mathematical notations for ...