Login



Publications

Filter:
 

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]
Results 401 - 411 of 411
<< Start < Prev 11 12 13 14 15 16 17 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web