Introduction Model Analysis Tool Support

First Page		Document Content
Date: 2007-05-30 12:50:22 Markov models Markov processes Statistics Graph theory Markov chain Data Jane Hillston Laboratory for Foundations of Computer Science Chain Stochastic process Stochastic Computing		Introduction Model Analysis Tool Support Add to Reading List Source URL: homepages.inf.ed.ac.uk Download Document from Source Website File Size: 2,59 MB Share Document on Facebook

	Evaluating quality of service for service level agreements Allan Clark and Stephen Gilmore Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland DocID: 1xTqK - View Document
	Y in Practical Programs∗ Extended Abstract Bruce McAdam Laboratory for Foundations of Computer Science, The University of Edinburgh, DocID: 1uP2j - View Document
	Service-Level Agreements for Service-Oriented Computing Allan Clark, Stephen Gilmore and Mirco Tribastone Laboratory for Foundations of Computer Science The University of Edinburgh, Scotland DocID: 1utjz - View Document
	Bio-PEPA: a framework for the modelling and analysis of biological systems Federica Ciocchetta a,∗ and Jane Hillston a,b a Laboratory for Foundations of Computer Science, The University of Edinburgh, DocID: 1umdS - View Document
	Rigorous Graphical Modelling of Movement in Collective Adaptive Systems N. Zo´ n(B) , S. Gilmore, and J. Hillston Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Edinburgh DocID: 1uiqF - View Document