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![Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK](https://www.pdfsearch.io/img/275b93b15cf7e9fdf023ac6ff2c8bd00.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2012-05-10 09:21:59
|
---|
3![Vector Lane Threading S. Rivoire, R. Schultz, T. Okuda, C. Kozyrakis Computer Systems Laboratory Stanford University Vector Lane Threading S. Rivoire, R. Schultz, T. Okuda, C. Kozyrakis Computer Systems Laboratory Stanford University](https://www.pdfsearch.io/img/da302edb6371cee89324fbe4cc076ec5.jpg) | Add to Reading ListSource URL: rivoire.cs.sonoma.eduLanguage: English - Date: 2017-05-29 18:44:50
|
---|
4![The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin](https://www.pdfsearch.io/img/9b249e40f023970a1a04cd88fb167811.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-08-02 12:35:21
|
---|
5![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 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](https://www.pdfsearch.io/img/7161a03948feb50f4955f33e78f31cdf.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2018-04-25 11:34:42
|
---|
6![Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK](https://www.pdfsearch.io/img/d3806e7796914b021a0865e272fe5394.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2012-01-06 05:40:55
|
---|
7![A Security Analysis of Police Computer Systems Benjamin VanderSloot∗ Stuart Wheaton∗ J. Alex Halderman A Security Analysis of Police Computer Systems Benjamin VanderSloot∗ Stuart Wheaton∗ J. Alex Halderman](https://www.pdfsearch.io/img/3d33578d372537266f28b54d96f3aac8.jpg) | Add to Reading ListSource URL: benvds.comLanguage: English - Date: 2018-09-18 11:06:16
|
---|
8![The Protection of Information in Computer Systems JEROME H. SALTZER, SENIOR MEMBER, IEEE, AND MICHAEL D. SCHROEDER, MEMBER, IEEE Invited Paper Abstract - This tutorial paper explores the mechanics of The Protection of Information in Computer Systems JEROME H. SALTZER, SENIOR MEMBER, IEEE, AND MICHAEL D. SCHROEDER, MEMBER, IEEE Invited Paper Abstract - This tutorial paper explores the mechanics of](https://www.pdfsearch.io/img/ec7e882cb789d2a67159c4de1473ab5a.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2016-01-15 12:55:59
|
---|
9![University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ](https://www.pdfsearch.io/img/7ae1d03716df140b9fe29ad7441e8763.jpg) | Add to Reading ListSource URL: db.cs.washington.eduLanguage: English - Date: 2018-10-11 15:27:57
|
---|
10![Computer Science_BS_Information Systems.pdf Computer Science_BS_Information Systems.pdf](https://www.pdfsearch.io/img/cbb4662494a800e4f7f838d86d8d2cf2.jpg) | Add to Reading ListSource URL: catalog.southernct.eduLanguage: English - Date: 2018-10-06 18:04:21
|
---|