.uk - PDFSEARCH.IO - Document Search Engine

.uk
Results: 509634

#	Item
191	1 Off-Path Hacking: The Illusion of Challenge-Response Authentication Yossi Gilad∗‡ , Amir Herzberg†‡ , Haya Shulman§‡ Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2015-02-22 02:35:33 Internet Computing Cyberwarfare Internet security Computer network security Internet Standards Internet protocols Transmission Control Protocol Denial-of-service attack TCP reset attack IP address spoofing Internet protocol suite
192	A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-09-08 19:38:18 Mathematical analysis Mathematics Constructible universe Distribution
193	Third International Competition on Runtime Verification (CRV16) Giles Reger, Sylvain Hall´e, Yli`es Falcone RV 2016 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-09-29 14:24:12 Benchmark Standard Performance Evaluation Corporation European BEST Engineering Competition Computing Information and communications technology
194	(Dis)connective Practice in Heterotopic Spaces for Networked and Connected Learning Frances Bell Itinerant Scholar Abstract Add to Reading List Source URL: www.networkedlearningconference.org.uk Language: English - Date: 2017-05-04 14:07:54 Education Human behavior Learning Alternative education Networked learning Social networking service Heterotopia Disqus Connected learning Social media Peer learning Informal learning
195	Multi-version Software Updates Cristian Cadar Petr Hosek Department of Computing Imperial College London {c.cadar, p.hosek}@imperial.ac.uk Add to Reading List Source URL: srg.doc.ic.ac.uk Language: English - Date: 2012-04-24 06:18:24 Computing Software Software release Cloud clients Parallel computing Computer science Chromium Patch Kernel Operating system Software deployment Software quality
196	Understanding the Mirai Botnet Manos Antonakakis⇧ Tim April‡ Michael Bailey† Matthew Bernhard/ Elie Bursztein Jaime Cochran. Zakir Durumeric/ J. Alex Halderman/ Luca Invernizzi Michalis Kallitsis§ Deepak Kumar† Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2018-01-19 09:59:23 Botnets Cybercrime Computing Cyberwarfare Denial-of-service attacks Linux malware Computer network security Mirai BASHLITE Internet of things TR-069 Denial-of-service attack
197	Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-26 10:39:46 Computer programming Software engineering Computing Lisp Functional programming Data types Abstract data types Functional languages Append ACL2 Cons Nqthm
198	Department of Computer Science EFFICIENT PROBABILISTIC PARAMETER SYNTHESIS FOR ADAPTIVE SYSTEMS Taolue Chen Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-10-05 08:24:58 Estimation theory Probability and statistics Statistics Graph theory Markov chain Parameter Machine learning Probability distribution fitting Parametric model Twisting properties
199	Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-06-17 04:03:10 Electronic engineering Logic gates Digital electronics Electrical engineering Electronics Electrical circuits Digital systems Clock signal C-element Asynchronous circuit Sequential logic Flip-flop
200	LNCSDefensive JavaScript Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-10-29 12:47:40 Computing Software engineering Computer programming Web development JavaScript Ajax Hacking HTML Bookmarklet Content Security Policy Password manager XMLHttpRequest