Publications

Export 2271 results:
1992
Silva, MB., Carlier R., Parlier-Cuau C., Schaison G., & Doyon D. (1992).  [Normal and pathologic imaging of the pituitary stalk]. Journal de radiologie. 74, 355–362.
Rodrigues, L., & Verissimo P. (1992).  A posteriori agreement for clock synchronization on broadcast networks.
Verissimo, P., & Rodrigues L. (1992).  A posteriori Agreement for Fault-tolerant Clock Synchronization on Broadcast Networksb.
Verissimo, P., & Rodrigues L. (1992).  A posteriori agreement for fault-tolerant clock synchronization on broadcast networks. Fault-Tolerant Computing, 1992. FTCS-22. Digest of Papers., Twenty-Second International Symposium on. 527–536.
Guimarães, N., Correia N., & Carmo T. A. (1992).  Programming time in multimedia user interfaces. Proceedings of the 5th annual ACM symposium on User interface software and technology. 125–134.
Melro, S., Verissimo P., & (1992).  Real-time and dependability comparison of Delta-4/XPA and Mars systems.
Vogels, W., Verissimo P., & Rodrigues L. (1992).  Requirements for high performance group support in distributed systems. Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring. 1–5.
Rufino, J., & Verissimo P. (1992).  A study on the inaccessibility characteristics of ISO 8802/4 Token-Bus LANs. INFOCOM'92. Eleventh Annual Joint Conference of the IEEE Computer and Communications Societies, IEEE. 958–967.
Rufino, J., & Verissimo P. (1992).  A study on the inaccessibility characteristics of ISO 8802/5 Token-Ring LANs. In Proceedings of the IEEE INFOCOM'92 Conference on Computer Communications.
Rufino, J., & Verissimo P. (1992).  A study on the inaccessibility characteristics of the FDDI LAN.
Carriço, L., Antunes P., Guimarães N., Pereira P., & Moreno M. (1992).  Support for open tools and systems.
Puttress, JJ., & Guimarães N. (1992).  The toolkit approach to hypermedia. Hypertext: concepts, systems and applications. 25–37.
Rodrigues, L., & Verissimo P. (1992).  xAMP: a multi-primitive group communications service. Reliable Distributed Systems, 1992. Proceedings., 11th Symposium on. 112–121.
Rodrigues, L., & Verissimo P. (1992).  xAMp: A protocol suite for group communication.
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.
Guimarães, N. (1991).  INGRID: Interactive Graphical Interface Designer. Tutorial presented at the 5th Annual X Technical Conference, Boston.
Carriço, L., Guimarães N., & Antunes P. (1991).  INGRID-an Object-Oriented Interface Builder.. TOOLS (5). 291–300.

Pages