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

Sfoglia per Autore  

Opzioni
Mostrati risultati da 51 a 100 di 195
Titolo Data di pubblicazione Autori File
Using Symbolic Execution for Verifying Safety-Critical Systems 1-gen-2001 COEN PORISINI, ALBERTODENARO, GIOVANNIGHEZZI, CARLOPEZZE', MAURO
Using Agents in Performing Multi-site Queries 1-gen-2001 DI NITTO, ELISABETTAGHEZZI, CARLO +
Ubiquituous, Decentralized, and Evolving Software: Challenges for Software Engineering 1-gen-2002 GHEZZI, CARLO
Software Qualities and Principles 1-gen-2002 GHEZZI, CARLOMANDRIOLI, DINO +
Fundamentals of Software Engineering 1-gen-2002 GHEZZI, CARLOMANDRIOLI, DINO +
Supporting Configuration Management for Virtual Workgroups in a Peer-to-Peer Setting 1-gen-2002 GHEZZI, CARLOMONGA, MATTIA +
Fostering Component Evolution with C# Attributes 1-gen-2002 GHEZZI, CARLOMONGA, MATTIA
Freeing Cooperation From Servers Tyranny 1-gen-2002 GHEZZI, CARLOMONGA, MATTIA +
A Peer-to-Peer Middleware for Mobile Teamwork 1-gen-2003 CUGOLA, GIANPAOLOGHEZZI, CARLOPICCO, GIAN PIETRO
Inconsistency and Ephemerality in a World of E-Services 1-gen-2003 BARESI, LUCIANODI NITTO, ELISABETTAGHEZZI, CARLO
An Approach to Model and Validate Publish/Subscribe Architectures 1-gen-2003 BARESI, LUCIANOGHEZZI, CARLOZANOLIN, LUCA
Using Agents for Multi-target Search on the Web 1-gen-2003 DI NITTO, ELISABETTAGHEZZI, CARLOSELVINI, PAOLO
Software Qualities and Principles 1-gen-2004 GHEZZI, CARLOMANDRIOLI, DINO +
Towards Self-healing Compositions of Services 1-gen-2004 BARESI, LUCIANOGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDRO
Enhancing Remote Method Invocation through Type-Based Static Analysis 1-gen-2004 GHEZZI, CARLOMARTENA, VINCENZOPICCO, GIAN PIETRO
Smart Monitors for Composed Services 1-gen-2004 BARESI, LUCIANOGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDRO
Hybrid Service Oriented Architectures: A Case Study in the Automotive Domain. 1-gen-2005 BARESI, LUCIANOGHEZZI, CARLOMIELE, ANTONIO ROSARIOMIRAZ, MATTEOPACIFICI, FILIPPO +
Modeling and Validation of Publish/Subscribe Architectures 1-gen-2005 BARESI, LUCIANOGHEZZI, CARLOZANOLIN, LUCA
The challenges of software engineering education 1-gen-2006 GHEZZI, CARLOMANDRIOLI, DINO
RETI DI MICRODISPOSITIVI INTELLIGENTI 1-gen-2006 CESARINI, MIRKOGHEZZI, CARLOSCHREIBER, FABIO ALBERTOTANCA, LETIZIA
Supporting Cooperative Software Processes in a Decentralized and Nomadic World 1-gen-2006 BALZAROTTI, DAVIDEGHEZZI, CARLOMONGA, MATTIA
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
Validation of Component and Service Federations in Automotive Software Applications 1-gen-2006 BARESI, LUCIANOGHEZZI, CARLO
Towards Fine-grained Automated Verification of Publish-Subscribe Architectures 1-gen-2006 BARESI, LUCIANOGHEZZI, CARLOMOTTOLA, LUCA
Run-Time Monitoring in Service-Oriented Architectures 1-gen-2007 GHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDRO
A Framework for the Deployment of Adaptable Web Service Compositions 1-gen-2007 BARESI, LUCIANODI NITTO, ELISABETTAGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDRO
Playing with Time in Publish-Subscribe using a Domain-Specific Model Checker 1-gen-2007 BARESI, LUCIANOGEROSA, GIORGIOGHEZZI, CARLOMOTTOLA, LUCA
Validation of Web Service Compositions 1-gen-2007 BARESI, LUCIANOBIANCULLI, DOMENICOGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDROSPOLETINI, PAOLA
Automated Dynamic Maintenance of Composite Services based on Service Reputation 1-gen-2007 BIANCULLI, DOMENICOGHEZZI, CARLO +
Towards Self-healing Compositions of Services 1-gen-2007 BARESI, LUCIANOGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDRO
A Model Checking Approach to Verify BPEL4WS Workflows 1-gen-2007 BIANCULLI, DOMENICOGHEZZI, CARLOSPOLETINI, PAOLA
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata 1-gen-2007 BARESI, LUCIANOGHEZZI, CARLOHE, FEISPOLETINI, PAOLA
A Timed Extension of WSCoL 1-gen-2007 BARESI, LUCIANOBIANCULLI, DOMENICOGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDROSPOLETINI, PAOLA
Efficient Recovery of Algebraic Specifications for Stateful Components 1-gen-2007 GHEZZI, CARLOMOCCI, ANDREAMONGA, MATTIA
Monitoring Conversational Web Services 1-gen-2007 BIANCULLI, DOMENICOGHEZZI, CARLO
On Accurate Automatic Verification of Publish-Subscribe Architectures 1-gen-2007 BARESI, LUCIANOGHEZZI, CARLOMOTTOLA, LUCA
Determining the Impact of Software Engineering Research on Practice 1-gen-2008 GHEZZI, CARLO +
Evolution of Software Composition Mechanisms: A Survey 1-gen-2008 GHEZZI, CARLOPACIFICI, FILIPPO
Choosing a Software Architecture: An Approach and a Case Study 1-gen-2008 GHEZZI, CARLOTAMBURRELLI, GIORDANO
SAVVY-WS at a glance: supporting verifiable dynamic service compositions 1-gen-2008 BIANCULLI, DOMENICOGHEZZI, CARLO
Quality Prediction of Service Compositions through Probabilistic Model Checking 1-gen-2008 GHEZZI, CARLOMIRANDOLA, RAFFAELATAMBURRELLI, GIORDANO +
Rethinking the use of models in software architecture 1-gen-2008 ARDAGNA, DANILOGHEZZI, CARLOMIRANDOLA, RAFFAELA
Model Driven QoS Analyses of Composed Web Services 1-gen-2008 ARDAGNA, DANILOGHEZZI, CARLOMIRANDOLA, RAFFAELA
A journey to highly dynamic, self-adaptive service-based applications 1-gen-2008 DI NITTO, ELISABETTAGHEZZI, CARLO +
Using Graph Transformation Systems to Specify and Verify Data Abstractions 1-gen-2008 BARESI, LUCIANOGHEZZI, CARLOMOCCI, ANDREAMONGA, MATTIA
Dynamically Evolvable Dependable Software: From Oxymoron to Reality 1-gen-2008 GHEZZI, CARLO +
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
Towards a methodology for lifelong validation of service compositions 1-gen-2008 GHEZZI, CARLO +
Mostrati risultati da 51 a 100 di 195
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