IRIS
RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 11 - 20 di 22 (tempo di esecuzione: 0.008 secondi).
Titolo Data di pubblicazione Autore(i) File
SENSORIA Process Calculi for Service-Oriented Computing 1-gen-2007 Wirsing, M; De Nicola, R; Gilmore, S; Hölz, M; Lucchi, R; Tribastone, M; Zavattaro, G
Session Centered Calculi for Service Oriented Computing 1-gen-2007 DE NICOLA, R
SLAC: A formal service-level-agreement language for cloud computing 1-gen-2014 Uriarte, R. B.; Tiezzi, F.; De Nicola, R
Smart Contract Negotiation in Cloud Computing. 1-gen-2017 Vincenzo, Scoca; Rafael Brundo, Uriarte; De Nicola, R
Software Update via Mobile Agent Based Programming 1-gen-2002 Bettini, L.; DE NICOLA, R.; M, Loreti
Specifying and analysing reputation systems with a coordination language 1-gen-2013 Celestini, A; De Nicola, R; Tiezzi, F
Swinging in the States: Does disinformation on Twitter mirror the US presidential election system? 1-gen-2023 Pratelli, M.; Petrocchi, M.; Saracco, F.; De Nicola, R.
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 1-gen-2013 Bernardo, M; De Nicola, R; Loreti, M
Three Logics for Branching Bisimulation (Extended Abstract) 1-gen-1990 De Nicola, R; Vaandrager, F W
Towards automatic translation of social network policies into controlled natural language 1-gen-2018 Tanoli, Irfan Khan; Petrocchi, Marinella; De Nicola, Rocco
Risultati 11 - 20 di 22 (tempo di esecuzione: 0.008 secondi).
↑ Back to top
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 4 Contributo in Atti di Convegno ... 22
  • 4 Contributo in Atti di Convegno ... 22
Autore
  • Di Stefano, Luca 2
  • Inverso, Omar 2
  • VALIANI, SERENELLA 2
  • Buravlev, Vitaly 1
  • COSTA, GABRIELE 1
  • Lluch Lafuente, Alberto 1
  • MEZZINA, CLAUDIO ANTARES 1
  • PRATELLI, MANUEL 1
  • SODERI, SIMONE 1
  • TRIBASTONE, MIRCO 1
Data di pubblicazione
  • 2020 - 2023 5
  • 2010 - 2019 10
  • 2000 - 2009 3
  • 1990 - 1999 3
  • 1988 - 1989 1
Editore
  • IEEE Computer Society 7
  • Springer 2
  • Springer Science and Business Med... 2
  • ACM 1
  • Association for Computing Machinery 1
  • Association for Computing Machine... 1
  • CEUR-WS 1
  • IEEE 1
  • Institute of Electrical and Elect... 1
  • World Scientific 1
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE 2
  • CEUR WORKSHOP PROCEEDINGS 1
  • LECTURE NOTES OF THE INSTITUTE FO... 1
Keyword
  • Computer Networks and Communications 2
  • Software 2
  • Agent-based models 1
  • Ant colonies 1
  • Blockchain 1
  • Cloud Computing 1
  • Collective behaviour 1
  • Computational Theory and Mathematics 1
  • Computer Science Applications1707... 1
  • data consistency 1
Lingua
  • eng 17
Accesso al fulltext
  • no fulltext 22