Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 85
Titolo Data di pubblicazione Autore(i) File
Reasoning about agents' interaction protocols inside DCaseLP 2004 M. BALDONI; C. BAROGLIO; I. GUNGUI; A. MARTELLI; M. MARTELLI; V. MASCARDI; V. PATTI; C. SCHIFANELLA
Design and development of a visual environment for writing DyLOG programs 2004 C. SCHIFANELLA; L. LUSSO; M. BALDONI; C. BAROGLIO.
Verifying protocol conformance for logic-based communicating agents 2004 M. BALDONI; A. MARTELLI; C. BAROGLIO; V. PATTI; C. SCHIFANELLA
A formal framework for handling audiovisual materials 2004 BALDONI M.; BAROGLIO C.; BERTOLOTTI P.; DEL PERO R.; MARTELLI A.; MESSINA M.; SACCO G.; SCHIFANELLA C.
Personalization, verification and conformance for logic-base communicating agents 2005 M. BALDONI; A. MARTELLI; C. BAROGLIO; V. PATTI; V. MASCARDI; C. SCHIFANELLA; L. TORASSO
Verifying Protocol Conformance for Logic-Based Communicating Agents 2005 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Verifying the conformance of web services to global interaction protocols: a first step 2005 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Reasoning About Agents' Interaction Protocols Inside DCaseLP 2005 M. BALDONI; C. BAROGLIO; V. MASCARDI; I. GUNGUI; A. MARTELLI; M. MARTELLI; V. PATTI; C. SCHIFANELLA
Modeling, verifying and reasoning about web services 2006 A. MARTELLI; M. BALDONI; C. BAROGLIO; V. PATTI; C. SCHIFANELLA
The Need of Capability Requirements Inside Choreographies and Interaction Protocols 2006 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Interaction Protocols and Capabilities: a preliminary report 2006 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Interaction Protocols and Capabilities: a preliminary report 2006 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Service selection by choreography-driven matching 2007 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Preserving player's goals: a choreography-driven matchmaking approach 2007 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Goal preservation by choreography-driven matchmaking 2007 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Reasoning on choreographies and capability requirements 2007 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Conservative re-use ensuring matches for service selection 2008 M. BALDONI; C. BAROGLIO; V.PATTI; C. SCHIFANELLA
Service selection by choreography-driven matching 2008 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Structure- and Extension-Informed Taxonomy Alignment 2008 K. Selcuk Candan; Mario Cataldi; Maria Luisa Sapino; Claudio Schifanella.
Conservative re-use ensuring matches for service selection 2008 Baldoni, Matteo; Baroglio, Cristina; Patti, Viviana; Schifanella, Claudio
Mostrati risultati da 1 a 20 di 85
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