Now showing items 1-2 of 2

    • Reasoning about orchestrations of web services using partial correctness 

      Stewart, Alan; Gabarró Vallès, Joaquim; Keenan, Anthony (2013-11-01)
      Article
      Restricted access - publisher's policy
      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)
      Conference report
      Open Access
      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 ...