Abstract - PDFSEARCH.IO - Document Search Engine

Abstract
Results: 68258

#	Item
141	Table of Contents Abstract 3 Introduction Add to Reading List Source URL: icorating.com Language: English - Date: 2018-04-28 14:40:10 Marketing Online advertising Digital marketing World Wide Web Advertising network Ad serving Display advertising Advertising Blockchain Pay-per-click Performance-based advertising
142	From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK Abstract. Parametric runtime verification is the process of verifying properties of ex Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:18 Temporal logic Formal languages Logic Metalogic Mathematical logic Linear temporal logic Mathematics Model theory Symbol Computation tree logic Interpretation Well-formed formula
143	Abstract: The EOS.IO software introduces a new blockchain architecture designed to enable vertical and horizontal scaling of decentralized applications. This is achieved by creating an operating system-like construct upo Add to Reading List Source URL: icorating.com Language: English - Date: 2018-03-19 09:30:15 Cryptocurrencies Blockchains Concurrent computing Alternative currencies Computing Distributed computing Decentralization Cross-platform software EOS.IO Ethereum Smart contract Bitcoin
144	Abstract The AdEx team is building the next generation online ad exchange that is based on blockchain technology. Our goal is to provide a more efficient, intuitive and transparent advertising platform. Our aim is to di Add to Reading List Source URL: www.adex.network Language: English - Date: 2018-08-07 10:23:23 Marketing Online advertising Cryptocurrencies Advertising Market economics) Targeted advertising Blockchain Bitcoin Ad serving Ethereum Advertising network ternity
145	Statement of Votes Cast Hocking County Ohio Primary Election SOVC For Jurisdiction Wide, All Counters, All Races Official May 6, 2014 Primary Abstract TURN OUT Add to Reading List Source URL: hocking.ohioboe.com Language: English - Date: 2017-04-21 08:26:35 Electoral districts of Sri Lanka Texas House of Representatives election Ohio House of Representatives election
146	Area 1 (Virtual Machines and Compilation) Danny Yoo () Abstract The ideas behind tracing JITs go back to the late 1970s, but have become especially popular lately. Explain the principles behind a tracing J Add to Reading List Source URL: www.hashcollision.org Language: English Computing Software engineering Computer programming Compiler construction Programming languages Programming language implementation Software optimization Tracing just-in-time compilation High-level programming languages Just-in-time compilation PyPy Interpreter
147	Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:29:11 Model checkers Theoretical computer science Formal methods Software engineering Logic in computer science Model checking Search algorithms Formal verification SPIN model checker Verification Swarm behaviour Promela
148	Smart Contracts for Bribing Miners Patrick McCorry, Alexander Hicks, and Sarah Meiklejohn University College London {p.mccorry,alexander.hicks.16,s.meiklejohn}@ucl.ac.uk Abstract. We present three smart contracts that a Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Cryptocurrencies Bitcoin Blockchains Economy Money Computing Alternative currencies Digital currencies Ethereum Fork Mining pool Smart contract
149	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
150	Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2018-02-27 19:23:46 Temporal logic Algebraic structures Mathematics Mathematical logic Theoretical computer science Linear temporal logic Logic in computer science Computation tree logic MVS Boolean domain Boolean algebra Finite-state machine

UPDATE