Systems design

Results: 11955



#Item
1Quantitative 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,

Add to Reading List

Source URL: www.prismmodelchecker.org

Language: English - Date: 2016-04-24 16:51:40
2USENIX 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)

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2017-07-14 07:19:47
3Nickel: 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

Add to Reading List

Source URL: unsat.cs.washington.edu

Language: English - Date: 2018-09-27 23:32:05
4This 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

Add to Reading List

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

Language: English - Date: 2016-03-07 03:28:10
    5Quantitative 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:

    Add to Reading List

    Source URL: deepse.dei.polimi.it

    Language: English - Date: 2015-03-19 06:25:46
    6Exploring 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

    Add to Reading List

    Source URL: wirelesslab.sjtu.edu.cn

    Language: English - Date: 2015-04-14 12:02:14
    7Nickel 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

    Add to Reading List

    Source URL: unsat.cs.washington.edu

    Language: English - Date: 2018-10-10 04:10:19
    8Appeared 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

    Add to Reading List

    Source URL: www.cs.utah.edu

    Language: English - Date: 2000-10-30 16:55:50
    9c 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

    Add to Reading List

    Source URL: www.usenix.org

    Language: English - Date: 2017-07-14 07:19:47