Jane Hillston - PDFSEARCH.IO - Document Search Engine

Jane Hillston
Results: 47

#	Item
1	Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-25 14:16:19 Theoretical computer science Markov models Formal methods Graph theory Markov chain Process calculus Semantics Stochastic process Mathematics
2	Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra Hao Wang and David I. Laurenson Jane Hillston Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 2008-03-05 10:22:30 Internet architecture Computing Network architecture Internet Quality of service Teletraffic Resource Reservation Protocol Network protocols Integrated services Mobile IP Handover RSVP
3	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, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-13 03:56:16
4	Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems Cheng Feng(B) , Jane Hillston, and Dani¨el Reijsbergen LFCS, School of Informatics, University of Edinburgh, Scotland, UK s1109873@sms. Add to Reading List Source URL: blog.inf.ed.ac.uk Language: English - Date: 2017-02-15 10:44:44
5	Embedding machine learning in formal stochastic models of biological processes Jane Hillston School of Informatics, University of Edinburgh 29th October 2014 Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2014-10-31 12:53:11
6	Rigorous and Random Adventures in Time and Space Jane Hillston Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2012-11-23 04:16:38
7	StrathclydeHigh-level languages for fluid approximation of agent-based models Jane Hillston LFCS, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2016-04-19 03:56:46
8	Challenges for Quantitative Analysis of Collective Adaptive Systems Jane Hillston LFCS, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2013-09-02 10:22:02
9	Tuning Systems: from Composition to Performance Jane Hillston. LFCS, University of Edinburgh. Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2005-09-27 05:38:20
10	A Fluid Approach to Model Checking Jane Hillston joint work with Luca Bortolussi School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2015-03-03 07:19:47