RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

Sfoglia per Autore  

Opzioni
Mostrati risultati da 51 a 100 di 243
Titolo Data di pubblicazione Autori File
Modeling and Validation of Publish/Subscribe Architectures 1-gen-2005 BARESI, LUCIANOGHEZZI, CARLOZANOLIN, LUCA
Hybrid Service Oriented Architectures: A Case Study in the Automotive Domain. 1-gen-2005 BARESI, LUCIANOGHEZZI, CARLOMIELE, ANTONIO ROSARIOMIRAZ, MATTEOPACIFICI, FILIPPO +
Dynamo: Dynamic Monitoring of WS-BPEL Processes 1-gen-2005 BARESI, LUCIANOGUINEA MONTALVO, SAM JESUS ALEJANDRO
Towards Dynamic Monitoring of WS-BPEL Processes 1-gen-2005 BARESI, LUCIANOGUINEA MONTALVO, SAM JESUS ALEJANDRO
The MAIS Approach to Web Service Design 1-gen-2006 FRANCALANCI, CHIARAMAURINO, ANDREAMODAFFERI, STEFANOPERNICI, BARBARAARDAGNA, DANILOBARESI, LUCIANOCAPPIELLO, CINZIACOMUZZI, MARCO +
An Introduction to Software Testing 1-gen-2006 BARESI, LUCIANO +
Reference Architecture and Framework 1-gen-2006 BARESI, LUCIANOCAPPIELLO, CINZIAMAURINO, ANDREAMODAFFERI, STEFANOMUSSI, ENRICONEGRI, LUCAPERNICI, BARBARAPLEBANI, PIERLUIGI
Infrastructure and Design for flexibility and adaptivity 1-gen-2006 ARDAGNA, DANILOBARESI, LUCIANOBIANCHINI, DEVISCAPPIELLO, CINZIACOMUZZI, MARCODE ANTONELLIS, VALERIAFRANCALANCI, CHIARAMAURINO, ANDREAMODAFFERI, STEFANOMUSSI, ENRICOPERNICI, BARBARAPLEBANI, PIERLUIGI +
Towards Fine-grained Automated Verification of Publish-Subscribe Architectures 1-gen-2006 BARESI, LUCIANOGHEZZI, CARLOMOTTOLA, LUCA
Tutorial: towards dynamic web services 1-gen-2006 BARESI, LUCIANOGUINEA MONTALVO, SAM JESUS ALEJANDRO
W2000: A Modeling Notation for Complex Web Applications 1-gen-2006 BARESI, LUCIANOCOLAZZO, SEBASTIANOMAINETTI, LUCAMORASCA, SANDRO
Towards Pervasive Supervision for Autonomic Systems 1-gen-2006 BARESI, LUCIANO
Style-Based Modeling and Refinement of Service-Oriented Architectures - A graph transformation-based approach 1-gen-2006 BARESI, LUCIANO +
A Distributed Approach for the Federation of Heterogeneous Registries 1-gen-2006 BARESI, LUCIANOMIRAZ, MATTEO
Validation of Component and Service Federations in Automotive Software Applications 1-gen-2006 BARESI, LUCIANOGHEZZI, CARLO
On the Use of Alloy to Analyze Graph Transformation Systems 1-gen-2006 BARESI, LUCIANOSPOLETINI, PAOLA
W2000 meets J2ME for the Fast Prototyping of Mobile Web Applications 1-gen-2006 BARESI, LUCIANOMAINETTI, LUCA
E-Services 1-gen-2006 ARDAGNA, DANILOBARESI, LUCIANOBIANCHINI, DEVISCAPPIELLO, CINZIACOMUZZI, MARCODE ANTONELLIS, VALERIADE ROSA, FRANCESCAFRANCALANCI, CHIARAMAURINO, ANDREAMODAFFERI, STEFANOMUSSI, ENRICOPERNICI, BARBARAPLEBANI, PIERLUIGI +
Dall'idea al codice con UML 2 1-gen-2006 BARESI, LUCIANOLAVAZZA, LUIGIPIANCIAMORE, MASSIMILIANO
Fundamental Approaches to Software Engineering - 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings 1-gen-2006 BARESI, LUCIANO +
Development of Services for Mobile Information Systems 1-gen-2006 ARDAGNA, DANILOBARESI, LUCIANOCAPPIELLO, CINZIACOMUZZI, MARCOFRANCALANCI, CHIARAMAURINO, ANDREAMODAFFERI, STEFANO
Business Process Monitoring for Dependability 1-gen-2006 BARESI, LUCIANOGUINEA MONTALVO, SAM JESUS ALEJANDRO +
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects 1-gen-2006 BARESI, LUCIANOBERETTA, PAOLOFRACCAPANI, ROBERTOGHEZZI, CARLOPACIFICI, FILIPPO
Toward Open-World Software: Issue and Challenges 1-gen-2006 BARESI, LUCIANODI NITTO, ELISABETTAGHEZZI, CARLO
WS-Policy for Service Monitoring 1-gen-2006 BARESI, LUCIANOGUINEA MONTALVO, SAM JESUS ALEJANDROPLEBANI, PIERLUIGI
Servizi Web in Registri Distribuiti 1-gen-2007 BARESI, LUCIANO +
Web Engineering, 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings 1-gen-2007 BARESI, LUCIANOFRATERNALI, PIERO +
A Service-based Infrastructure for Advanced Logistics 1-gen-2007 BARESI, LUCIANOBRAGA, DANIELE MARIACOMUZZI, MARCOPACIFICI, FILIPPOPLEBANI, PIERLUIGI
A Timed Extension of WSCoL 1-gen-2007 BARESI, LUCIANOBIANCULLI, DOMENICOGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDROSPOLETINI, PAOLA
Policies and Aspects for the Supervision of BPEL Processes 1-gen-2007 BARESI, LUCIANOGUINEA MONTALVO, SAM JESUS ALEJANDROPLEBANI, PIERLUIGI
Towards Self-healing Compositions of Services 1-gen-2007 BARESI, LUCIANOGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDRO
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata 1-gen-2007 BARESI, LUCIANOGHEZZI, CARLOHE, FEISPOLETINI, PAOLA
Playing with Time in Publish-Subscribe using a Domain-Specific Model Checker 1-gen-2007 BARESI, LUCIANOGEROSA, GIORGIOGHEZZI, CARLOMOTTOLA, LUCA
A Distributed Approach for the Federation of Heterogeneous Registries 1-gen-2007 BARESI, LUCIANO +
Una piattaforma a servizi avanzata a supporto di distretti cooperativi: il progetto DISCoRSO 1-gen-2007 ARDAGNA, DANILOBARESI, LUCIANOCOMAI, SARACOMUZZI, MARCOPERNICI, BARBARA +
Una Piattaforma di Servizi Avanzata a Supporto di Distretti Cooperativi: il progetto DISCoRSO 1-gen-2007 ARDAGNA, DANILOBARESI, LUCIANOCOMAI, SARACOMUZZI, MARCOPERNICI, BARBARAPIANCIAMORE, MASSIMILIANO +
Dynamo and Self-Healing BPEL Compositions 1-gen-2007 BARESI, LUCIANOGUINEA MONTALVO, SAM JESUS ALEJANDRO
Self-Healing BPEL Processes with Dynamo and the JBoss Rule Engine 1-gen-2007 BARESI, LUCIANOGUINEA MONTALVO, SAM JESUS ALEJANDROPASQUALE, LILIANA
A Framework for the Deployment of Adaptable Web Service Compositions 1-gen-2007 BARESI, LUCIANODI NITTO, ELISABETTAGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDRO
Test and Analysis of Web Services 1-gen-2007 BARESI, LUCIANODI NITTO, ELISABETTA
Distributed BPEL Processes 1-gen-2007 BARESI, LUCIANOMAURINO, ANDREAMODAFFERI, STEFANO
Validation of Web Service Compositions 1-gen-2007 BARESI, LUCIANOBIANCULLI, DOMENICOGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDROSPOLETINI, PAOLA
Three Empirical Studies on Estimating the Design Effort of Web Applications 1-gen-2007 BARESI, LUCIANO +
On Accurate Automatic Verification of Publish-Subscribe Architectures 1-gen-2007 BARESI, LUCIANOGHEZZI, CARLOMOTTOLA, LUCA
A Dynamic and Reactive Approach to the Supervision of BPEL Processes 1-gen-2008 BARESI, LUCIANOGUINEA MONTALVO, SAM JESUS ALEJANDRO
Using Graph Transformation Systems to Specify and Verify Data Abstractions 1-gen-2008 BARESI, LUCIANOGHEZZI, CARLOMOCCI, ANDREAMONGA, MATTIA
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations 1-gen-2008 BARESI, LUCIANOGUINEA MONTALVO, SAM JESUS ALEJANDRO +
A Flexible and Semantic-Aware Publication Infrastructure for Web Services 1-gen-2008 BARESI, LUCIANOMIRAZ, MATTEOPLEBANI, PIERLUIGI
Integrated and Composable Supervision of BPEL Processes 1-gen-2008 BARESI, LUCIANOGUINEA MONTALVO, SAM JESUS ALEJANDROPASQUALE, LILIANA
Towards a unified framework for the monitoring and recovery of BPEL processes 1-gen-2008 BARESI, LUCIANOGUINEA MONTALVO, SAM JESUS ALEJANDROPASQUALE, LILIANA
Mostrati risultati da 51 a 100 di 243
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