Tool

Results: 33645



#Item
621

Toward Tool Support for Interactive Synthesis Shaon Barman1 1 Rastislav Bodik1 Satish Chandra2

Add to Reading List

Source URL: homes.cs.washington.edu

- Date: 2017-06-23 18:20:16
    622

    WSInject A Fault Injection Tool for Testing Web Services Composition Fayçal Bessayah, Ana Cavalli - IT/Telecom SudParis, FRANCE

    Add to Reading List

    Source URL: www2010.taicpart.org

    - Date: 2010-09-06 03:49:36
      623

      Tool Being Evaluated: Curating Tool Functionality Ratinglow, 5 high)

      Add to Reading List

      Source URL: curatingisthecure.wikispaces.com

      - Date: 2014-02-17 14:39:02
        624

        F1000Research 2013, 2:191 Last updated: 23 JANWEB TOOL taxize: taxonomic search and retrieval in R [v2; ref status: indexed, http://f1000r.es/24v]

        Add to Reading List

        Source URL: scottchamberlain.info

          625

          PRESSEMITTEILUNG Transparenter Preisvergleich: Knip startet Online-Tool für den Wechsel der Krankenkasse Zürich, Die Prämien der Krankenkassen steigen dieses Jahr um mehr als 5 Prozent. Knip fordert Kunden

          Add to Reading List

          Source URL: www.knip.ch

          - Date: 2016-10-06 05:38:43
            626

            Raak Technologies Inc. vSEC:CMS Card Management Utility User Guide v1.01 Introduction The vSEC:CMS Key Tool is a software utility that lets the user manage minidriver enabled smart cards. Actions that can be performed us

            Add to Reading List

            Source URL: www.raaktechnologies.com

            - Date: 2015-11-25 14:25:34
              627

              PAWS: A Tool for the Analysis of Weighted Systems∗ Barbara K¨onig Sebastian K¨upper Christina Mika

              Add to Reading List

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

              - Date: 2017-04-20 09:16:43
                628

                Cheap Remarks about Concurrent Programs Michael Walker and Colin Runciman University of York, UK {msw504, colin.runciman}@york.ac.uk Abstract. We present CoCo, the Concurrency Commentator, a tool

                Add to Reading List

                Source URL: www.barrucadu.co.uk

                - Date: 2018-03-17 08:00:14
                  629

                  Cheap Remarks about Concurrent Programs* Michael Walker and Colin Runciman University of York, UK {msw504, colin.runciman}@york.ac.uk Abstract. We present CoCo, the Concurrency Commentator, a tool

                  Add to Reading List

                  Source URL: www.barrucadu.co.uk

                  - Date: 2018-03-17 08:00:14
                    630

                    Bitfury Launches Crystal – A Blockchain Investigative Tool for Law Enforcement and Financial Institutions Crystal Will Provide Comprehensive Analytics for Blockchain and Cryptocurrencies

                    Add to Reading List

                    Source URL: bitfury.com

                    - Date: 2018-04-03 19:30:45
                      UPDATE