Assertion

Results: 1026



#Item
111

1 Evaluating Security Requirements in a General-Purpose Processor by Combining Assertion Checkers with Code Coverage Michael Bilzor∗ , Ted Huffmire† , Cynthia Irvine† , Tim Levin†

Add to Reading List

Source URL: cisr.nps.edu

Language: English - Date: 2012-10-30 13:43:13
    112

    Conditional Information Flow Amtoft et al 2-Assertion Logic Inference Algorithm

    Add to Reading List

    Source URL: crest.cs.ucl.ac.uk

    Language: English - Date: 2012-05-11 03:17:04
      113

      TICKET-FIXING: THE ASSERTION OF INFLUENCE IN TRAFFIC CASES INTERIM REPORT BY THE

      Add to Reading List

      Source URL: cjc.ny.gov

      Language: English - Date: 2013-05-28 12:11:08
        114

        Lewis Signaling Games | Directive/Assertion Distinction | A New Game The Evolution of Directives and Assertions Kevin J.S. Zollman Carnegie Mellon University

        Add to Reading List

        Source URL: www.andrew.cmu.edu

        Language: English - Date: 2015-10-22 14:27:47
          115

          Functional Dependencies 1 Functional Dependencies §  X →Y is an assertion about a relation R that

          Add to Reading List

          Source URL: www.imada.sdu.dk

          Language: English - Date: 2012-02-17 12:41:54
            116

            1 Proof of Theorem 1 The first assertion is a direct consequence of Lemma 3.3 and Corollary 4.1 of [2]. The second assertion is based on an Assouad’s type lower bound ([1, InequalityLet y2 = 2a − y1 and

            Add to Reading List

            Source URL: certis.enpc.fr

            Language: English - Date: 2010-01-21 09:34:07
              117

              Testimony of Lee Cheng, Newegg, Inc., Hearing on “The Impact of Patent Assertion Entities on Innovation and the Economy,” Subcommittee on Oversight and Investigations (November 14, 2013)

              Add to Reading List

              Source URL: democrats.energycommerce.house.gov

              Language: English
                118

                Newsletter of the Freudian Field: Fall 1988 Volume 2, Number 2 Jacques Lacan Logical Time and the Assertion of Anticipated Certainty: A New Sophism In March 1945, Christian Zervos asked us to contribute, along with a ce

                Add to Reading List

                Source URL: ect.humnet.ucla.edu

                Language: English - Date: 2010-04-21 17:07:54
                  119

                  PATENT TROLLS HARM AMERICAN INDUSTRY AND INNOVATION PROMPT ACTION IS NEEDED NOW THE PROBLEM Patent assertion entities (PAEs) abuse our patent system, destroy American jobs, and are a hidden tax on our most innovative pro

                  Add to Reading List

                  Source URL: internetassociation.org

                  Language: English - Date: 2013-12-04 09:04:24
                    120

                    3 Security Assertion Markup Language (SAML) V2.0 Technical Overview 4

                    Add to Reading List

                    Source URL: www.oasis-open.org

                    Language: English
                      UPDATE