UWE-1

Results: 304



#Item
31

Offload – Automating Code Migration to Heterogeneous Multicore Systems Pete Cooper1 , Uwe Dolinsky1, Alastair F. Donaldson2, Andrew Richards1 , Colin Riley1 , and George Russell1 1

Add to Reading List

Source URL: www.doc.ic.ac.uk

- Date: 2012-08-31 08:16:45
    32

    Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination? Florian Lonsing1 , Fahiem Bacchus2 , Armin Biere3 , Uwe Egly1 , and Martina Seidl3 1

    Add to Reading List

    Source URL: www.kr.tuwien.ac.at

    - Date: 2015-10-06 05:24:28
      33

      A Lambda-Free Higher-Order Recursive Path Order Jasmin Christian Blanchette1,2,3 , Uwe Waldmann3 , and Daniel Wand3,4 1 Vrije Universiteit Amsterdam, the Netherlands Inria Nancy – Grand Est, Villers-lès-Nancy, France

      Add to Reading List

      Source URL: people.mpi-inf.mpg.de

      - Date: 2016-12-19 05:45:29
        34

        Enabling Flexibility of Business Processes by Compliance Rules A Case Study from the Insurance Industry Thanh Tran Thi Kim1, Erhard Weiss1, Christoph Ruhsam1 Christoph Czepa2, Huy Tran2, Uwe Zdun2 1

        Add to Reading List

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

        - Date: 2015-07-20 04:49:07
          35

          B4 A Pattern Language for Service-based Platform Integration and Adaptation Ioanna Lytra1 , Stefan Sobernig2 , Huy Tran1 , Uwe Zdun1 1

          Add to Reading List

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

          - Date: 2014-04-17 05:38:55
            36

            A Pattern Language for Service-based Platform Integration and Adaptation Ioanna Lytra1 , Stefan Sobernig2 , Huy Tran1 , Uwe Zdun1 1 2

            Add to Reading List

            Source URL: nm.wu-wien.ac.at

            - Date: 2012-11-07 16:51:25
              37

              Towards Structural Consistency Checking in Adaptive Case Management Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1

              Add to Reading List

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

              - Date: 2015-10-20 10:26:25
                38

                Architectural Decision Making for Service-Based Platform Integration: A Qualitative Multi-Method Study Ioanna Lytra1 , Stefan Sobernig2 , Uwe Zdun1 1 Faculty of Computer Science

                Add to Reading List

                Source URL: nm.wu-wien.ac.at

                - Date: 2012-11-05 10:17:53
                  39

                  Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1

                  Add to Reading List

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

                  - Date: 2016-05-27 09:10:59
                    40

                    Steuerungsbackground vom Nutzerunternehmen Impulsreferat von Uwe Antz, BASIC Facility Management 1 Einführung Der Facility Manager als eierlegende Wollmilchsau?

                    Add to Reading List

                    Source URL: www.i2fm.de

                    - Date: 2015-11-26 10:58:44
                      UPDATE