Publications

Export 2069 results:
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.
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..
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.
1991
Verissimo, P., Rodrigues L., & Rufino J. (1991).  The atomic multicast protocol (AMp). Delta-4: A Generic Architecture for Dependable Distributed Computing. 267–294.
Guimarães, N. (1991).  Building generic user interface tools: an experience with multiple inheritance. ACM SIGPLAN Notices. 26, 89–96.
Powell, D., Barrett P., Bonn G., Chéréque M., Seaton D., & Verissimo P. (1991).  The delta-4 distributed fault-tolerant architecture. Laboratoire d'Automatique et d'Analyse des Systemes, Report.
Verissimo, P., Verissimo P., Rufino J., & Rodrigues L. (1991).  Enforcing Real-Time behaviour on LAN-based protocols.
Antunes, P., Guimarães N., & Nunes R. (1991).  Extending the user interface to the multiuser environment. In ECSCW'91, CSCW Developers Workshop.
Powell, D. (1991).  Extra Performance Architecture (XPA). Delta-4: A Generic Architecture for Dependable Distributed Computing. 211–266.
Baptista, M., Graf S., Richier JL., Rodrigues L., Rodriguez C., Verissimo P., et al. (1991).  Formal Specification and Verification of a Network Independent Atomic Multicast Protocol.
Guimarães, N. (1991).  A framework for the construction of interactive applications. The INESC Journal of Research and Development. 2, 50–71.
Guimarães, N., Carriço L., & Antunes P. (1991).  INGRID: An Object Oriented Interface Builder. Fifth International Conference on the Technology of Object-Oriented Language and Systems, Proceedings of the Tools. 91, 291–300.

Pages