• Reasoning about orchestrations of web services using partial correctness 

      Stewart, Alan; Gabarró Vallès, Joaquim; Keenan, Anthony (2013-11-01)
      Article
      Accés restringit per política de l'editorial
      A service is a remote computational facility which is made available for general use by means of a wide-area network. Several types of service arise in practice: stateless services, shared state services and services with ...
    • Uncertainty in the cloud: an angel-daemon approach to modelling performance 

      Stewart, Alan; Gabarró Vallès, Joaquim; Keenan, Anthony (Springer, 2015)
      Text en actes de congrés
      Accés obert
      Uncertainty profiles are used to study the effects of contention within cloud and service-based environments. An uncertainty profile provides a qualitative description of an environment whose quality of service (QoS) may ...