IRIS

Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 44
Titolo Data di pubblicazione Autore(i) File
A Framework for Integrating Business Processes and Business Requirements 1-gen-2004 Kazhamiakin, Raman; Pistore, Marco; Roveri, Marco
Formal Verification of Requirements using Spin: A Case Study on Web Services 1-gen-2004 R. Kazhamiakin; M. Pistore; M. Roveri
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 1-gen-2004 Traverso, Paolo; Pistore, Marco; Roveri, Marco; Marconi, Annapaola; Kazhamiakin, Raman; P., Lucchese; Busetta, Paolo; Bertoli, Piergiorgio
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 1-gen-2004 P. Traverso; M. Pistore; M. Roveri; A. Marconi; R. Kazhamiakin; P. Lucchese; P. Busetta; P. Bertoli
A Parametric Communication Model for the Verification of BPEL4WS Compositions 1-gen-2005 Kazhamiakin, Raman; Pistore, Marco
Modelling and Analysis of Time-related Properties in Web Service Compositions 1-gen-2005 Kazhamiakin, Raman; P., Pandya; Pistore, Marco
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment 1-gen-2006 Kazhamiakin, Raman; Pistore, Marco
Analysis of Communication Models in Web Service Compositions 1-gen-2006 Kazhamiakin, Raman; Pistore, Marco; L., Santuari
Timed Modelling and Analysis in Web Service Compositions 1-gen-2006 Kazhamiakin, Raman; P., Pandya; Pistore, Marco
Analysis of Realizability Conditions for Web Service Choreographies 1-gen-2006 Kazhamiakin, Raman; Pistore, Marco
Representation, Verification, and Computation of Timed Properties in Web Service Compositions 1-gen-2006 Kazhamiakin, Raman; P., Pandya; Pistore, Marco
Static Verification of Control and Data in Web Service Compositions 1-gen-2006 Kazhamiakin, Raman; Pistore, Marco
Design and Verification of Web Services Compositions in the Telecommunication Domain 1-gen-2007 Bertoli, Piergiorgio; Laura, Ferrari; Kazhamiakin, Raman; Corrado, Moiso; Pistore, Marco; Ermes, Thuegaz
Towards Correctness Assurance in Adaptive Service-Based Applications 1-gen-2008 Kazhamiakin, Raman; Andreas, Metzger; Pistore, Marco
A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing 1-gen-2008 Julia, Hielscher; Kazhamiakin, Raman; Andreas, Metzger; Pistore, Marco
Having Services YourWay!: Towards User-Centric Composition of Mobile Services 1-gen-2008 Kazhamiakin, Raman; Bertoli, Piergiorgio; Massimo, Paolucci; Pistore, Marco; Matthias, Wagner
EP2182440 - Method and apparatus for service discovery 1-gen-2008 M., Paolucci; V., Kerhet; Kazhamiakin, Raman
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations 1-gen-2008 Luciano, Baresi; Sam, Guinea; Kazhamiakin, Raman; Pistore, Marco
Control Flow Requirements for Automated Service Composition 1-gen-2009 Bertoli, Piergiorgio; Kazhamiakin, Raman; Massimo, Paolucci; Pistore, Marco; Raik, Heorhi; Matthias, Wagner
Design for Adaptation of Service-Based Applications: Main Issues and Requirements 1-gen-2009 Bucchiarone, Antonio; C., Cappiello; E., Di Nitto; Kazhamiakin, Raman; V., Mazza; Pistore, Marco
Mostrati risultati da 1 a 20 di 44
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