<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Service-level agreements for service-oriented computing"^^ . "Service-oriented computing is dynamic. There may be many possible service instances available for binding, leading to uncertainty about where service requests will execute. We present a novel Markovian process calculus which allows the formal expression of uncertainty about binding as found in service-oriented computing. We show how to compute meaningful quantitative information about the quality of service provided in such a setting. These numerical results can be used to allow the expression of accurate service-level agreements about service-oriented computing."^^ . "2009" . "5486" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . "Allan"^^ . "Clark"^^ . "Allan Clark"^^ . . "Stephen"^^ . "Gilmore"^^ . "Stephen Gilmore"^^ . . "Mirco"^^ . "Tribastone"^^ . "Mirco Tribastone"^^ . . . . . "HTML Summary of #2567 \n\nService-level agreements for service-oriented computing\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .