Login



Publications

 

Year: 1990

  • Conference F. Di Giandomenico and L. Strigini. "Adjudicators for Diverse-Redundant Components". 9th Symposium on Reliable Distributed Systems. 1990. pp. 114-123. [More]

Year: 1989

  • Book Chapter A. Bondavalli, N. D. Francesco, D. Latella and G. Vaglini. "Shared Abstract Data Types: an Algebraic Methodology for their Specification". In 2nd Symposium on Mathematical Fundamentals of Database Systems-MFDBS'89, LNCS 364. Visegrad, Hungary : Springer-Verlag. 1989. pp. 53-67. [More]
  • Conference A. Bondavalli, N. D. Francesco, D. Latella and G. Vaglini. "Using Algebraic Specifications for Data Types Shared among Concurrent Transactions". 13th. Information Technologies Conference SARAJEVO JAHORINA 1989''. 1989. pp. 130-1-130-10. [More]
  • Conference A. Bondavalli, E. Gregori and L. Lenzini. "Proposals for improving the FASNET Performances". 13th. Information Technologies Conference SARAJEVO JAHORINA 1989''. 1989. pp. 112-1-112-9. [More]
  • Journal A. Bondavalli and L. Simoncini. "Data-flow-like model for robust computations", Journal of Computer Systems Science and Engineering, Vol. 4. 1989, pp. 176-184. [More]

Year: 1988

  • Conference T. Belli, C. Bernardeschi, A. Bondavalli and D. Latella. "Costruzione gerarchica di tipi di dati astratti condivisi". 27th Congresso annuale A.I.C.A.. 1988. pp. 165-180. [More]
  • Conference A. Bondavalli and L. Simoncini. "Modelling robust computations in a Data-Flow-Like style". 1st IEEE Workshop on Future Trends of Distributed Computing Systems. 1988. pp. 252-261. [More]
  • Conference A. Bondavalli and E. Gregori. "Concurrency Control in OSI Transactional Environments". IFIP TC6/TC8 Open Symposium on Network Information Processing Systems. 1988. pp. 69-77. [More]
  • Conference A. Bondavalli and E. Gregori. "OSIRIDE and Transactions". 2nd IEEE Int. Zurich Seminar on Digital Communications. 1988. pp. 261-266. [More]

Year: 1987

  • Conference A. Bondavalli and L. Simoncini. "Un modello per la descrizione di computazioni robuste Data-Flow-Like". 26th Congresso annuale A.I.C.A.. 1987. pp. 163-182. [More]
  • Conference A. Bondavalli and L. Simoncini. "Modelling robust computations in a Data-Flow-Like style". Workshop on Fault Tolerance in Parallel and Distributed Computing (without Proceedings). 1987. [More]

No year

  • Journal A. Ceccarelli, M. Cinque, C. Esposito, L. Foschini, C. Giannelli and P. Lollini. "FUSION—Fog Computing and Blockchain for Trusted Industrial Internet of Things", IEEE Transactions on Engineering Management. [More]
Results 526 - 537 of 537
<< Start < Prev 21 22 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web