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.
Risultati 21 - 25 di 25 (tempo di esecuzione: 0.019 secondi).
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
2013-01-01 Bernardo, M; De Nicola, R; Loreti, M
Three Logics for Branching Bisimulation (Extended Abstract)
1990-01-01 De Nicola, R; Vaandrager, F W
Towards automatic translation of social network policies into controlled natural language
2018-01-01 Tanoli, Irfan Khan; Petrocchi, Marinella; De Nicola, Rocco
Towards distributed SLA management with smart contracts and blockchain
2018-01-01 Uriarte, Rafael Brundo; De Nicola, Rocco; Kritikos, Kyriakos
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
2011-01-01 Bernardo, M; De Nicola, R; Loreti, M
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
Towards distributed SLA management with smart contracts and blockchain | 1-gen-2018 | Uriarte, Rafael Brundo; De Nicola, Rocco; Kritikos, Kyriakos | |
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi | 1-gen-2011 | Bernardo, M; De Nicola, R; Loreti, M |
Risultati 21 - 25 di 25 (tempo di esecuzione: 0.019 secondi).
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