Sfoglia per Autore  Kazhamiakin, Raman

Opzioni
Mostrati risultati da 1 a 20 di 45
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 Kazhamiakin, Raman; Pistore, Marco; Roveri, Marco
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 1-gen-2004 Traverso, Paolo; Pistore, Marco; Roveri, Marco; Marconi, Annapaola; Kazhamiakin, Raman; P., Lucchese; Busetta, Paolo; Bertoli, Piergiorgio
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
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
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
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
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
Having Services YourWay!: Towards User-Centric Composition of Mobile Services 1-gen-2008 Kazhamiakin, Raman; Bertoli, Piergiorgio; Massimo, Paolucci; Pistore, Marco; Matthias, Wagner
Towards Correctness Assurance in Adaptive Service-Based Applications 1-gen-2008 Kazhamiakin, Raman; Andreas, Metzger; Pistore, Marco
EP2182440 - Method and apparatus for service discovery 1-gen-2008 M., Paolucci; V., Kerhet; Kazhamiakin, Raman
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
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations 1-gen-2008 Luciano, Baresi; Sam, Guinea; Kazhamiakin, Raman; Pistore, Marco
Adaptation of Service-Based Applications Based on Process Quality Factor Analysis 1-gen-2009 Kazhamiakin, Raman; Branimir, Wetzstein; Dimka, Karastoyanova; Pistore, Marco; Frank, Leymann
Continuous Orchestration of Web Services via Planning 1-gen-2009 Bertoli, Piergiorgio; Kazhamiakin, Raman; Massimo, Paolucci; Pistore, Marco; Raik, Heorhi; Matthias, Wagner
Mostrati risultati da 1 a 20 di 45
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