Driven

Results: 9744



#Item
381

Higher-Order Demand-Driven Program Analysis Zachary Palmer1 and Scott F. Smith2 Ar tifact

Add to Reading List

Source URL: pl.cs.jhu.edu

- Date: 2016-05-24 10:56:29
    382

    Event Actors Based Approach for Supporting Analysis and Verification of Event-Driven Architectures Huy Tran and Uwe Zdun Software Architecture Research Group University of Vienna, Austria. Email: huy.tran|uwe.zdun@univie

    Add to Reading List

    Source URL: eprints.cs.univie.ac.at

    - Date: 2013-12-19 04:37:54
      383

      Preface Inverse problems arise from the need to interpret indirect and incomplete measurements. As an area of contemporary mathematics, the field of inverse problems is strongly driven by applications and has been growin

      Add to Reading List

      Source URL: www.siam.org

      - Date: 2016-02-12 15:30:53
        384

        Optimally Discriminative Choice Sets in Discrete Choice Models: Application to Data-Driven Test Design Igor Labutov Frans Schalekamp

        Add to Reading List

        Source URL: www.kdd.org

        - Date: 2016-07-03 17:14:52
          385

          Advanced Conflict-Driven Disjunctive Answer Set Solving Martin Gebser and Benjamin Kaufmann and Torsten Schaub∗ Universit¨at Potsdam, Germany Abstract We introduce a new approach to disjunctive ASP

          Add to Reading List

          Source URL: www.cs.uni-potsdam.de

          - Date: 2013-05-10 07:09:25
            386

            The ContractLog Approach Towards Test-driven Verification and Validation of Rule Bases - A Homogeneous Integration of Test Cases and Integrity Constraints into Evolving Logic Programs and Rule Markup Languages (RuleML)

            Add to Reading List

            Source URL: rbsla.ruleml.org

            - Date: 2013-12-20 11:58:09
              387

              Requirements-driven Testing of Domain-specific Core Language Models using Scenarios Stefan Sobernig∗ , Bernhard Hoisl∗† , and Mark Strembeck∗† ∗ Institute

              Add to Reading List

              Source URL: wi.wu.ac.at

              - Date: 2015-02-14 09:46:23
                388

                PHYSICAL REVIEW B 72, 064505 共2005兲 Continuous-time Monte Carlo and spatial ordering in driven lattice gases: Application to driven vortices in periodic superconducting networks Violeta Gotcheva,* Yanting Wang,† A

                Add to Reading List

                Source URL: power.itp.ac.cn

                - Date: 2010-03-04 09:33:47
                  389

                  Model-driven Privacy Assessment in the Smart Grid Fabian Knirsch∗ , Dominik Engel∗ , Christian Neureiter∗ , Marc Frincu† and Viktor Prasanna† ∗ Josef Ressel Center for User-Centric Smart Grid Privacy, Securit

                  Add to Reading List

                  Source URL: ganges.usc.edu

                  - Date: 2015-01-24 19:02:07
                    390

                    Media Kit ABOUT Fast Company inspires a purpose-driven network of innovators who embrace a common vision that business should be a force

                    Add to Reading List

                    Source URL: infographics.fastcompany.com

                    - Date: 2016-11-21 16:25:12
                      UPDATE