Cis

Results: 5683



#Item
151Probabilistic Noninterference in a Concurrent Language † Dennis Volpano Computer Science Department Naval Postgraduate School Monterey, CA 93943, USA

Probabilistic Noninterference in a Concurrent Language † Dennis Volpano Computer Science Department Naval Postgraduate School Monterey, CA 93943, USA

Add to Reading List

Source URL: users.cis.fiu.edu

Language: English - Date: 2009-09-17 09:05:18
    152March 2 (Wed) Political Economy of Low Fertility and Aging 10:00-12:00

    March 2 (Wed) Political Economy of Low Fertility and Aging 10:00-12:00

    Add to Reading List

    Source URL: cis.ier.hit-u.ac.jp

    Language: English - Date: 2014-09-10 02:49:10
      153E IS Z TAYLO R AND FRAN CIS ONLINE LIBRARY A D A T B Á ZIS H O Z VALÓ HOZZÁFÉRÉSRE IRÁNYULÓ S ZO LG Á LTA T Á SI SZERZŐ D ÉS

      E IS Z TAYLO R AND FRAN CIS ONLINE LIBRARY A D A T B Á ZIS H O Z VALÓ HOZZÁFÉRÉSRE IRÁNYULÓ S ZO LG Á LTA T Á SI SZERZŐ D ÉS

      Add to Reading List

      Source URL: eisz.mtak.hu

      Language: Hungarian - Date: 2018-03-23 10:39:20
        154Journal of Computer Security–623 IOS Press 591 Improved typings for probabilistic noninterference

        Journal of Computer Security–623 IOS Press 591 Improved typings for probabilistic noninterference

        Add to Reading List

        Source URL: users.cis.fiu.edu

        Language: English - Date: 2007-01-31 09:52:22
          155Operational Significance and Robustness in Quantitative Information Flow Geoffrey Smith Florida International University

          Operational Significance and Robustness in Quantitative Information Flow Geoffrey Smith Florida International University

          Add to Reading List

          Source URL: users.cis.fiu.edu

          Language: English - Date: 2014-04-16 18:16:35
            156Microsoft Word - Book_5_Russia,CIS_2018-2020

            Microsoft Word - Book_5_Russia,CIS_2018-2020

            Add to Reading List

            Source URL: resources.krc.karelia.ru

            Language: Russian - Date: 2018-05-18 03:00:01
              157Special Q - and Z-Codes of the CIS Navy Compiled by Fritz Nusser Please note: Obviously these codes are no giveaways of the CIS Forces. They are the result of patient monitoring for many years by myself and by many other

              Special Q - and Z-Codes of the CIS Navy Compiled by Fritz Nusser Please note: Obviously these codes are no giveaways of the CIS Forces. They are the result of patient monitoring for many years by myself and by many other

              Add to Reading List

              Source URL: www.udxf.nl

              Language: English - Date: 2017-11-06 02:02:15
                158Microsoft PowerPoint - Seshia-ExCAPE-SummerSchool-Jun2015-Part1

                Microsoft PowerPoint - Seshia-ExCAPE-SummerSchool-Jun2015-Part1

                Add to Reading List

                Source URL: excape.cis.upenn.edu

                Language: English - Date: 2015-06-24 06:54:36
                  159 Camera camera = Camera.open(); camera.setDisplayOrientation(90); Camera camera = Camera.open(); camera.setDisplayOrientation(90);

                  Camera camera = Camera.open(); camera.setDisplayOrientation(90); Camera camera = Camera.open(); camera.setDisplayOrientation(90);

                  Add to Reading List

                  Source URL: excape.cis.upenn.edu

                  - Date: 2015-06-24 18:16:03
                    160Polymorphic Typing of Variables and References GEOFFREY SMITH Florida International University and DENNIS VOLPANO Naval Postgraduate School

                    Polymorphic Typing of Variables and References GEOFFREY SMITH Florida International University and DENNIS VOLPANO Naval Postgraduate School

                    Add to Reading List

                    Source URL: users.cis.fiu.edu

                    Language: English - Date: 2009-09-17 08:46:37