California - PDFSEARCH.IO - Document Search Engine

California
Results: 330139

#	Item
31	Alice in Warningland: A Large-Scale Field Study of Browser Security Warning Effectiveness Devdatta Akhawe, University of California, Berkeley; Adrienne Porter Felt, Google, Inc. This paper is included in the Proceedings Add to Reading List Source URL: www.usenix.org Language: English - Date: 2013-09-28 11:40:42 Software Computing Web browsers Computer network security Mozilla Social engineering Portable software Phishing Firefox Microsoft SmartScreen Mozilla Corporation Google Chrome
32	Dtre\|A Semi-Automatic Transformation System Lee Blaine and Allen Goldberg Kestrel Institute, 3260 Hillview Avenue, Palo Alto, California 94304, USA Abstract Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:01 Mathematical logic Mathematics Logic Type theory Model theory Hierarchy Interpretation Axiom Sheaf Theory Implementation of mathematics in set theory ZermeloFraenkel set theory
33	Caching Doesn’t Improve Mobile Web Performance (Much) Jamshed Vesuna and Colin Scott, University of California, Berkeley; Michael Buettner and Michael Piatek, Google; Arvind Krishnamurthy, University of Washington; Sco Add to Reading List Source URL: www.usenix.org Language: English - Date: 2016-06-22 03:22:39 Cache Computing Web development Information and communications technology Computer networking Computer architecture Web cache Web performance Proxy server World Wide Web Google PageSpeed Tools Web server
34	Recursively Cautious Congestion Control Radhika Mittal, Justine Sherry, and Sylvia Ratnasamy, University of California, Berkeley; Scott Shenker, University of California, Berkeley and International Computer Science Insti Add to Reading List Source URL: www.usenix.org Language: English - Date: 2016-02-19 17:51:14 Computing Flow control Network architecture Network protocols TCP congestion control Data transmission Network performance Transmission Control Protocol Packet loss TCP window scale option CUBIC TCP Transport layer
35	Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena/Los Angeles, C Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:31:15 Model checkers Promela Computing Model checking SPIN model checker Gerard J. Holzmann Modeling language Mars Exploration Rover Economic model Theoretical computer science Notation
36	The use of theorem-proving techniques in question-answering systems by C. C O R D E L L G R E E N and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:36:18 Logic Mathematics Mathematical logic Metalogic Model theory Syntax Well-formed formula First-order logic Resolution Logic programming Tautology
37	11 Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park. California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-14 21:00:52 Mathematical logic Logic Model theory Metalogic Predicate logic Formal methods Resolution First-order logic Skolem normal form Automated theorem proving Quantifier Axiom
38	A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2012-12-17 05:23:36 Software development Aspect-oriented software development Aspect-oriented programming Formal methods Logic in computer science Runtime verification Pointcut Formal verification Join point Instrumentation
39	Timing Analysis of Keystrokes and Timing Attacks on SSH Dawn Xiaodong Song David Wagner University of California, Berkeley Xuqing Tian Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2015-01-21 19:48:40 Cryptography Computing Computer security Cybercrime Password Security Challengeresponse authentication Secure Shell Passphrase Telnet Computer keyboard Typing
40	Automatic 3D Mesh Generation from a Single Hand-Drawn Sketch Nishant Shukla University of California, Los Angeles CS 268: Final Project Add to Reading List Source URL: shukla.io Language: English - Date: 2017-05-18 12:57:06 Graph theory Planar graphs Graph operations Line graph Graph Dual graph Steinitz's theorem Topology Vertex Neighbourhood Connectivity Cycle