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 ...