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.
Modelling Flocks of Birds from the Bottom Up
2022-01-01 De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S.
Observation Trees
1992-01-01 Degano, P; De Nicola, R; Montanari, U
On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract)
1988-01-01 Degano, P; De Nicola, R; Montanari, U
SENSORIA Process Calculi for Service-Oriented Computing
2007-01-01 Wirsing, M; De Nicola, R; Gilmore, S; Hölz, M; Lucchi, R; Tribastone, M; Zavattaro, G
Session Centered Calculi for Service Oriented Computing
2007-01-01 DE NICOLA, R
SLAC: A formal service-level-agreement language for cloud computing
2014-01-01 Uriarte, R. B.; Tiezzi, F.; De Nicola, R
Smart Contract Negotiation in Cloud Computing.
2017-01-01 Vincenzo, Scoca; Rafael Brundo, Uriarte; De Nicola, R
Software Update via Mobile Agent Based Programming
2002-01-01 Bettini, L.; DE NICOLA, R.; M, Loreti
Specifying and analysing reputation systems with a coordination language
2013-01-01 Celestini, A; De Nicola, R; Tiezzi, F
Swinging in the States: Does disinformation on Twitter mirror the US presidential election system?
2023-01-01 Pratelli, M.; Petrocchi, M.; Saracco, F.; De Nicola, R.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Modelling Flocks of Birds from the Bottom Up | 1-gen-2022 | De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S. | |
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. |
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
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ... 25
- 4 Contributo in Atti di Convegno ... 24
- 4 Contributo in Atti di Convegno ... 1
Data di pubblicazione
- 2020 - 2024 7
- 2010 - 2019 11
- 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
Rivista
- CEUR WORKSHOP PROCEEDINGS 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 20
Accesso al fulltext
- no fulltext 24
- partially open 1