FOR-A

Results: 646152



#Item
121Static single assignment form / Proof-of-stake / Node / Computing / Computer programming / Data management

FANTOM : A SCALABLE FRAMEWORK FOR ASYNCHRONOUS DISTRIBUTED SYSTEMS A P REPRINT Sang-Min Choi, Jiho Park, Quan Nguyen, and Andre Cronje FANTOM Lab

Add to Reading List

Source URL: fantom.foundation

Language: English - Date: 2018-10-24 09:53:18
122Education / Knowledge / Human behavior / Scientific method / Academia / Grey literature / Rhetoric / Thesis / Academic degrees / Literature review / Research / Master's degree

Thesis Guide Rules and guidelines for writing a master‘s thesis in business studies within the School of Business Reykjavik University School of Business

Add to Reading List

Source URL: en.ru.is

Language: English - Date: 2017-11-02 05:54:46
123Computer security / Security engineering / Prevention / Crime prevention / Cryptography / Information governance / National security / Data quality / Information science / Middleware / Mandatory access control / Database

SAFEWEB: A Middleware for Securing Ruby-based Web Applications Petr Hosek1 , Matteo Migliavacca1 , Ioannis Papagiannis1 , David M. Eyers2 , David Evans3 , Brian Shand4 , Jean Bacon3 , and Peter Pietzuch1 1

Add to Reading List

Source URL: srg.doc.ic.ac.uk

Language: English - Date: 2011-12-01 05:00:04
124Cryptocurrencies / Computing / Digital media / Blockchains / Information / Bitcoin / Decentralization / Ethereum / Everipedia / Prediction market / Content creation

U Network: A Decentralized Protocol for Publishing and Valuing Online Content White Paper Version 1.0.3

Add to Reading List

Source URL: u.network

Language: English - Date: 2018-08-30 22:14:37
125Algebra / Linear algebra / Mathematics / Numerical linear algebra / Matrices / Matrix theory / Multiplication / Gaussian elimination / Matrix multiplication / Pivot element / Invertible matrix / Matrix

SMITH - A Parallel Hardware Architecture for fast Gaussian Elimination over GF(2) A. Bogdanov, M.C. Mertens, C. Paar, J. Pelzl, A. Rupp Horst G¨ortz Institute for IT Security, Ruhr University Bochum, Germany {bogdanov,m

Add to Reading List

Source URL: www.hyperelliptic.org

Language: English - Date: 2006-03-21 11:51:07
126Voting / Politics / Electronic voting / Group decision-making / Ballot / Election technology / Optical scan voting system / Electoral fraud / Ballot marking device

IMAGECAST® EVOLUTION NOW WITH AN ADDITIONAL DISPLAY The only all-in-one optical scan tabulator and ballot marking device now offers the ability for simultaneous standard and accessible voting sessions with a new add-o

Add to Reading List

Source URL: www.dominionvoting.com

Language: English - Date: 2017-01-25 13:37:48
127Algorithm / Mathematical logic / Theoretical computer science / IP / Model checking / Mathematics / Machine learning

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: csl.sri.com

Language: English - Date: 2018-04-25 11:34:42
128Bitcoin / Cryptocurrencies / Digital currencies / Money / Economy / Alternative currencies / Finance / Economics of bitcoin / Legality of bitcoin by country or territory

Instant Bitcoin commerce, guaranteed Immediate deposits and payments for a seamless customer experience In the cryptocurrency marketplace, user

Add to Reading List

Source URL: www.gap600.com

Language: English - Date: 2018-05-27 04:50:30
129Domain name system / Internet in the United Kingdom / Internet / Microsoft / Nominet UK / .uk / Domain name / Email / Outlook.com

Studio44 Terms & Conditions Aims & Goals Our aim is, as far as we can, to keep our terms and conditions to a minimum. This said you will appreciate the need for them to be relatively comprehensive. Please do take the tim

Add to Reading List

Source URL: www.studio44.agency

Language: English - Date: 2018-10-17 05:59:30
UPDATE