<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Scalable analysis of scalable systems"^^ . "We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants of this using model transformation. The models are compiled into systems of ordinary differential equations and numerically integrated to predict non-functional properties such as responsiveness and scalability."^^ . "2009" . "5503" . "5503" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . "Stephen"^^ . "Gilmore"^^ . "Stephen Gilmore"^^ . . "Mirco"^^ . "Tribastone"^^ . "Mirco Tribastone"^^ . . "Allan"^^ . "Clark"^^ . "Allan Clark"^^ . . . . . "HTML Summary of #2572 \n\nScalable analysis of scalable systems\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .