GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh

Source URL: qav.comlab.ox.ac.uk

• Uniform polyhedra
• Prism
• PRISM model checker
• Model checking
• Grip

Tool session NSV 3 FLOC 2010, Edinburgh Tool session

Source URL: www.lix.polytechnique.fr

• Software engineering
• Formal methods
• Computer programming
• Computing
• Invariant
• Benchmark
• Infinite loop

SEND STUFF TO BATTALIONS OF RIOT POLICE WITH RUBBER BULLET KISSES – SEPTEMBER 2007 F.R.E.A.K. stage the Edinburgh TAA Ravers besiege This October the TAA concept travels north of the border to Edin

Source URL: www.randomartists.org

• Music
• Culture
• DIY culture
• Human behavior
• Teknival
• DSEI
• Free party
• Breakcore
• Trans Australia Airlines
• Night

The Fringe Guide to Choosing a Venue 01 Introduction How to find a venue This guide contains details of venue spaces available to hire at the Edinburgh Festival Fringe. You can also use our online search facility at ed

Source URL: edfringe.s3.amazonaws.com

• Theatre
• Edinburgh Festival Fringe
• Entertainment
• Edinburgh Festival
• Parts of a theatre
• Performing arts
• Royal Mile
• Black box theater
• Front of house
• Fringe
• Theater

GStreamer Conference 2018 Summerhall | Edinburgh Scotland, UKOctoberSponsor Brief

Source URL: gstreamer.freedesktop.org

• Software
• Application software
• Free software
• GStreamer
• Multimedia software
• Multimedia framework
• Sponsor
• Free audio software

Fake it till you make it: Fishing for Catfishes Walid Magdy∗ , Yehia Elkhatib§ , Gareth Tyson‡ , Sagar Joglekar† , and Nishanth Sastry† ∗ School of Informatics, The University of Edinburgh, UK

Source URL: www.eecs.qmul.ac.uk

• World Wide Web
• Software
• Digital media
• Social media
• Social networking services
• Universal Windows Platform apps
• Blog hosting services
• Video hosting
• Pornhub
• Tinder
• Catfishing
• Online dating service

State-Aware Performance Analysis with eXtended Stochastic Probes Allan Clark and Stephen Gilmore University of Edinburgh, Scotland Abstract. We define a mechanism for specifying performance queries which

Source URL: www.dcs.ed.ac.uk

• PEPA
• Process calculi
• Process calculus
• Client

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

Source URL: www.dcs.ed.ac.uk

• Business
• Economy
• Queueing theory
• Management
• Graph theory
• Markov chain
• Service level
• Service-level agreement
• Airbag
• Statistical hypothesis testing
• Sensitivity analysis
• PEPA

PDF Document

Source URL: www.edinburgh.gov.uk

PDF Document

Source URL: www.edinburgh.gov.uk