Publications

Export 2069 results:
1991
Bond, P., Seaton D., Verissimo P., & Waddington J. (1991).  Real-time concepts. Springer-Verlag Research Reports ESPRIT Series: Delta-4: a Generic Architecture for Dependable Distributed Computing. Springer-Verlag.
Verissimo, P., & Rodrigues L. (1991).  Reliable multicasting in high-speed LANs. High-Capacity Local and Metropolitan Area Networks. 397–412.
Carrigo, L., Guimarães N., & Antunes P. (1991).  Support for Interactive Tools and Systems.
1990
Barret, PA., Hilborne A. M., Bond P. G., Seaton D. T., Verissimo P., Rodrigues L., et al. (1990).  The Delta-4 extra performance architecture (XPA). Fault-Tolerant Computing, 1990. FTCS-20. Digest of Papers., 20th International Symposium. 481–488.
Verissimo, P. (1990).  Design of fault tolerant distributed systems: the fail-controlled approach. Proceedings of the 4th workshop on ACM SIGOPS European workshop. 1–4.
Baptista, M., Graf S., Richier J-L., Rodrigues L., Rodriguez C., Verissimo P., et al. (1990).  Formal specification and verification of a network independent atomic multicast protocol. Third International Conference on Formal Description Techniques (FORTE 90).
Carrico, L., Guimarães N., & Antunes P. (1990).  INGRID: A Graphical Tool for User Interface Construction.
Fonseca, H., Rodrigues L., Rufino J., & Verissimo P. (1990).  Local support environment: User specification. Relatório Técnico RT/50-90, INESC, Lisboa, Portugal.
Verissimo, P. (1990).  Real-time data management with clock-less reliable broadcast protocols. Management of Replicated Data, 1990. Proceedings., Workshop on the. 20–24.
Verissimo, P., & Marques J. Alves (1990).  Reliable broadcast for fault-tolerance on local computer networks. Reliable Distributed Systems, 1990. Proceedings., Ninth Symposium on. 54–63.
1989
Verissimo, P., Rodrigues L., & Baptista M. (1989).  Amp: A highly parallel atomic multicast protocol. ACM SIGCOMM Computer Communication Review. 19, 83–93.
Verissimo, P., & de Lemos R. (1989).  Confiança no funcionamento: Proposta para uma terminologia em português. Publicação conjunta INESC e LCMI/UFSC.
Verissimo, P., & Rodrigues L. (1989).  Order and synchronism properties of reliable broadcast protocols.
Silva, M. J., Gedye D., Katz R., & Newton R. (1989).  Protection and versioning for OCT. Proceedings of the 26th ACM/IEEE Design Automation Conference. 264–269.
Shapiro, M., & Guimarães N. (1989).  Software integration in SOMIW: Goals, accomplishments, and problems. Esprit'89, 6th Annual Esprit Conf..
1988
Powell, D., Bonn G., Seaton D. T., Verissimo P., & Waeselynck F. (1988).  The Delta-4 approach to dependability in open distributed computing systems.. FTCS. 246–251.
J Marques, A., Cunha JP., Guedes P., Guimarães N., & Cunha A. (1988).  The distributed operating system of the SMD project. Software: Practice and Experience. 18, 859–877.
Marques, JA., Simões L., Guimarães N., Carriço L., & Sequeira M. (1988).  Images-An Approach to an Object Oriented UIMS. Proceedings of the Autumn 1988 EUUG Conference.
Verissimo, P. (1988).  Redundant media mechanisms for dependable communication in token-bus LANs. Local Computer Networks, 1988., Proceedings of the 13th Conference on. 453–462.

Pages