Rosario

Results: 867



#Item
31A 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

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
    32PLACESA Symbolic Semantics for a Calculus for Service-Oriented Computing 1 Rosario Pugliese2

    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
      33A 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

      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
        34A 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

        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
          35A model checking approach for verifying COWS specifications? Alessandro Fantechi1 , Stefania Gnesi2 , Alessandro Lapadula1 , Franco Mazzanti2 , Rosario Pugliese1 , and Francesco Tiezzi1 1

          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
            36Regulating 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

            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
              37Economía social en construcción Perspectivas y demandas sociales en la legislación reciente (Argentina, LAURA ROSARIO BLASCO1 Y ARIEL OSCAR GARCÍA2 Resumen

              Economía social en construcción Perspectivas y demandas sociales en la legislación reciente (Argentina, LAURA ROSARIO BLASCO1 Y ARIEL OSCAR GARCÍA2 Resumen

              Add to Reading List

              Source URL: www.idelcoop.org.ar

              - Date: 2016-07-27 14:37:15
                38A 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

                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
                  39CWS: 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

                  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
                    40Buenos Aires - Rosario_A4 w

                    Buenos Aires - Rosario_A4 w

                    Add to Reading List

                    Source URL: www.trenmitre.com.ar

                    - Date: 2015-11-09 11:45:22