Containment

Results: 3356



#Item
21

Counterexample Analysis for Supporting Containment Checking of Business Process Models Faiz UL Muram, Huy Tran, Uwe Zdun Software Architecture Group University of Vienna, Austria. faiz.ulmuram|huy.tran|

Add to Reading List

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

- Date: 2015-08-23 04:36:51
    22

    A Graph-Based Approach for Containment Checking of

    Add to Reading List

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

    - Date: 2015-11-22 23:36:35
      23

      Faster parameterized algorithms for minor containment

      Add to Reading List

      Source URL: users.uoa.gr

      - Date: 2014-06-11 17:30:32
        24

        International Journal of Foundations of Computer Science c World Scientific Publishing Company ° FINDING SMALLEST SUPERTREES UNDER MINOR CONTAINMENT ∗†

        Add to Reading List

        Source URL: users.uoa.gr

        - Date: 2014-06-11 17:30:32
          25

          Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking Faiz UL Muram Huy Tran

          Add to Reading List

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

          - Date: 2014-06-03 10:24:10
            26

            Efficient Computation of Containment and Complementarity in RDF Data Cubes Marios Meimaris George Papastefanatos

            Add to Reading List

            Source URL: openproceedings.org

            - Date: 2016-04-12 08:50:25
              27

              SUM OF SQUARES CERTIFICATES FOR CONTAINMENT OF H-POLYTOPES IN V-POLYTOPES KAI KELLNER AND THORSTEN THEOBALD Abstract. Given an H-polytope P and a V-polytope Q, the decision problem whether P is contained in Q is co-NP-co

              Add to Reading List

              Source URL: www.math.uni-frankfurt.de

              - Date: 2016-02-20 10:25:47
                28

                Axioms for parthood and containment relations in bio-ontologies Thomas Bittner Institute for Formal Ontology and Medical Information Science University of Leipzig

                Add to Reading List

                Source URL: www.acsu.buffalo.edu

                - Date: 2004-06-10 06:15:22
                  29

                  Epistemic Containment and the distribution of quantifiers Micha¨el Gagnon & Alexis Wellwood University of Maryland Can quantifiers ‘bind their trace across an epistemic modal’ (the Epistemic Containment Principle [E

                  Add to Reading List

                  Source URL: www.macsim.us

                  - Date: 2011-06-24 13:35:02
                    30

                    COVER PAGE Title of Design: Twice Repurposed Crumb Rubber as a Jet Fuel Solidifier Design Challenge addressed: III. Airport Environmental Interactions B. Improving methods for containment and cleanup of fuel spills Unive

                    Add to Reading List

                    Source URL: vsgc.odu.edu

                    - Date: 2015-06-08 11:21:25
                      UPDATE