Abstraction

Results: 2720



#Item
601

Syntactic Abstraction in Component Interfaces Ryan Culpepper1 , Scott Owens2 , and Matthew Flatt2 1 2

Add to Reading List

Source URL: www.cs.utah.edu

- Date: 2005-09-02 17:32:26
    602

    BRICS Basic Research in Computer Science BRICS RSNygaard & Winskel: Full Abstraction for HOPLA Full Abstraction for HOPLA

    Add to Reading List

    Source URL: www.brics.dk

    - Date: 2004-01-23 09:27:06
      603

      Full Abstraction for PCF with Choice Full Abstraction for Non-Deterministic and Probabilistic Extensions of PCF Jean Goubault-Larrecq

      Add to Reading List

      Source URL: www.lsv.ens-cachan.fr

      - Date: 2013-10-18 05:14:22
        604

        FOR IMMEDIATE RELEASE CONTACT: Dalia Reyes, THE DETROIT ARTISTS MARKET ANNOUNCES ABSTRACTION: ARTIST|VIEWER|DIALOG

        Add to Reading List

        Source URL: detroitartistsmarket.org

        - Date: 2015-04-04 16:15:12
          605

          Design Patterns & iOS From abstraction to real value Marcin Iwanicki @marciniwanicki – marciniwanicki.com - marciniwanicki.dev (skype)

          Add to Reading List

          Source URL: www.lodzwiosluje.com

          - Date: 2015-03-17 07:53:32
            606

            Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction Paul Feautrier, Abdoulaye Gamati´e, Laure Gonnord To cite this version:

            Add to Reading List

            Source URL: hal.archives-ouvertes.fr

            - Date: 2015-06-17 10:42:21
              607

              Splendid Isolation: A Slice Abstraction for Software-Defined Networks Stephen Gutz Alec Story

              Add to Reading List

              Source URL: conferences.sigcomm.org

              - Date: 2012-07-10 10:25:10
                608

                Water scarcity and drought in the Mediterranean The balance between water demand and availability has reached a critical level in many southern areas of Europe, the result of over-abstraction and prolonged periods of

                Add to Reading List

                Source URL: changemagazine.nl

                Language: English - Date: 2013-03-21 07:36:47
                  609

                  Spatial Extension Progress ● Language support libSBML 3.1 C++ extensions (abandoned) ● Java Abstraction Layer (libSBML/VCell) (abandoned)

                  Add to Reading List

                  Source URL: sbml.org

                  Language: English - Date: 2009-09-07 02:16:49
                    610

                    London H-3: Comparison of Modelled Ground Motions, due to Groundwater Abstraction, with PS Terrain Motions TERRAFIRMA 5th User Workshop, ESA 25th – 26th March 2009

                    Add to Reading List

                    Source URL: www.terrafirma.eu.com

                    Language: English - Date: 2010-12-22 09:20:13
                      UPDATE