PUGLIESE, ROSARIO

PUGLIESE, ROSARIO  

Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA)  

Mostra records
Risultati 1 - 20 di 130 (tempo di esecuzione: 0.049 secondi).
Titolo Data di pubblicazione Autore(i) File
A blockchain-based platform for incentivizing customer reviews in the grocery industry 2024 Bruno, Tania; Etenzi, Ettore; Gualandi, Luca; Katra, Eraldo; Pugliese, Rosario; Taranto, Alessio; Tiezzi, Francesco
A Calculus for Orchestration of Web Services 2007 A. LAPADULA; R. PUGLIESE; F. TIEZZI
A Calculus for Orchestration of Web Services 2012 Pugliese, Rosario; Tiezzi, Francesco
A criterion for separating process calculi 2010 F. Banti; R. Pugliese; F. Tiezzi
A formal account of WS-BPEL 2008 A. Lapadula; R. Pugliese; F. Tiezzi
A Formal Approach to Autonomic Systems Programming: The SCEL Language 2014 Rocco De Nicola; Michele Loreti; Rosario Pugliese; Francesco Tiezzi
A formal approach to the engineering of domain-specific distributed systems 2020 De Nicola R.; Ferrari G.; Pugliese R.; Tiezzi F.
A Formal Approach to the Engineering of Domain-Specific Distributed Systems 2018 Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi
A Formal Basis for Reasoning on Programmable QoS 2003 R. De Nicola; R. Pugliese; G. Ferrari; U. Montanari; E. Tuosto
A Language-Based Approach to Autonomic Computing 2013 R. De Nicola; G. Ferrari; M. Loreti; R. Pugliese
A Life Cycle for the Development of Autonomic Systems: The e-Mobility Showcase 2014 T. Bures; R. De Nicola; I. Gerostathopoulos; N. Hoch; M. Kit; N. Koch; G.V. Monreale; U. Montanari; R. Pugliese; N. Serbedzija; M. Wirsing; F. Zambonelli
A Logical Verification Methodology for Service-Oriented Computing 2012 A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi
A Mobility Calculus with Local and Dependent Types 2005 M. COPPO; F.COZZI; M. DEZANI; E. GIOVANNETTI; R. PUGLIESE
A model checking approach for verifying COWS specifications 2008 A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi
A Process Algebra based on Linda 1996 De Nicola, Rocco; Pugliese, Rosario
A Process Calculus for QoS-Aware Applications 2005 R. DE NICOLA; G.-L. FERRARI; U. MONTANARI; R. PUGLIESE; E. TUOSTO
A Process Calculus with Asynchronous Communications 1995 R. PUGLIESE
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies 2019 Margheri, Andrea; Masi, Massimiliano; Pugliese, Rosario; Tiezzi, Francesco
A standard-driven communication protocol for disconnected clinics in rural areas 2011 M.Masi; R.Pugliese; F.Tiezzi
A Symbolic Model Checker for ACTL 1998 A. Fantechi; S. Gnesi; F. Mazzanti; R. Pugliese; E. Tronci