Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 133
Titolo Data di pubblicazione Autore(i) File
A WSDL-based type system for WS-BPEL 2006 A. LAPADULA; R. PUGLIESE; F. TIEZZI
COWS: A timed service-oriented calculus 2007 A. LAPADULA; R. PUGLIESE; F. TIEZZI
A Calculus for Orchestration of Web Services 2007 A. LAPADULA; R. PUGLIESE; F. TIEZZI
Regulating data exchange in service oriented applications 2007 A. LAPADULA; R. PUGLIESE; F. TIEZZI
A model checking approach for verifying COWS specifications 2008 A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi
A formal account of WS-BPEL 2008 A. Lapadula; R. Pugliese; F. Tiezzi
TAPAs: A Tool for the Analysis of Process Algebras 2008 F. Calzolai; R. De Nicola; M. Loreti; F. Tiezzi
Service discovery and negotiation with COWS 2008 A. Lapadula; R. PUGLIESE; F. Tiezzi
Specifying and Analysing SOC Applications with COWS 2008 A. Lapadula; R. Pugliese; F. Tiezzi
SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 2008 M. Wirsing; L. Acciai; A. Clark; F. Banti; A. Fantechi; S. Gilmore; S. Gnesi; L. Gonczy; M. Holz; N. Koch; A. Lapadula; P. Mayer; F. Mazzanti; R. Pugliese; A. Schroeder; F. Tiezzi; M. Tribastone; D. Varro
Specification and Analysis of Service-Oriented Applications 2009 F.Tiezzi
On secure implementation of an IHE XUA-based protocol for authenticating healthcare professionals 2009 M. Masi; R. Pugliese; F. Tiezzi
On observing dynamic prioritised actions in SOC 2009 R. Pugliese; F. Tiezzi; N. Yoshida
From Architectural to Behavioural Specification of Services 2009 L. Bocchi; J.L. Fiadeiro; A. Lapadula; R. Pugliese; F. Tiezzi
Specification and analysis of SOC systems using COWS: A finance case study 2009 F. Banti; A. Lapadula; R. Pugliese; F. Tiezzi
A Symbolic Semantics for a Calculus for Service-Oriented Computing 2009 R. Pugliese; F. Tiezzi; N. Yoshida
A tool for rapid development of WS-BPEL applications 2010 L.Cesari; R.Pugliese; F.Tiezzi
A tool for rapid development of WS-BPEL applications 2010 L. Cesari; A. Lapadula; R. Pugliese; F. Tiezzi
A criterion for separating process calculi 2010 F. Banti; R. Pugliese; F. Tiezzi
A standard-driven communication protocol for disconnected clinics in rural areas 2011 M.Masi; R.Pugliese; F.Tiezzi
Mostrati risultati da 1 a 20 di 133
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile