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.
Un modello per la descrizione di computazioni robuste Data-Flow-Like
1987 A. Bondavalli;L. Simoncini
Modelling robust computations in a Data-Flow-Like style
1988 A. Bondavalli;L. Simoncini
Costruzione gerarchica di tipi di dati astratti condivisi
1988 T. Belli;C. Bernardeschi;A. Bondavalli;D. Latella
OSIRIDE and Transactions
1988 A. Bondavalli;E. Gregori
Concurrency Control in OSI Transactional Environments
1988 A. Bondavalli;E. Gregori
Shared Abstract Data Types: an Algebraic Methodology for their Specification
1989 A. Bondavalli;N. D. Francesco;D. Latella;G. Vaglini
Failures Classification with Respect to Detection
1990 A. Bondavalli;L. Simoncini
Supporto a Tempo di Esecuzione ed Ambiente per un Linguaggio Dataflow Esteso
1991 A. Bondavalli;L. Nardone
A Performable BSM Architecture
1991 A. Bondavalli;M. Mannocci;L. Nardone;L. Simoncini;F. Tarini;P. Zini
Data-Flow like Languages for Designing Dependable Real-Time Control Systems
1991 L. Strigini;A. Bondavalli;L. Simoncini
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 (Proceedings) 207
- 4 - Contributo in atti di convegno (Proceedings)::4a - Articolo in atti di congresso 207
Data di pubblicazione
- 2020 - 2023 23
- 2010 - 2019 83
- 2000 - 2009 45
- 1990 - 1999 50
- 1987 - 1989 6
Editore
- IEEE 54
- Institute of Electrical and Electronics Engineers Inc. 14
- Springer 9
- IEEE Computer Society 8
- ACM 7
- Association for Computing Machinery 6
- IEEE Computer Society Press 5
- Springer Verlag 5
- Springer-Verlag 4
- Andrea Bondavalli and Andrea Ceccarelli and Frank Ortmeier 2
Rivista
- CONFERENCE PROCEEDINGS - IEEE INSTRUMENTATION/MEASUREMENT TECHNOLOGY CONFERENCE 1
- LECTURE NOTES IN COMPUTER SCIENCE 1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 4
- CEUR WORKSHOP PROCEEDINGS 2
- COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE 1
- FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS 1
- LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 1
- LECTURE NOTES IN NETWORKS AND SYSTEMS 1
- PROCEEDINGS OF THE .. ACM SYMPOSIUM ON APPLIED COMPUTING 1
Keyword
- security 13
- Safety 11
- monitoring 9
- anomaly detection 8
- safety 7
- testing 7
- Monitoring 6
- Protocols 6
- Security 6
- biometrics 5
Lingua
- eng 1
Accesso al fulltext
- reserved 93
- partially open 66
- no fulltext 29
- open 19