IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 146
Titolo Data di pubblicazione Autore(i) File
An Agent-Based Platform for Federated Information Systems: Some Design Issues 1-gen-2000 C., Cioffi; M., Panti; L., Penserini; Spalazzi, Luca; E., Tonucci; S., Valenti
A FIPA Compliant Agent Platform for Federated Information Systems 1-gen-2000 Panti, Maurizio; Penserini, Loris; Spalazzi, Luca; Valenti, Salvatore
Cooperation Strategies for Information Integration 1-gen-2001 M., Panti; Spalazzi, Luca; L., Penserini
A Distributed Case-Based Query Rewriting 1-gen-2001 M., Panti; Spalazzi, Luca; L., Penserini
A Survey on Case-Based Planning 1-gen-2001 Spalazzi, Luca
Using the NuSMV Model Checker to verify the Kerberos Protocol 1-gen-2002 M., Panti; Spalazzi, Luca; S., Tacconi
Verification of Payment Protocols via Multi-Agent Model Checking 1-gen-2002 M., Benerecetti; M., Panti; Spalazzi, Luca; S., Tacconi
Agent-Based Transactions into Decentralized P2P 1-gen-2002 L., Penserini; Panti, Maurizio; Spalazzi, Luca
Modeling and Evaluating Cooperation Strategies in P2P Agent 1-gen-2002 L., Penserini; L., Liu; J., Mylopoulos; M., Panti; Spalazzi, Luca
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time . 1-gen-2002 Benerecetti, M.; Panti, M.; Spalazzi, Luca; Tacconi, S.
M. J. Wooldridge, Reasoning about Rational Agents 1-gen-2003 Spalazzi, Luca
Cooperation Strategies for Agent-Based P2P Systems 1-gen-2003 L., Penserini; L., Liu; J., Mylopoulos; M., Panti; Spalazzi, Luca
Modeling and Evaluating Cooperation Strategies in P2P Agent 1-gen-2003 L., Penserini; L., Liu; J., Mylopoulos; M., Panti; Spalazzi, Luca
Automatic Verification of Security in Payment Protocols for Electronic Commerce 1-gen-2003 M., Panti; Spalazzi, Luca; S., Tacconi; S., Valenti
Socially-Based Design meets Agent Capabilities 1-gen-2004 L., Penserini; M., Kolp; Spalazzi, Luca; Panti, Maurizio
A P2P-based Infrastructure for Virtual-Enterprise's Supply-Chain Management 1-gen-2004 L., Penserini; M., Panti; Spalazzi, Luca
An Agent-Based Supply-Chain Management (extended abstract) 1-gen-2005 Panti, M.; Pagliarecci, F.; Spalazzi, L.
Model Checking the Security of Multi-Protocol Systems 1-gen-2005 M., Panti; Spalazzi, Luca; S., Tacconi; F., Pagliarecci
C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving 1-gen-2005 Spalazzi, Luca
An Agent-Based Supply-Chain Management 1-gen-2005 Panti, M.; Pagliarecci, F.; Spalazzi, Luca
Mostrati risultati da 21 a 40 di 146
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