UniFi

Results: 3269



#Item
41

PDF Document

Add to Reading List

Source URL: unifi.com

- Date: 2016-08-22 14:14:00
    42

    A formal account of WS-BPEL? Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica Universit`a degli Studi di Firenze Abstract. We introduce Blite, a lightweight language for we

    Add to Reading List

    Source URL: rap.dsi.unifi.it

    - Date: 2008-03-19 11:59:53
      43

      PLACESA Symbolic Semantics for a Calculus for Service-Oriented Computing 1 Rosario Pugliese2

      Add to Reading List

      Source URL: rap.dsi.unifi.it

      - Date: 2008-10-14 10:59:30
        44

        A WSDL-based type system for WS-BPEL? Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica Universit`a degli Studi di Firenze Abstract. We tackle the problem of providing rigor

        Add to Reading List

        Source URL: rap.dsi.unifi.it

        - Date: 2007-02-12 09:25:08
          45

          __________________________________________________________ DAAD - Deutscher Akademischer Austausch Dienst (Servizio Tedesco per lo Scambio Accademico) Evento informativo sulle opportunità per studenti, laureati, dottora

          Add to Reading List

          Source URL: www.unifi.it

          - Date: 2016-10-11 03:11:17
            46

            Generali: 1. Se non riesco a risolvere autonomamente il problema a chi mi devo rivolgere? In prima istanza chiedere l’assistenza del proprio referente di dipartimento. Altrimenti contattare il gruppo di supporto flore@

            Add to Reading List

            Source URL: www.unifi.it

            - Date: 2015-11-18 04:26:51
              47

              A WSDL-based type system for WS-BPEL∗ Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica, Universit`a di Firenze March 28, 2006 Abstract

              Add to Reading List

              Source URL: rap.dsi.unifi.it

              - Date: 2007-02-12 10:05:21
                48

                Pubblicato sull’Albo Ufficiale (ndal 29 luglio 2014 al 28 agostoIl Rettore Decreto n. 641 Anno 2014 Prot. n

                Add to Reading List

                Source URL: www.unifi.it

                - Date: 2014-08-27 03:59:04
                  49

                  PROCEDURA SELETTIVA PER LA CHIAMATA DI UN PROFESSORE DI SECONDA FASCIA PER IL SETTORE CONCORSUALE 11/A4 SETTORE SCIENTIFICO DISCIPLINARE M-STO/07 (Decreto del Rettore n.413 del 12 maggio 2014 avviso pubblicato nella Gazz

                  Add to Reading List

                  Source URL: www.unifi.it

                  - Date: 2014-11-17 08:20:56
                    50

                    A model checking approach for verifying COWS specifications? Alessandro Fantechi1 , Stefania Gnesi2 , Alessandro Lapadula1 , Franco Mazzanti2 , Rosario Pugliese1 , and Francesco Tiezzi1 1

                    Add to Reading List

                    Source URL: rap.dsi.unifi.it

                    - Date: 2008-01-28 09:31:30
                      UPDATE