.ac - PDFSEARCH.IO - Document Search Engine

.ac
Results: 359273

#	Item
111	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-01-06 05:40:55 Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation
112	Microsoft Word - What do we know 2.doc Add to Reading List Source URL: econ.lse.ac.uk Language: English - Date: 2006-04-04 07:18:50 Education Education in the United Kingdom Comprehensive education Philosophy of education Educational stages Education in England Selective school Comprehensive school Eleven-plus Grammar school Secondary modern school Circular 10/65
113	Challenges In Deductive Software Verification Reiner Hähnle (with Marieke Huisman, U Twente) www.se.tu-darmstadt.de Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 05:01:11 Theoretical computer science Software engineering Computing Model checking Specification language Computer programming Correctness Formal methods Cognitive science
114	Mille-Feuille: Putting ISP traffic under the scalpel Olivier Tilmans ‡∗, Tobias Bühler §, Stefano Vissicchio †, Laurent Vanbever § ‡ Université catholique de Louvain, § ETH Zürich, † University College Lo Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02 Computing Information and communications technology Network architecture Internet architecture Internet Standards Routing protocols Computer networking Network protocols Computer network Network switch Port mirroring NetFlow
115	Movie Pirates of the Caribbean: Exploring Illegal Streaming Cyberlockers Damilola Ibosiola† , Benjamin Steer† , Alvaro Garcia-Recuero† , Gianluca Stringhini‡ , Steve Uhlig† and Gareth Tyson† † † Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2018-08-06 12:40:12 World Wide Web Digital media Computing Notorious markets Alphabet Inc. Video hosting File sharing Copyright infringement Tort law The Pirate Bay Google Search YouTube
116	Unfailing Haskell: A Static Checker for Pattern Matching Neil Mitchell and Colin Runciman http://www.cs.york.ac.uk/∼ndm , http://www.cs.york.ac.uk/∼colin University of York, UK Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Computer programming Software engineering Declarative programming Recursion Functional programming Computability theory Theoretical computer science Programming paradigms Algebraic data type Fold Pattern matching Conditional
117	Discovering Concrete Attacks on Website Authorization by Formal Analysis Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-01-06 10:29:30 Computing Computer access control Computer security Cloud standards Federated identity Security OAuth Cross-site request forgery OpenID Cross-site scripting Social login HTTP cookie
118	An Empirical Analysis of Anonymity in Zcash George Kappos, Haaroon Yousaf, Mary Maller, and Sarah Meiklejohn University College London {georgios.kappos.16,h.yousaf,mary.maller.15,s.meiklejohn}@ucl.ac.uk Abstract Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Cryptocurrencies Exonumia Numismatics Money Zcash Bitcoin Kraken Monero Bitcoin Private
119	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
120	Egalitarian Society or Benevolent Dictatorship: The State of Cryptocurrency Governance Sarah Azouvi, Mary Maller, and Sarah Meiklejohn University College London {sarah.azouvi.13,mary.maller.15,s.meiklejohn}@ucl.ac.uk Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Cryptocurrencies Blockchains Ethereum Cross-platform software Concurrent computing Distributed computing Computing Alternative currencies Bitcoin Satoshi Nakamoto The DAO Smart contract