1![Functional Programming for Compiling and Decompiling Computer-Aided Design Functional Programming for Compiling and Decompiling Computer-Aided Design](https://www.pdfsearch.io/img/17d148fdedd1d70503e5c5020aaf456a.jpg) | Add to Reading ListSource URL: ttaylorr.comLanguage: English - Date: 2018-10-18 11:59:59
|
---|
2![Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,](https://www.pdfsearch.io/img/9cf4c03e043b852604fe480de929af96.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2016-04-24 16:51:40
|
---|
3![USENIX Association Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’16) USENIX Association Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’16)](https://www.pdfsearch.io/img/957349ea57bcb335c7ab1cc939967b37.jpg) | Add to Reading ListSource URL: www.usenix.orgLanguage: English - Date: 2017-07-14 07:19:47
|
---|
4![Design of Knowledge Analytics Tools for Workplace Learning? Maria A Schett1 , Stefan Thalmann2 , and Ronald K Maier2 1 2 Design of Knowledge Analytics Tools for Workplace Learning? Maria A Schett1 , Stefan Thalmann2 , and Ronald K Maier2 1 2](https://www.pdfsearch.io/img/2e44cb397daa33c88d383392e167056e.jpg) | Add to Reading ListSource URL: ceur-ws.orgLanguage: English - Date: 2016-08-29 07:14:47
|
---|
5![An empirical analysis of smart contracts: platforms, applications, and design patterns Massimo Bartoletti and Livio Pompianu arXiv:1703.06322v1 [cs.CR] 18 Mar 2017 An empirical analysis of smart contracts: platforms, applications, and design patterns Massimo Bartoletti and Livio Pompianu arXiv:1703.06322v1 [cs.CR] 18 Mar 2017](https://www.pdfsearch.io/img/4254ad447dad64cd99878e0dae3b4d06.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2017-03-20 20:43:31
|
---|
6![Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington](https://www.pdfsearch.io/img/b115547be0a2cfcf1226ca5a66e9ab6c.jpg) | Add to Reading ListSource URL: unsat.cs.washington.eduLanguage: English - Date: 2018-09-27 23:32:05
|
---|
7![System Design and the Advanced Calculator for PowerSpout Please read this manual carefully System Design and the Advanced Calculator for PowerSpout Please read this manual carefully](https://www.pdfsearch.io/img/9be97ebda0883fcbbc429254bd01862b.jpg) | Add to Reading ListSource URL: powerspout.comLanguage: English - Date: 2014-05-12 23:50:35
|
---|
8![On Elicitation and Mechanism Design Bo Waggoner, UPenn January On Elicitation and Mechanism Design Bo Waggoner, UPenn January](https://www.pdfsearch.io/img/945688bf265e55743faa52e0a615ecc2.jpg) | Add to Reading ListSource URL: www.bowaggoner.comLanguage: English - Date: 2017-07-12 06:17:01
|
---|
9![This paper appears at the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDIDetecting and Defending Against Third-Party Tracking on the Web Franziska Roesner, Tadayoshi Kohno, and David We This paper appears at the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDIDetecting and Defending Against Third-Party Tracking on the Web Franziska Roesner, Tadayoshi Kohno, and David We](https://www.pdfsearch.io/img/1c348bb7f6e855d467d5f73aae38d488.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2016-03-07 03:28:10
|
---|