IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 148
Titolo Data di pubblicazione Autore(i) File
Automated Synthesis of Composite BPEL4WS Web Services 1-gen-2005 Pistore, Marco; Traverso, Paolo; Bertoli, Piergiorgio; Marconi, Annapaola
Process-Level composition of executable Web services: `on-the-fly` versus `once-for-all` composition 1-gen-2005 Pistore, Marco; P., Roberti; Traverso, Paolo
ASTRO: Supporting the Composition and Execution of Web Services 1-gen-2005 Trainotti, Michele; Pistore, Marco; Calabrese, Gaetano; Zacco, Gabriele; P., Lucchese; F., Barbon; Bertoli, Piergiorgio; Traverso, Paolo
Modelling and Analysis of Time-related Properties in Web Service Compositions 1-gen-2005 Kazhamiakin, Raman; P., Pandya; Pistore, Marco
A Parametric Communication Model for the Verification of BPEL4WS Compositions 1-gen-2005 Kazhamiakin, Raman; Pistore, Marco
Structured coalgebras and minimal HD-automata for the pi-calculus 1-gen-2005 Ugo, Montanari; Pistore, Marco
Automated Composition of Web Services by Planning in Asynchronous Domains 1-gen-2005 Pistore, Marco; Traverso, Paolo; Bertoli, Piergiorgio
Contingent Planning with Goal Preferences 1-gen-2006 D., Sharparau; Pistore, Marco; Traverso, Paolo
Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals 1-gen-2006 Marconi, Annapaola; Pistore, Marco; Traverso, Paolo
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 1-gen-2006 Pistore, Marco; L., Spalazzi; Traverso, Paolo
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 1-gen-2006 Trainotti, Michele; Pistore, Marco; F., Barbon; Bertoli, Piergiorgio; Marconi, Annapaola; Traverso, Paolo; Zacco, Gabriele
Run-Time Monitoring of Instances and Classes of Web Service Composition 1-gen-2006 F., Barbon; Traverso, Paolo; Pistore, Marco; Trainotti, Michele
Analysis of Realizability Conditions for Web Service Choreographies 1-gen-2006 Kazhamiakin, Raman; Pistore, Marco
Analysis of Communication Models in Web Service Compositions 1-gen-2006 Kazhamiakin, Raman; Pistore, Marco; L., Santuari
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment 1-gen-2006 Kazhamiakin, Raman; Pistore, Marco
Static Verification of Control and Data in Web Service Compositions 1-gen-2006 Kazhamiakin, Raman; Pistore, Marco
Strong Cyclic Planning Under Partial Observability 1-gen-2006 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco
Automated Web Service Composition by On-The-Fly Belief Space Search 1-gen-2006 Bertoli, Piergiorgio; Pistore, Marco; Traverso, Paolo
Run-Time Monitoring of the Execution of Plans for Web Service Composition 1-gen-2006 F., Barbon; Pistore, Marco; Traverso, Paolo; Trainotti, Michele
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 1-gen-2006 Pistore, Marco; L., Spalazzi; Traverso, Paolo
Mostrati risultati da 41 a 60 di 148
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