Tom

Results: 21196



#Item
21Automatically Calculating Quantitative Integrity Measures for Imperative Programs Tom Chothia1 , Chris Novakovic1 , and Rajiv Ranjan Singh2 1 2

Automatically Calculating Quantitative Integrity Measures for Imperative Programs Tom Chothia1 , Chris Novakovic1 , and Rajiv Ranjan Singh2 1 2

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2017-06-07 20:45:26
22c Copyright 2014 Tom Bergan Avoiding State-Space Explosion in Multithreaded Programs with

c Copyright 2014 Tom Bergan Avoiding State-Space Explosion in Multithreaded Programs with

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2014-03-11 15:06:20
23Calculating Quantitative Integrity and Security for Imperative Programs Tom Chothia1 , Chris Novakovic1 , and Rajiv Ranjan Singh2 1 2

Calculating Quantitative Integrity and Security for Imperative Programs Tom Chothia1 , Chris Novakovic1 , and Rajiv Ranjan Singh2 1 2

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2017-06-07 20:45:26
24LeakWatch: Estimating Information Leakage from Java Programs Tom Chothia1 , Yusuke Kawamoto2? , and Chris Novakovic1 1 School of Computer Science, University of Birmingham, UK

LeakWatch: Estimating Information Leakage from Java Programs Tom Chothia1 , Yusuke Kawamoto2? , and Chris Novakovic1 1 School of Computer Science, University of Birmingham, UK

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2017-06-07 20:45:26
25Trading Performance for Stability in Markov Decision Processes Tom´asˇ Br´azdil∗ , Krishnendu Chatterjee† , Vojtˇech Forejt‡∗ , and Anton´ın Kuˇcera∗ ∗ Faculty of Informatics, Masaryk University ({xbr

Trading Performance for Stability in Markov Decision Processes Tom´asˇ Br´azdil∗ , Krishnendu Chatterjee† , Vojtˇech Forejt‡∗ , and Anton´ın Kuˇcera∗ ∗ Faculty of Informatics, Masaryk University ({xbr

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2013-12-01 11:02:39
    26LDOW2016: 9th Workshop on Linked Data on the Web Sören Auer Tom Heath University of Bonn, DE

    LDOW2016: 9th Workshop on Linked Data on the Web Sören Auer Tom Heath University of Bonn, DE

    Add to Reading List

    Source URL: gdac.uqam.ca

    Language: English - Date: 2017-10-04 00:22:21
    27Assessing the interconnectedness between cross-border shadow banking systems Tom Fong Hong Kong Monetary Authority Angela Sze

    Assessing the interconnectedness between cross-border shadow banking systems Tom Fong Hong Kong Monetary Authority Angela Sze

    Add to Reading List

    Source URL: www.hkimr.org

    Language: English - Date: 2018-02-09 01:13:00
    28The Satisfiability Problem for Probabilistic CTL Tom´asˇ Br´azdil Vojtˇech Forejt Jan Kˇret´ınsk´y

    The Satisfiability Problem for Probabilistic CTL Tom´asˇ Br´azdil Vojtˇech Forejt Jan Kˇret´ınsk´y

    Add to Reading List

    Source URL: qav.comlab.ox.ac.uk

    Language: English - Date: 2013-12-01 09:35:38
    29Results from Tom K. Wong1 et al., 2018 National DACA Study Survey fieldedton = 1,050 Methodology Economic Integration

    Results from Tom K. Wong1 et al., 2018 National DACA Study Survey fieldedton = 1,050 Methodology Economic Integration

    Add to Reading List

    Source URL: cdn.americanprogress.org

    Language: English - Date: 2018-08-13 16:15:51
    30Reachability in Recursive Markov Decision Processes ? Tom´aˇs Br´azdil, V´aclav Broˇzek, Vojtˇech Forejt, Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, Botanick´

    Reachability in Recursive Markov Decision Processes ? Tom´aˇs Br´azdil, V´aclav Broˇzek, Vojtˇech Forejt, Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, Botanick´

    Add to Reading List

    Source URL: qav.comlab.ox.ac.uk

    Language: English - Date: 2013-12-01 06:33:37