.ac - PDFSEARCH.IO - Document Search Engine

.ac
Results: 359273

#	Item
21	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
22	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
23	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
24	Fibbing in action: On-demand load-balancing for better video delivery Olivier Tilmans‡⇤, Stefano Vissicchio‡†, Laurent Vanbever§, Jennifer Rexford¶ ‡ ‡ Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:55:39 Computing Internet architecture Network architecture Information and communications technology Computer network Routing Multiprotocol Label Switching Router Network topology
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	Pioneering Flexible Blockchain Platform based on Trusted Sharding Innovative Flexibility for CAP Trilemma Add to Reading List Source URL: www.mtv.ac Language: English - Date: 2018-10-22 10:30:36 Cryptocurrencies Data management Computing Blockchains Concurrent computing Decentralization Shard Decentralized application DAPP Smart contract
29	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
30	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