.uk - PDFSEARCH.IO - Document Search Engine

.uk
Results: 509634

#	Item
21	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:18:50 Software engineering Computer programming Programming language theory Functional languages Proof assistants Procedural programming languages Logic in computer science Type theory Isabelle Logic for Computable Functions Standard ML ML
22	Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:10 Software engineering Computing Programming language theory Procedural programming languages Programming languages Logic in computer science Runtime verification Cross-platform software Program slicing Model checking L-system Trace
23	Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop Add to Reading List Source URL: eprints.nottingham.ac.uk Language: English - Date: 2017-10-17 16:19:51 Theoretical computer science Quantum information science Quantum mechanics Quantum computing Models of computation Emerging technologies Quantum programming Quantum circuit Reversible computing QML Qubit Quantum teleportation
24	RFCRequirements for Internet Hosts - Communication Layers Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-02-01 01:50:48 Computing Internet protocols Network architecture Data transmission Internet Standards OSI model Internet Protocol Internet protocol suite Internet layer Communication protocol Transport layer Internet Control Message Protocol
25	PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-01-13 05:57:32 Theoretical computer science Mathematics Model checkers Temporal logic PRISM model checker Computation tree logic Model checking Application software Stochastic game Strategy Stochastic process Game theory
26	A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-07-05 04:52:12 Mathematical analysis Functional analysis Metaphysics Stochastic processes Distribution Stochastic simulation Dynamical system
27	Towards Test-Driven Software Defined Networking David Lebrun, Stefano Vissicchio, Olivier Bonaventure Universit´e catholique de Louvain, ICTEAM Email: Abstract—To configure, troublesh Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02 Computing Emerging technologies Network architecture Information and communications technology Computer architecture Configuration management Internet architecture Software-defined networking Data transmission Software testing OpenFlow Traffic flow
28	starting point TCP/IP State Transition Diagram (RFC793) CLOSED Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-02-01 01:50:48 Computing Network architecture Data transmission Transmission Control Protocol Flow control Network protocols Acknowledgement Internet protocol suite SYN flood
29	Click Trajectories: End-to-End Analysis of the Spam Value Chain Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2015-02-12 13:32:16 World Wide Web Spamming Marketing Cyberspace Email spam Anti-spam techniques URL shortening Spam Affiliate marketing Email Honeypot Blacklist
30	DOCX Document Add to Reading List Source URL: hackthemidlands.co.uk Language: English - Date: 2018-10-24 08:00:12 Health Emergency medicine Doctor's office Ambulance Consent Emergency management