IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 148
Titolo Data di pubblicazione Autore(i) File
Planning with Extended Goals and Partial Observability 1-gen-2003 Bertoli, Piergiorgio; Pistore, Marco
Extending PDDL to mondeterminism, limited sensing and iterative conditional plans 1-gen-2003 Bertoli, Piergiorgio; Cimatti, Alessandro; Lago U., Dal; Pistore, Marco
MBP: A Model Based Planner 1-gen-2003 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Traverso, Paolo
Specifying and Analyzing Early Requirements: Some Experimental Results 1-gen-2003 A., Fuxman; L., Liu; Pistore, Marco; Roveri, Marco; Mylopoulos, John
Agent-oriented modeling by interleaving formal and informal specification 1-gen-2003 Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo
Planning and Monitoring Web Service Composition 1-gen-2004 Pistore, Marco; F., Barbon; Bertoli, Piergiorgio; D., Sharparau; Traverso, Paolo
A Framework for Integrating Business Processes and Business Requirements 1-gen-2004 Kazhamiakin, Raman; Pistore, Marco; Roveri, Marco
Automated Composition of Semantic Web Services into Executable Processes 1-gen-2004 Traverso, Paolo; Pistore, Marco
Specifying and Analyzing Early Requirements in Tropos 1-gen-2004 A., Fuxman; L., Liu; Mylopoulos, John; Pistore, Marco; Roveri, Marco; Traverso, Paolo
Planning with Extended Goals and Partial Observability 1-gen-2004 Bertoli, Piergiorgio; Pistore, Marco
Graph Rewriting for Agent Oriented Visual Modeling 1-gen-2004 Novikau, Aliaksei; Perini, Anna; Pistore, Marco
WS-GEN: A Tool for the Automated Composition of Semantic Web Services 1-gen-2004 Pistore, Marco; Bertoli, Piergiorgio; E., Cusenza; Marconi, Annapaola; Traverso, Paolo
Formal Verification of Requirements using Spin: A Case Study on Web Services 1-gen-2004 Kazhamiakin, Raman; Pistore, Marco; Roveri, Marco
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
Requirements-Driven Verification of Web Services 1-gen-2004 Pistore, Marco; Roveri, Marco; Busetta, Paolo
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
Graph Rewriting for Agent Oriented Visual Modeling 1-gen-2004 Novikau, Aliaksei; Perini, Anna; Pistore, Marco
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 1-gen-2005 Pistore, Marco; Traverso, Paolo; Bertoli, Piergiorgio; Marconi, Annapaola
Automated Composition of Web Services by Planning at the Knowledge Level 1-gen-2005 Pistore, Marco; Marconi, Annapaola; Bertoli, Piergiorgio; Traverso, Paolo
A Hierarchical Task-Network Planner Based on Symbolic Model Checking 1-gen-2005 U., Kuter; D., Nau; Pistore, Marco; Traverso, Paolo
Mostrati risultati da 21 a 40 di 148
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