UniFi

Results: 3269



#Item
51

Policy dell’Università degli Studi di Firenze a favore dell’Accesso aperto alla letteratura scientifica 0 – Definizioni Per “Università” o “Ateneo” s’intende l’Università degli Studi di Firenze. Per

Add to Reading List

Source URL: www.sba.unifi.it

- Date: 2016-10-10 11:43:54
    52

    WWVService discovery and negotiation with COWS 1

    Add to Reading List

    Source URL: rap.dsi.unifi.it

    - Date: 2008-01-11 07:13:24
      53

      Regulating data exchange in service oriented applications? Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica Universit`a degli Studi di Firenze {lapadula,pugliese,tiezzi}@ds

      Add to Reading List

      Source URL: rap.dsi.unifi.it

      - Date: 2007-07-07 15:43:46
        54

        A Calculus for Orchestration of Web Services ? Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica Universit`a degli Studi di Firenze Abstract. We introduce COWS (Calculus for

        Add to Reading List

        Source URL: rap.dsi.unifi.it

        - Date: 2006-12-29 04:22:14
          55

          CWS: A timed service-oriented calculus? Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica Universit`a degli Studi di Firenze {lapadula,pugliese,tiezzi}@dsi.unifi.it Abstra

          Add to Reading List

          Source URL: rap.dsi.unifi.it

          - Date: 2007-06-28 09:44:15
            56

            Linee guida per il deposito e la pubblicazione dei prodotti della ricerca in FLORE

            Add to Reading List

            Source URL: www.unifi.it

            - Date: 2016-08-12 06:45:25
              57

              Regulating data exchange in service oriented applications ? Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica Universit`a degli Studi di Firenze Abstract. We define a type

              Add to Reading List

              Source URL: rap.dsi.unifi.it

              - Date: 2007-07-07 15:42:30
                58

                A Calculus for Orchestration of Web Services ? May 25, 2008 Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica Universit`a degli Studi di Firenze {lapadula,pugliese,tiezzi}@d

                Add to Reading List

                Source URL: rap.dsi.unifi.it

                - Date: 2008-05-25 12:32:31
                  59

                  Specifying and Analysing SOC Applications with COWS? – Dedicated to Ugo Montanari on the occasion of his 65th birthday – Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatic

                  Add to Reading List

                  Source URL: rap.dsi.unifi.it

                  - Date: 2008-03-10 07:56:59
                    60

                    A Logical Verification Methodology for Service-Oriented Computing ALESSANDRO FANTECHI, ALESSANDRO LAPADULA, ROSARIO PUGLIESE and FRANCESCO TIEZZI Dipartimento di Sistemi e Informatica, Universita` degli Studi di Firenze

                    Add to Reading List

                    Source URL: rap.dsi.unifi.it

                    - Date: 2010-05-04 12:32:22
                      UPDATE