Declarative

Results: 769



#Item
41

Dataflow Testing of Declarative Programs Herbert Kuchen University of Münster Germany

Add to Reading List

Source URL: www-ps.informatik.uni-kiel.de

- Date: 2014-06-15 10:44:26
    42

    Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics Christoph Wernhard Technische Universit¨ at Dresden

    Add to Reading List

    Source URL: cs.christophwernhard.com

    - Date: 2013-04-05 11:51:04
      43

      Mignis: a tool for declarative firewall configuration Riccardo Focardi joint work with Pedro Ad˜ ao, Claudio Bozzato, Gian-Luca Dei Rossi and Flaminia L. Luccio

      Add to Reading List

      Source URL: secgroup.dais.unive.it

      - Date: 2016-04-06 05:09:51
        44

        Declarative techniques in Distributed Media Center system Position paper for W3C Workshop on Declarative Models of Distributed Web Applications 5-6 June 2007, Dublin, Ireland Jari Kleimola and Petri Vuorimaa Helsinki Uni

        Add to Reading List

        Source URL: www.w3.org

        - Date: 2007-05-02 13:40:10
          45

          Chapter 14 Improving Push-based FRP Wolfgang Jeltsch1 Category: Research Abstract: Push-based implementations of Functional Reactive Programming allow for writing reactive programs in a declarative style and execute the

          Add to Reading List

          Source URL: www.ioc.ee

          - Date: 2012-04-24 14:50:32
            46

            FatTire: Declarative Fault Tolerance for Software-Defined Networks Mark Reitblatt Marco Canini

            Add to Reading List

            Source URL: www.cs.cornell.edu

            - Date: 2013-06-13 09:26:13
              47

              Weaker Forms of Monotonicity for Declarative Networking: a More Fine-grained Answer to the CALM-conjecture ∗ Tom J. Ameloot

              Add to Reading List

              Source URL: alpha.uhasselt.be

              - Date: 2014-05-17 11:07:08
                48

                Learning Declarative Bias Will Bridewell1 and Ljupˇco Todorovski1,2 1 Computational Learning Laboratory, Center for the Study of Language and Information,

                Add to Reading List

                Source URL: cll.stanford.edu

                - Date: 2007-07-31 13:46:18
                  49

                  Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem Bernhard Bliem, Reinhard Pichler, and Stefan Woltran Institute of Information Systems, Vienna University of Technology {bliem, pichle

                  Add to Reading List

                  Source URL: dbai.tuwien.ac.at

                  - Date: 2013-09-24 06:14:24
                    50

                    Correct-by-Construction Interactive Software: From Declarative Specifications to Efficient Implementations Kyle Headley Matthew A. Hammer

                    Add to Reading List

                    Source URL: conf.researchr.org

                      UPDATE