Instantiation

Results: 71



#Item
31

An instantiation of the Cramer-Shoup encryption paradigm using bilinear map groups David Galindo1 , Jorge L. Villar2 1 2

Add to Reading List

Source URL: www.dgalindo.es

Language: English - Date: 2007-11-26 10:35:09
    32

    Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies Silvio Ghilardi1 , Enrica Nicolini2 , Silvio Ranise13 , and Daniele Zucchelli13 1 2

    Add to Reading List

    Source URL: www.loria.fr

    Language: English - Date: 2006-05-16 04:26:22
      33

      Appeared in the 3rd IEEE Symposium on Security in Networks and Distributed Systems, 2007, pp. 463–469. Random Oracle Instantiation in Distributed Protocols Using Trusted Platform Modules Vandana Gunupudi

      Add to Reading List

      Source URL: www.uncg.edu

      Language: English - Date: 2009-10-01 13:51:14
        34

        Parallel Instantiation in DLV⋆ Simona Perri, Francesco Ricca, and Marco Sirianni Dipartimento di Matematica, Universit`a della Calabria, 87030 Rende, Italy {perri,ricca,sirianni}@mat.unical.it Abstract. Answer Set Pro

        Add to Reading List

        Source URL: ceur-ws.org

        Language: English - Date: 2010-06-09 06:50:04
          35

          Counterexample-Guided Quantifier Instantiation for Synthesis in SMT? ?? a ct * Consi

          Add to Reading List

          Source URL: lara.epfl.ch

          Language: English - Date: 2015-06-02 06:29:57
            36Software engineering / Computer programming / Programming language theory / Smalltalk / Pharo / Squeak / Seaside / Extension method / Draft:Cuis Smalltalk

            Experience Report: Porting Packages from Pharo to VA Smalltalk John O’Keefe Principal Smalltalk Architect Instantiation, Inc.

            Add to Reading List

            Source URL: www.objektfabrik.de

            Language: English - Date: 2015-04-20 07:47:57
            37

            Deciding Array Formulas with Frugal Axiom Instantiation Amit Goel1 , Sava Krsti´c1 , and Alexander Fuchs2 1 Strategic CAD Labs, Intel Corporation

            Add to Reading List

            Source URL: www.csee.ogi.edu

            Language: English - Date: 2008-12-15 17:42:24
              38

              C LOS Efficiency: Instantiation On the Behavior and Performance of L ISP, Part 2.1 Didier Verna E PITA Research and Development Laboratory 14–16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France

              Add to Reading List

              Source URL: www.lrde.epita.fr

              Language: English - Date: 2009-03-30 06:12:47
                39

                Model Definition Model Instantiation Model Construction

                Add to Reading List

                Source URL: www.multitel.be

                Language: English - Date: 2009-01-20 08:12:33
                  40

                  Efficiency of Instantiation Didier Verna Introduction Experiments

                  Add to Reading List

                  Source URL: www.lrde.epita.fr

                  Language: English - Date: 2009-04-06 03:19:53
                    UPDATE