California - PDFSEARCH.IO - Document Search Engine

California
Results: 330139

#	Item
61	Runtime Verification Logics A Language Design Perspective 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: 2017-08-22 15:37:59 Theoretical computer science Mathematics Formal methods Logic in computer science Models of computation Temporal logic Runtime verification Formal verification Model checking Linear temporal logic Finite-state machine FO
62	CenterServ 99 South Almaden Blvd. Suite 600, San Jose, California 95113, USA www.centerserv.com Add to Reading List Source URL: www.centerserv.com Language: English - Date: 2017-02-08 21:02:08 Cloud infrastructure Cloud computing IT infrastructure Computing HP Cloud IBM cloud computing
63	A Unified Framework for Human-Robot Knowledge Transfer Nishant Shukla, Caiming Xiong and Song-Chun Zhu Center for Vision, Cognition, Learning and Autonomy University of California, Los Angeles, USA Abstract Add to Reading List Source URL: shukla.io Language: English - Date: 2017-05-18 12:57:06 Metaphysics Cybernetics Logic Computational neuroscience Human behavior Robotics Human communication Humanrobot interaction Multimodal interaction Image segmentation Artificial intelligence Knowledge
64	Learning-Based Abstractions for Nonlinear Constraint Solving Sumanth Dathathri ∗1 , Nikos Arechiga2 , Sicun Gao3 , and Richard M. Murray1 1 Computing and Mathematical Sciences, California Institute of Technology 2 Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Constraint programming Mathematical optimization Theoretical computer science Statistical classification Artificial intelligence Machine learning Support vector machine Constraint satisfaction problem Constraint satisfaction Decomposition method Constrained optimization Constraint
65	A Fistful of Bitcoins: Characterizing Payments Among Men with No Names Sarah Meiklejohn Marjori Pomarole Grant Jordan † Kirill Levchenko Damon McCoy Geoffrey M. Voelker Stefan Savage University of California, San Diego Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Cryptocurrencies Bitcoin Economy Money Financial technology Alternative currencies Digital currencies Blockchains Mt. Gox Satoshi Nakamoto Blockchain.info BitPay
66	ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash Sarah Meiklejohn University of California, San Diego smeiklej@ cs.ucsd.edu Add to Reading List Source URL: www.usenix.org Language: English - Date: 2010-06-18 19:02:40 Cryptography Public-key cryptography Computational complexity theory Zero-knowledge proof Proof of knowledge Commitment scheme Non-interactive zero-knowledge proof IP Cryptographic protocol NP RSA Zero knowledge
67	Augur: Internet-Wide Detection of Connectivity Disruptions Paul Pearce†∗ , Roya Ensafi§∗ , Frank Li† , Nick Feamster§ , Vern Paxson† † University of California, Berkeley § Princeton University Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:56:26 Computer network security Cyberwarfare Computer security Computing Computer security software Idle scan Denial-of-service attack Transmission Control Protocol Stateful firewall Internet censorship Great Firewall Internet protocol suite
68	A Practical Testing Framework for Isolating Hardware Timing Channels Jason Oberg∗ , Sarah Meiklejohn∗ , Timothy Sherwood† and Ryan Kastner∗ ∗ Computer Science and Engineering, University of California, San Die Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Information flow Information theory CPU cache Flow Timing attack Mathematical model Mathematics Computing Knowledge
69	PDF Document Add to Reading List Source URL: california.ligmincha.org - Date: 2018-01-25 16:36:43