Automatic

Results: 19792



#Item
431

Automatic and Robust Client-Side Protection for Cookie-Based Sessions Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, and Wilayat Khan Universit` a Ca’ Foscari Venezia {michele,calzavara,focardi,khan}@dais.unive

Add to Reading List

Source URL: www.dais.unive.it

- Date: 2015-10-21 08:22:43
    432

    Automatic Software Verification  Ex. 1: SAT and SMT  Due       Code 

    Add to Reading List

    Source URL: www.cs.tau.ac.il

    - Date: 2015-03-31 11:59:58
      433

      Strider: Automatic Rate Adaptation and Collision Handling Aditya Gudipati, Sachin Katti Stanford University {adityag1,skatti}@stanford.edu

      Add to Reading List

      Source URL: www.stanford.edu

      - Date: 2011-06-25 17:40:33
        434

        Automatic Verification of Data Race Freedom in Device Drivers∗ (Extended Abstract) Pantazis Deligiannis and Alastair F. Donaldson Imperial College London {p.deligiannis, alastair.donaldson}@imperial.ac.uk Abstract

        Add to Reading List

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

        - Date: 2015-07-01 17:41:47
          435

          DEKALB COUNTY, GEORGIA DEPARTMENT OF FINANCE – UTILITY CUSTOMER OPERATIONS ACH RECURRING PAYMENT AUTHORIZATION FORM Dear Customer, Thank you for your interest in our automatic debit program for your DeKalb County Water

          Add to Reading List

          Source URL: www.dekalbcountyga.gov

          - Date: 2016-10-05 16:58:36
            436

            Beat the MTurkers: Automatic Image Labeling from Weak 3D Supervision Liang-Chieh Chen1 Sanja Fidler2,3 Alan L. Yuille1 Raquel Urtasun2,3 1

            Add to Reading List

            Source URL: www.cv-foundation.org

            - Date: 2014-05-18 15:54:11
              437

              Automatic Software Verification Instructor: Mooly Sagiv TA: Oded Padon Slides from Eran Yahav and the Noun Project, Wikipedia

              Add to Reading List

              Source URL: www.cs.tau.ac.il

              - Date: 2015-03-10 03:57:45
                438

                Creating Collections with Automatic Suggestions and Example-Based Refinement Adrian Secord1 , Holger Winnem¨oller2 , Wilmot Li2 , Mira Dontcheva2 1 New York University

                Add to Reading List

                Source URL: www.cs.nyu.edu

                - Date: 2010-10-06 14:54:53
                  439

                  MATHEMATICAL ENGINEERING TECHNICAL REPORTS An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo

                  Add to Reading List

                  Source URL: www.keisu.t.u-tokyo.ac.jp

                  - Date: 2013-02-20 20:00:01
                    440

                    AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS

                    Add to Reading List

                    Source URL: www.avacs.org

                    - Date: 2011-01-07 05:03:38
                      UPDATE