Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 18 di 18
Titolo Data di pubblicazione Autore(i) File
A Timed Extension of WSCoL 1-gen-2007 BARESI, LUCIANOBIANCULLI, DOMENICOGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDROSPOLETINI, PAOLA
Monitoring Conversational Web Services 1-gen-2007 BIANCULLI, DOMENICOGHEZZI, CARLO
Trio2Promela: A Model Checker for Temporal Metric Specifications 1-gen-2007 BIANCULLI, DOMENICOMORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
Model Checking Temporal Metric Specifications with Trio2Promela 1-gen-2007 BIANCULLI, DOMENICOMORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
A Model Checking Approach to Verify BPEL4WS Workflows 1-gen-2007 BIANCULLI, DOMENICOGHEZZI, CARLOSPOLETINI, PAOLA
Automated Dynamic Maintenance of Composite Services based on Service Reputation 1-gen-2007 BIANCULLI, DOMENICOGHEZZI, CARLO +
Validation of Web Service Compositions 1-gen-2007 BARESI, LUCIANOBIANCULLI, DOMENICOGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDROSPOLETINI, PAOLA
Transparent reputation management for composite web services 1-gen-2008 BIANCULLI, DOMENICODRAGO, MAURO LUIGIGHEZZI, CARLO +
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions 1-gen-2008 BIANCULLI, DOMENICOGHEZZI, CARLOSPOLETINI, PAOLABARESI, LUCIANOGUINEA MONTALVO, SAM JESUS ALEJANDRO
SAVVY-WS at a glance: supporting verifiable dynamic service compositions 1-gen-2008 BIANCULLI, DOMENICOGHEZZI, CARLO
ReMAN: A pro-active reputation management infrastructure for composite web services 1-gen-2009 BIANCULLI, DOMENICODRAGO, MAURO LUIGIGHEZZI, CARLO +
Keep it small, keep it real: Efficient run-time verification of web service compositions 1-gen-2009 BARESI, LUCIANOBIANCULLI, DOMENICOGUINEA MONTALVO, SAM JESUS ALEJANDROSPOLETINI, PAOLA
Embedding continuous lifelong verification in service life cycles 1-gen-2009 BIANCULLI, DOMENICOGHEZZI, CARLO +
Automated performance assessment for service-oriented middleware: a case study on BPEL engines 1-gen-2010 BIANCULLI, DOMENICODRAGO, MAURO LUIGI +
SOABench: performance evaluation of service-oriented middleware made easy 1-gen-2010 BIANCULLI, DOMENICODRAGO, MAURO LUIGI +
Towards the formalization of properties of cloud-based elastic systems 1-gen-2014 BERSANI, MARCELLO MARIABIANCULLI, DOMENICOGHEZZI, CARLOKRSTIC, SRDAN +
Trace checking of metric temporal logic with aggregating modalities using MapReduce 1-gen-2014 BIANCULLI, DOMENICOGHEZZI, CARLOKRSTIC, SRDAN
Efficient large-scale trace checking using mapreduce 1-gen-2016 Bersani, Marcello M.Bianculli, DomenicoGhezzi, CarloKrstic, SrdanPietro, Pierluigi San
Mostrati risultati da 1 a 18 di 18
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