Perspective - PDFSEARCH.IO - Document Search Engine

Perspective
Results: 16666

#	Item
1	What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-10-13 07:25:09 Debugging Logic in computer science Runtime verification Software optimization Computing Instrumentation Tracing Information technology management Management
2	Systematizing Genome Privacy Research: A Privacy-Enhancing Technologies Perspective∗ Alexandros Mittos1 , Bradley Malin2 , Emiliano De Cristofaro1 arXiv:1712.02193v2 [cs.CR] 17 Aug 2018 Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-08-19 20:26:50 Biology Genetics Genomics Molecular biology Biotechnology DNA Bioinformatics Whole genome sequencing Genome-wide association study Single-nucleotide polymorphism Human genome Privacy
3	Data Preference Matters: A New Perspective of Safety Data Dissemination in Vehicular Ad Hoc Networks Qiao Xiang1 , Xi Chen1, Linghe Kong1 , Lei Rao2 , Xue Liu1 1 School of Computer Science, McGill University, Canada, 2 Add to Reading List Source URL: wirelesslab.sjtu.edu.cn Language: English - Date: 2015-04-14 12:02:56 Wireless networking Computing Information and communications technology Computer networking Technology Network protocols Data transmission Internet of things Vehicular ad hoc network Wireless ad hoc network Mobile ad hoc network Network packet
4	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
5	Index calculus in class groups of non-hyperelliptic curves of genus 3 from a full cost perspective Claus Diem University of Leipzig Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2006-04-16 23:42:07 Algebraic curves Algebraic geometry Geometry Abstract algebra Group theory Hyperelliptic curve Algebraic surfaces Index calculus algorithm Elliptic curve Hyperelliptic curve cryptography Trace Zero Cryptography
6	Designing Proof Formats A User’s Perspective Sascha B¨ ohme Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2011-08-05 14:21:30 Mathematical logic Theoretical computer science Software Formal methods Proof assistants Automated theorem proving Mathematical proof First-order logic Proof True quantified Boolean formula Frama-C Type theory
7	June 2018 Edition Initial Coin Offerings A strategic perspective Authors: Daniel Diemers, Zurich Add to Reading List Source URL: www.pwc.ch Language: English Cryptocurrencies Economy Alternative currencies Money Finance Initial coin offering Gram Huobi Filecoin Petro Everipedia PricewaterhouseCoopers
8	What is a Trace? A Runtime Verification Perspective Giles Reger1? and Klaus Havelund2?? 1 2 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-08-10 12:10:31 Computing Open formats Markup languages Formal methods Debugging Logic in computer science Runtime verification Tracing Comma-separated values Exception handling Database Data logger
9	Index calculus in class groups of non-hyperelliptic curves of genus 3 from a full cost perspective – Extended Abstract – Claus Diem University of Leipzig Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2006-03-23 17:41:38 Abstract algebra Algebra Cryptography Finite fields Algebraic curves Group theory Index calculus algorithm Algorithm Hyperelliptic curve XTR Hyperelliptic curve cryptography Elliptic curve primality
10	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