Computer

Results: 301026



#Item
511

Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics,

Add to Reading List

Source URL: xavierleroy.org

Language: English - Date: 2018-08-01 14:49:25
    512

    Secure Authentication in the Grid: A formal analysis of DNP3: SAv5 Cas Cremers, Martin Dehnel-Wild, Kevin Milner Department of Computer Science, University of Oxford. {cas.cremers,martin.dehnel-wild,kevin.milner}@cs.ox.a

    Add to Reading List

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

    Language: English - Date: 2017-06-22 17:04:38
      513

      Joseph Weizenbaum „Ich bin kein Computerkritiker. Dieser Begriff ist sinnlos. Computer können mit Kritik nichts anfangen. Nein, ich bin Gesellschaftskritiker. Es geht mir um

      Add to Reading List

      Source URL: www.fiff.de

      Language: German - Date: 2018-05-16 15:01:20
        514

        Appendix B  Administrative Cost Estimates of Implementing a Toll Discount  Program for Low Income Customers  December 2014  Prepared by  Computer Aid, Inc. (CAI, Inc.) 

        Add to Reading List

        Source URL: riverlink.com

        Language: English - Date: 2018-01-31 10:45:50
          515

          Conditional Anomaly Detection Using Soft Harmonic Functions: An Application to Clinical Alerting Michal Valko Computer Science Department, University of Pittsburgh, PA

          Add to Reading List

          Source URL: www.bkveton.com

          Language: English - Date: 2018-07-29 15:59:24
            516

            Towards Accelerated Usage Control Based on Access Correlations Richard Gay, Jinwei Hu, Heiko Mantel, and Johannes Schickel Department of Computer Science, TU Darmstadt, Germany

            Add to Reading List

            Source URL: www.mais.informatik.tu-darmstadt.de

            Language: English - Date: 2017-11-06 04:54:01
              517

              Next-Term Student Performance Prediction: A Recommender Systems Approach∗ Mack Sweeney Computer Science George Mason University

              Add to Reading List

              Source URL: www.educationaldatamining.org

              Language: English - Date: 2016-06-29 00:06:22
                518

                MONTHLY MAY NEWS 2017 The Code VW Used to Cheat Emissions Tests UC San Diego computer scientists and colleagues at Ruhr University have uncovered the mechanism that allowed Volkswagen to circumvent U.S. and European emis

                Add to Reading List

                Source URL: jacobsschool.ucsd.edu

                Language: English - Date: 2017-05-25 14:55:26
                  519

                  1 Cloning your Gadgets: Complete ROP Attack Immunity with Multi-Variant Execution Stijn Volckaert, Bart Coppens, and Bjorn De Sutter, Member, IEEE Computer Society Abstract—In this paper, we present Disjoint Code Layo

                  Add to Reading List

                  Source URL: users.elis.ugent.be

                  Language: English - Date: 2016-12-30 10:54:51
                    520

                    DC Proposal: Automation of Service lifecycle on the Cloud by using Semantic technologies Karuna P. Joshi Advisor: Dr. Yelena Yesha, Dr. Tim Finin Computer Science and Electrical Engineering University of Maryland, Baltim

                    Add to Reading List

                    Source URL: iswc2011.semanticweb.org

                    Language: English - Date: 2011-09-14 12:48:21
                      UPDATE