Information systems

Results: 51293



#Item
1Nickel: 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
2Location map Eichenweg 1, Zollikofen  Federal Office of Information Technology, Systems and Telecommunication FOITT Arrival by public transportation

Location map Eichenweg 1, Zollikofen Federal Office of Information Technology, Systems and Telecommunication FOITT Arrival by public transportation

Add to Reading List

Source URL: www.bit.admin.ch

    3LEGAL KNOWLEDGE AND INFORMATION SYSTEMS  Frontiers in Artificial Intelligence and Applications The book series Frontiers in Artificial Intelligence and Applications (FAIA) covers all aspects of theoretical and applied A

    LEGAL KNOWLEDGE AND INFORMATION SYSTEMS Frontiers in Artificial Intelligence and Applications The book series Frontiers in Artificial Intelligence and Applications (FAIA) covers all aspects of theoretical and applied A

    Add to Reading List

    Source URL: orbilu.uni.lu

    Language: English - Date: 2017-12-20 09:25:07
    4LECTURE 2 Information theory for complex systems Stefan Thurner www.complex-systems.meduniwien.ac.at

    LECTURE 2 Information theory for complex systems Stefan Thurner www.complex-systems.meduniwien.ac.at

    Add to Reading List

    Source URL: www.cbpf.br

    Language: English - Date: 2016-05-06 13:29:49
    5The 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

    Add to Reading List

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

    Language: English - Date: 2016-01-15 12:55:59
    6For more information, visit: www.caci.com/Business_Systems Business Systems  With our deep customer understanding, proven technological expertise, Agile methodologies, and practical experience implementing

    For more information, visit: www.caci.com/Business_Systems Business Systems With our deep customer understanding, proven technological expertise, Agile methodologies, and practical experience implementing

    Add to Reading List

    Source URL: www.caci.com

    Language: English - Date: 2018-06-28 12:50:34
    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
    8Location map Monbijoustrasse 74, Bern  Federal Office of Information Technology, Systems and Telecommunication FOITT Arrival by public transportation

    Location map Monbijoustrasse 74, Bern Federal Office of Information Technology, Systems and Telecommunication FOITT Arrival by public transportation

    Add to Reading List

    Source URL: www.bit.admin.ch

      9Computer Science_BS_Information Systems.pdf

      Computer Science_BS_Information Systems.pdf

      Add to Reading List

      Source URL: catalog.southernct.edu

      Language: English - Date: 2018-10-06 18:04:21
      10Abstract Interpretation over Non-Lattice Abstract Domains Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey Department of Computing and Information Systems, The University of Melbour

      Abstract Interpretation over Non-Lattice Abstract Domains Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey Department of Computing and Information Systems, The University of Melbour

      Add to Reading List

      Source URL: jorgenavas.github.io

      Language: English - Date: 2018-10-25 12:43:22