IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 63
Titolo Data di pubblicazione Autore(i) File
Strong Cyclic Planning Under Partial Observability 1-gen-2006 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco
Automated Web Service Composition by On-The-Fly Belief Space Search 1-gen-2006 Bertoli, Piergiorgio; Pistore, Marco; Traverso, Paolo
Model-checking memory requirements of resource-bounded reasoners 1-gen-2006 Albore, Alexandre; N., Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; B., Logan; Serafini, Luciano
Verifying space and time requirements for resource-bounded agents 1-gen-2007 Natasha, Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; Mark, Jago; Brian, Logan; Serafini, Luciano
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code 1-gen-2007 Bertoli, Piergiorgio; Joerg, Hoffmann; Freddy, Lécué; Pistore, Marco
A Hybridized Planner for Stochastic Domains 1-gen-2007 Mausam, ; Bertoli, Piergiorgio; Daniel S., Weld
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
Web Service Composition as Planning Revisited: Between Background Theories and Initial State Uncertainty 1-gen-2007 Joerg, Hoffmann; Bertoli, Piergiorgio; Pistore, Marco
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 1-gen-2007 Bertoli, Piergiorgio; Bozzano, Marco; Cimatti, Alessandro
Having Services YourWay!: Towards User-Centric Composition of Mobile Services 1-gen-2008 Kazhamiakin, Raman; Bertoli, Piergiorgio; Massimo, Paolucci; Pistore, Marco; Matthias, Wagner
Bounded-Resource Reasoning as (Strong or Classical) Planning 1-gen-2009 Albore, Alexandre; Natasha, Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; Brian, Logan
Continuous Orchestration of Web Services via Planning 1-gen-2009 Bertoli, Piergiorgio; Kazhamiakin, Raman; Massimo, Paolucci; Pistore, Marco; Raik, Heorhi; Matthias, Wagner
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. 1-gen-2009 J., Hoffmann; Bertoli, Piergiorgio; M., Helmert; Pistore, Marco
ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain 1-gen-2009 Pistore, Marco; Braghieri, Pietro; Bertoli, Piergiorgio; Antonio, Biscaglia; Marconi, Annapaola; Stefano, Pintarelli; Trainotti, Michele
Control Flow Requirements for Automated Service Composition 1-gen-2009 Bertoli, Piergiorgio; Kazhamiakin, Raman; Massimo, Paolucci; Pistore, Marco; Raik, Heorhi; Matthias, Wagner
Automated composition of web services via planning in asynchronous domains 1-gen-2010 Bertoli, Piergiorgio; Pistore, Marco; Traverso, Paolo
SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments 1-gen-2012 Bertoli, Piergiorgio; Kazhamiakin, Raman; Nori, Michele; Pistore, Marco
Reasoning-based Techniques for Dealing with Incomplete Business Process Execution Traces 1-gen-2013 Bertoli, Piergiorgio; Di Francescomarino, Chiara; Dragoni, Mauro; Ghidini, Chiara
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 1-gen-2013 Bucchiarone, Antonio; Marconi, Annapaola; Pistore, Marco; Traverso, Paolo; Bertoli, Piergiorgio; Kazhamiakin, Raman
Modeling and Monitoring Business Process Execution 1-gen-2013 Bertoli, Piergiorgio; Dragoni, Mauro; Ghidini, Chiara; Martufi, E.; Nori, Michele; Pistore, Marco; Di Francescomarino, Chiara
Mostrati risultati da 41 a 60 di 63
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