Io - PDFSEARCH.IO - Document Search Engine

Io
Results: 17950

#	Item
401	The K IND 2 Model Checker ? Adrien Champion, Alain Mebsout, Christoph Sticksel, and Cesare Tinelli The University of Iowa Abstract. K IND 2 is an open-source, multi-engine, SMT-based model checker for safety properties o Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Formal methods Theoretical computer science Computing Software engineering Satisfiability modulo theories Model checking Invariant Lustre
402	BABELTOWER: How Language Affects Criminal Activity in Stolen Webmail Accounts Emeric Bernard-Jones, Jeremiah Onaolapo, and Gianluca Stringhini University College London {j.onaolapo,g.str Add to Reading List Source URL: jonaolapo.github.io Language: English - Date: 2018-10-25 12:11:25 Security Computing Webmail Human behavior Gmail Fraud Cybercrime Security breaches Phishing Identity theft Outlook.com Computer security
403	LIFE R LIFElabs: a decentralised array of Blockchain services, bridging traditional payments and loyalty rewards with social organisations in the philanthropic sector, Add to Reading List Source URL: www.lifelabs.io Language: English - Date: 2018-09-10 10:11:32 Cryptocurrencies Blockchains Computing Alternative currencies Concurrent computing Distributed computing Ethereum Cross-platform software Smart contract Bitcoin Kin Lisk
404	An Independent Bot Economy for a Trusted AI Future Everything Grows From SEED White Paper version 2.1 October 2018 Add to Reading List Source URL: static.seedtoken.io Language: English - Date: 2018-10-01 10:43:39 Computing Information science User interface techniques Humancomputer interaction Software architecture User interfaces Human communication User interface Virtual reality Conversational user interfaces Chatbot Graphical user interface
405	HACKEN.IO Privacy Policy Last Updated:October30,2017 This Privacy Policy explains how information is collected, used and disclosed by Hacken Add to Reading List Source URL: hacken.io Language: English - Date: 2017-10-29 14:06:58 Marketing Terms of service Law Internet privacy Market economics) Online advertising Privacy HTTP cookie Medical privacy Money laundering Targeted advertising Personally identifiable information
406	HACKEN.IO Terms and Conditions Last Updated: September 18, 2017 Please read carefully these Terms and Conditions (hereinafter – the Terms , Terms of Use ) before using a website https://hacken.io/ and/or any services o Add to Reading List Source URL: hacken.io Language: English - Date: 2017-10-05 12:07:54 Cryptocurrencies Contract law Computing Information Law Bitcoin Indemnity Reparations Blockchain Smart contract
407	Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Software engineering Programming language theory Computing Logic in computer science Horn clause Control flow ALGOL 68 Formal methods Logic programming
408	FIDEX: Filtering Spreadsheet Data using Examples Xinyu Wang Sumit Gulwani UT Austin, USA Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computer programming Software engineering Formal languages Theoretical computer science Computing Directed acyclic graph Filter Regular expression Recursion Finite-state machine
409	A Securities Law Framework for Blockchain Tokens To estimate how likely a particular blockchain token is be a security under US federal securities law Refer to: full legal analysis Instructions Step 1: Copy to a new goog Add to Reading List Source URL: hacken.io Language: English - Date: 2017-10-12 11:57:44 Cryptocurrencies Ethereum Alternative currencies Blockchains Numismatics Economy Money Cross-platform software Initial coin offering Token Kin Draft:Bancor protocol
410	A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada) Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Pointer Graph

UPDATE