1![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
|
---|
2![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
|
---|
3![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
|
---|
4![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
|
---|
5![Quantitative Stochastic Models in the Verification and Design of Software Systems IMPORTANT DATES. Submission of papers: Extended) Notification of acceptance: Camera-ready paper: Quantitative Stochastic Models in the Verification and Design of Software Systems IMPORTANT DATES. Submission of papers: Extended) Notification of acceptance: Camera-ready paper:](https://www.pdfsearch.io/img/2c9f19a1d53f73da9045912ec5cb137b.jpg) | Add to Reading ListSource URL: deepse.dei.polimi.itLanguage: English - Date: 2015-03-19 06:25:46
|
---|
6![Exploring Adaptive Reconfiguration to Optimize Energy Efficiency in Large-Scale Battery Systems Liang He1 , Lipeng Gu2 , Linghe Kong1, Yu Gu1 , Cong Liu3 , Tian He4 1 Singapore University of Technology and Design, Singap Exploring Adaptive Reconfiguration to Optimize Energy Efficiency in Large-Scale Battery Systems Liang He1 , Lipeng Gu2 , Linghe Kong1, Yu Gu1 , Cong Liu3 , Tian He4 1 Singapore University of Technology and Design, Singap](https://www.pdfsearch.io/img/8939c841e98c0f19ed24f46e5612e8ef.jpg) | Add to Reading ListSource URL: wirelesslab.sjtu.edu.cnLanguage: English - Date: 2015-04-14 12:02:14
|
---|
7![Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang](https://www.pdfsearch.io/img/52151604842f77fff04be8da529c23f8.jpg) | Add to Reading ListSource URL: unsat.cs.washington.eduLanguage: English - Date: 2018-10-10 04:10:19
|
---|
8![Appeared in Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), pages 347–360, San Diego, CA, October 23–25, 2000. Knit: Component Composition for Systems Software Alastair Appeared in Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), pages 347–360, San Diego, CA, October 23–25, 2000. Knit: Component Composition for Systems Software Alastair](https://www.pdfsearch.io/img/bb037355f950b827c7aa792f6df2cbd9.jpg) | Add to Reading ListSource URL: www.cs.utah.eduLanguage: English - Date: 2000-10-30 16:55:50
|
---|
9![c onfer e nc e p roceedi ngs Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation Santa Clara, CA, USA March 16–18, 2016 ISBN4 c onfer e nc e p roceedi ngs Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation Santa Clara, CA, USA March 16–18, 2016 ISBN4](https://www.pdfsearch.io/img/32507f3e3950606adba974d6ab723996.jpg) | Add to Reading ListSource URL: www.usenix.orgLanguage: English - Date: 2017-07-14 07:19:47
|
---|