Sfoglia per Autore Kazhamiakin, Raman
A Framework for Integrating Business Processes and Business Requirements
2004-01-01 Kazhamiakin, Raman; Pistore, Marco; Roveri, Marco
Formal Verification of Requirements using Spin: A Case Study on Web Services
2004-01-01 Kazhamiakin, Raman; Pistore, Marco; Roveri, Marco
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements
2004-01-01 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
2004-01-01 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
2005-01-01 Kazhamiakin, Raman; P., Pandya; Pistore, Marco
A Parametric Communication Model for the Verification of BPEL4WS Compositions
2005-01-01 Kazhamiakin, Raman; Pistore, Marco
Timed Modelling and Analysis in Web Service Compositions
2006-01-01 Kazhamiakin, Raman; P., Pandya; Pistore, Marco
Analysis of Realizability Conditions for Web Service Choreographies
2006-01-01 Kazhamiakin, Raman; Pistore, Marco
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment
2006-01-01 Kazhamiakin, Raman; Pistore, Marco
Analysis of Communication Models in Web Service Compositions
2006-01-01 Kazhamiakin, Raman; Pistore, Marco; L., Santuari
Representation, Verification, and Computation of Timed Properties in Web Service Compositions
2006-01-01 Kazhamiakin, Raman; P., Pandya; Pistore, Marco
Static Verification of Control and Data in Web Service Compositions
2006-01-01 Kazhamiakin, Raman; Pistore, Marco
Design and Verification of Web Services Compositions in the Telecommunication Domain
2007-01-01 Bertoli, Piergiorgio; Laura, Ferrari; Kazhamiakin, Raman; Corrado, Moiso; Pistore, Marco; Ermes, Thuegaz
Having Services YourWay!: Towards User-Centric Composition of Mobile Services
2008-01-01 Kazhamiakin, Raman; Bertoli, Piergiorgio; Massimo, Paolucci; Pistore, Marco; Matthias, Wagner
Towards Correctness Assurance in Adaptive Service-Based Applications
2008-01-01 Kazhamiakin, Raman; Andreas, Metzger; Pistore, Marco
EP2182440 - Method and apparatus for service discovery
2008-01-01 M., Paolucci; V., Kerhet; Kazhamiakin, Raman
A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing
2008-01-01 Julia, Hielscher; Kazhamiakin, Raman; Andreas, Metzger; Pistore, Marco
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations
2008-01-01 Luciano, Baresi; Sam, Guinea; Kazhamiakin, Raman; Pistore, Marco
Adaptation of Service-Based Applications Based on Process Quality Factor Analysis
2009-01-01 Kazhamiakin, Raman; Branimir, Wetzstein; Dimka, Karastoyanova; Pistore, Marco; Frank, Leymann
Continuous Orchestration of Web Services via Planning
2009-01-01 Bertoli, Piergiorgio; Kazhamiakin, Raman; Massimo, Paolucci; Pistore, Marco; Raik, Heorhi; Matthias, Wagner
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 |
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