Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 116
Titolo Data di pubblicazione Autore(i) Tipo File
A WSDL-based type system for WS-BPEL 1-gen-2006 A., Lapadula; R., Pugliese; Tiezzi, Francesco Capitolo di libro o voce di enciclopedia
A Calculus for Orchestration of Web Services 1-gen-2007 A., Lapadula; R., Pugliese; Tiezzi, Francesco Capitolo di libro o voce di enciclopedia
Regulating Data Exchange in Service Oriented Applications 1-gen-2007 A., Lapadula; R., Pugliese; Tiezzi, Francesco Capitolo di libro o voce di enciclopedia
COWS: A Timed Service-Oriented Calculus 1-gen-2007 A., Lapadula; R., Pugliese; Tiezzi, Francesco Capitolo di libro o voce di enciclopedia
Service Discovery and Negotiation with COWS 1-gen-2008 A., Lapadula; R., Pugliese; Tiezzi, Francesco Articolo
A Formal Account of WS-BPEL 1-gen-2008 A., Lapadula; R., Pugliese; Tiezzi, Francesco Capitolo di libro o voce di enciclopedia
TAPAs: A Tool for the Analysis of Process Algebras 1-gen-2008 Calzolai, F.; De Nicola, R.; Loreti, M.; Tiezzi, Francesco Articolo
Specifying and Analysing SOC Applications with COWS 1-gen-2008 A., Lapadula; R., Pugliese; Tiezzi, Francesco Capitolo di libro o voce di enciclopedia
A Model Checking Approach for Verifying COWS Specifications 1-gen-2008 A., Fantechi; S., Gnesi; A., Lapadula; F., Mazzanti; R., Pugliese; Tiezzi, Francesco Capitolo di libro o voce di enciclopedia
Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 1-gen-2008 M., Wirsing; M., Hölzl; L., Acciai; F., Banti; A., Clark; A., Fantechi; S., Gilmore; S., Gnesi; L., Gönczy; N., Koch; A., Lapadula; P., Mayer; F., Mazzanti; R., Pugliese; A., Schroeder; Tiezzi, Francesco; M., Tribastone; D., Varró Capitolo di libro o voce di enciclopedia
From Architectural to Behavioural Specification of Services 1-gen-2009 L., Bocchi; J. L., Fiadeiro; A., Lapadula; R., Pugliese; Tiezzi, Francesco Articolo
A Symbolic Semantics for a Calculus for Service-Oriented Computing 1-gen-2009 R., Pugliese; Tiezzi, Francesco; N., Yoshida Articolo
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study 1-gen-2009 F., Banti; A., Lapadula; R., Pugliese; Tiezzi, Francesco Articolo
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals 1-gen-2009 M., Masi; R., Pugliese; Tiezzi, Francesco Capitolo di libro o voce di enciclopedia
On Observing Dynamic Prioritised Actions in SOC 1-gen-2009 R., Pugliese; Tiezzi, Francesco; N., Yoshida Capitolo di libro o voce di enciclopedia
A criterion for separating process calculi 1-gen-2010 F., Banti; R., Pugliese; Tiezzi, Francesco Articolo
A tool for rapid development of WS-BPEL applications 1-gen-2010 L., Cesari; R., Pugliese; Tiezzi, Francesco Articolo
A tool for rapid development of WS-BPEL applications 1-gen-2010 L., Cesari; A., Lapadula; R., Pugliese; Tiezzi, Francesco Contributo in atto di convegno su volume
Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011) 1-gen-2011 L., Kovács; R., Pugliese; Tiezzi, Francesco EDITOR DI SPECIAL ISSUE
A standard-driven communication protocol for disconnected clinics in rural areas 1-gen-2011 M., Masi; R., Pugliese; Tiezzi, Francesco Contributo in atto di convegno su volume
Mostrati risultati da 1 a 20 di 116
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