Expected Reachability-Time Games Vojtˇech Forejt1 , Marta Kwiatkowska2 , Gethin Norman3 , and Ashutosh Trivedi2 1 Faculty of Informatics, Masaryk University, Botanick´a 68a, Brno, Czech Republic Oxford University Compu

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

• Greek letters
• Timed automaton
• Symbol
• Zeta

Generating compact MTBDD-representations from Probmela specifications Frank Ciesinski1 , Christel Baier1 , Marcus Gr¨oßer1 , David Parker2 1

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

Central Control Over Distributed Routing http://fibbing.net Stefano Vissicchio∗, Olivier Tilmans∗, Laurent Vanbever†, Jennifer Rexford‡ ∗ ∗

Source URL: www0.cs.ucl.ac.uk

• Computing
• Network architecture
• Routing protocols
• Internet architecture
• Data transmission
• Internet Standards
• Internet protocols
• Routing algorithms
• Routing
• Link-state routing protocol
• IS-IS
• Open Shortest Path First

Chapter 8 T Verification of Real-time Probabilistic Systems

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

• Finite automata
• Probability theory
• Probability
• Timed automaton
• Markov processes
• Probabilistic automaton
• Markov decision process
• Model checking
• Automata theory
• Probabilistic logic

TRINITY COLLEGE Policy and Procedure on Harassment Introduction 1. Trinity College does not tolerate any form of harassment or victimisation and expects all members of the College community, its visitors and contractors

Source URL: www.trinity.ox.ac.uk

• Human behavior
• Human sexuality
• Behavior
• Harassment
• Sex crimes
• Sexual ethics
• Abuse
• Rape
• Sexual harassment
• Harassment in the United Kingdom
• Stalking
• Sexual assault

Cream version 1.2 Programmers Guide Naoyuki Tamura http://bach.istc.kobe-u.ac.jp/cream/ Oct. 5, 2004 Abstract

Source URL: bach.istc.kobe-u.ac.jp

• Software engineering
• Computer programming
• Computing
• Mathematical modeling
• Numerical software
• Constraint satisfaction
• Constraint programming
• AMPL
• Solver
• Lis
• Prolog
• Quadratic programming

Introduction R/G Examples Brief history

Source URL: dream.inf.ed.ac.uk

• Concurrency control
• Linearizability
• Transaction processing
• Model theory

Probabilistic Point-to-Point Information Leakage Tom Chothia∗ , Yusuke Kawamoto∗ , Chris Novakovic∗ and David Parker∗ ∗ School of Computer Science University of Birmingham, Birmingham, UK Abstract—The output

Source URL: www.cs.bham.ac.uk

• Mathematical analysis
• Mathematics
• Experiment
• Information theory
• Statistical theory
• Measure theory
• Random variable
• Statistical randomness
• Sigma-algebra
• Probability distribution
• Joint probability distribution
• Probability space

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus

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

What to do in the event of an attack by an armed person or persons x The purpose of this guidance is to alert and not to alarm – it is not being provided in response to any specific information.

Source URL: www.trinity.ox.ac.uk

• 999
• Linguistics
• Latin grammar
• Syntax
• Grammar
• Language