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 24 (tempo di esecuzione: 0.036 secondi).
Titolo Data di pubblicazione Autore(i) File
Observation Trees 1-gen-1992 Degano, P; De Nicola, R; Montanari, U
On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract) 1-gen-1988 Degano, P; De Nicola, R; Montanari, U
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
Risultati 11 - 20 di 24 (tempo di esecuzione: 0.036 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 ... 24
  • 4 Contributo in Atti di Convegno ... 24
Autore
  • SODERI, SIMONE 3
  • 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
  • TRIBASTONE, MIRCO 1
Data di pubblicazione
  • 2020 - 2024 7
  • 2010 - 2019 10
  • 2000 - 2009 3
  • 1990 - 1999 3
  • 1988 - 1989 1
Editore
  • IEEE Computer Society 7
  • Springer 3
  • Springer Science and Business Med... 3
  • 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
  • LECTURE NOTES OF THE INSTITUTE FO... 2
  • CEUR WORKSHOP PROCEEDINGS 1
  • COMMUNICATIONS IN COMPUTER AND IN... 1
Keyword
  • Computer Networks and Communications 2
  • detection 2
  • resource constraint 2
  • security 2
  • Smart Home (SH) 2
  • Software 2
  • Agent-based models 1
  • Ant colonies 1
  • Bit-rate 1
  • Blockchain 1
Lingua
  • eng 19
Accesso al fulltext
  • no fulltext 23
  • partially open 1