Publications

Export 2272 results:
1988
Powell, D., G. Bonn, D. T. Seaton, P. Verissimo, and F. Waeselynck, "The Delta-4 approach to dependability in open distributed computing systems.", FTCS, pp. 246–251, 1988.
J Marques, A., JP. Cunha, P. Guedes, N. Guimarães, and A. Cunha, "The distributed operating system of the SMD project", Software: Practice and Experience, vol. 18, no. 9: John Wiley & Sons, Ltd., pp. 859–877, 1988.
Marques, JA., L. Simões, N. Guimarães, L. Carriço, and M. Sequeira, "Images-An Approach to an Object Oriented UIMS", Proceedings of the Autumn 1988 EUUG Conference, 1988.
Verissimo, P., "Redundant media mechanisms for dependable communication in token-bus LANs", Local Computer Networks, 1988., Proceedings of the 13th Conference on: IEEE, pp. 453–462, 1988.
1989
Verissimo, P., L. Rodrigues, and M. Baptista, "Amp: A highly parallel atomic multicast protocol", ACM SIGCOMM Computer Communication Review, vol. 19, no. 4: ACM, pp. 83–93, 1989.
Verissimo, P., and R. de Lemos, "Confiança no funcionamento: Proposta para uma terminologia em português", Publicação conjunta INESC e LCMI/UFSC, 1989.
Verissimo, P., and L. Rodrigues, Order and synchronism properties of reliable broadcast protocols, : Technical Report RT/66-89, INESC, Lisboa, Portugal, 1989.
Silva, M. J., D. Gedye, R. Katz, and R. Newton, "Protection and versioning for OCT", Proceedings of the 26th ACM/IEEE Design Automation Conference: ACM, pp. 264–269, 1989.
Shapiro, M., and N. Guimarães, "Software integration in SOMIW: Goals, accomplishments, and problems", Esprit'89, 6th Annual Esprit Conf.: North-Holland, 1989.
1990
Barret, PA., A. M. Hilborne, P. G. Bond, D. T. Seaton, P. Verissimo, L. Rodrigues, and N. A. Speirs, "The Delta-4 extra performance architecture (XPA)", Fault-Tolerant Computing, 1990. FTCS-20. Digest of Papers., 20th International Symposium: IEEE, pp. 481–488, 1990.
Verissimo, P., "Design of fault tolerant distributed systems: the fail-controlled approach", Proceedings of the 4th workshop on ACM SIGOPS European workshop: ACM, pp. 1–4, 1990.
Baptista, M., S. Graf, J-L. Richier, L. Rodrigues, C. Rodriguez, P. Verissimo, and J. Voiron, "Formal specification and verification of a network independent atomic multicast protocol", Third International Conference on Formal Description Techniques (FORTE 90), 1990.
Carriço, L., N. Guimarães, and P. Antunes, INGRID: A Graphical Tool for User Interface Construction, : Citeseer, 1990.
Fonseca, H., L. Rodrigues, J. Rufino, and P. Verissimo, "Local support environment: User specification", Relatório Técnico RT/50-90, INESC, Lisboa, Portugal, 1990.
Verissimo, P., "Real-time data management with clock-less reliable broadcast protocols", Management of Replicated Data, 1990. Proceedings., Workshop on the: IEEE, pp. 20–24, 1990.
Verissimo, P., and J. Alves Marques, "Reliable broadcast for fault-tolerance on local computer networks", Reliable Distributed Systems, 1990. Proceedings., Ninth Symposium on: IEEE, pp. 54–63, 1990.
1991
Verissimo, P., L. Rodrigues, and J. Rufino, "The atomic multicast protocol (AMp)", Delta-4: A Generic Architecture for Dependable Distributed Computing: ESPRIT Research Papers, Springer-Verlag, pp. 267–294, 1991.
Guimarães, N., "Building generic user interface tools: an experience with multiple inheritance", ACM SIGPLAN Notices, vol. 26, no. 11: ACM, pp. 89–96, 1991.
Powell, D., P. Barrett, G. Bonn, M. Chéréque, D. Seaton, and P. Verissimo, "The delta-4 distributed fault-tolerant architecture", Laboratoire d'Automatique et d'Analyse des Systemes, Report, no. 91055, 1991.
Verissimo, P., P. Verissimo, J. Rufino, and L. Rodrigues, Enforcing Real-Time behaviour on LAN-based protocols, : Citeseer, 1991.
Antunes, P., N. Guimarães, and R. Nunes, "Extending the user interface to the multiuser environment", In ECSCW'91, CSCW Developers Workshop: Citeseer, 1991.
Powell, D., "Extra Performance Architecture (XPA)", Delta-4: A Generic Architecture for Dependable Distributed Computing: Springer Berlin Heidelberg, pp. 211–266, 1991.
Baptista, M., S. Graf, JL. Richier, L. Rodrigues, C. Rodriguez, P. Verissimo, and J. Voiron, Formal Specification and Verification of a Network Independent Atomic Multicast Protocol, : FORMAL DESCRIPTION TECHNIQUES, III. IFIP. North-Holland, 1991.
Guimarães, N., "A framework for the construction of interactive applications", The INESC Journal of Research and Development, vol. 2, no. 1: INESC, pp. 50–71, 1991.
Guimarães, N., L. Carriço, and P. Antunes, "INGRID: An Object Oriented Interface Builder", Fifth International Conference on the Technology of Object-Oriented Language and Systems, Proceedings of the Tools, vol. 91, pp. 291–300, 1991.
Guimarães, N., "INGRID: Interactive Graphical Interface Designer", Tutorial presented at the 5th Annual X Technical Conference, Boston, 1991.
Carriço, L., N. Guimarães, and P. Antunes, "INGRID-an Object-Oriented Interface Builder.", TOOLS (5), pp. 291–300, 1991.
Verissimo, P., J. Rufino, H. Fonseca, and L. Rodrigues, The performance of the xAMp protocol on token-bus and fddi nac's, : Technical Report RT/109-91, INESC, Lisboa, Portugal, 1991.
Grandvalet, Y., S. Canu, D. Meizel, and T. Langlois, "PRECONDITIONING FOR IMPROVING CONVERGENCE OF BACK PROPAGATION ALGORITHM IN CONTROL APPLICATIONS", Intelligent engineering systems through artificial neural networks: proceedings of the Artificial Neural Networks in Engineering (ANNIE'91) Conference, held November 10-13, 1991, in St. Louis, Missouri, USA, vol. 1: ASME Press, pp. 89, 1991.
Bond, P., D. Seaton, P. Verissimo, and J. Waddington, "Real-time concepts", Springer-Verlag Research Reports ESPRIT Series: Delta-4: a Generic Architecture for Dependable Distributed Computing. Springer-Verlag, 1991.
Verissimo, P., and L. Rodrigues, "Reliable multicasting in high-speed LANs", High-Capacity Local and Metropolitan Area Networks: Springer Berlin Heidelberg, pp. 397–412, 1991.
Carrigo, L., N. Guimarães, and P. Antunes, Support for Interactive Tools and Systems, , 1991.
1992
Langlois, T., {Algorithmes d'apprentissage par renforcement pour la commande adaptative: Texte imprimé, : Compiégne, 1992.
Langlois, T., Algorithmes d'apprentissage par renforcement pour la commande adaptative, , 1992.
Savoj, H., M. J. Silva, R. K. Brayton, and A. Sangiovanni-Vincentelli, "Boolean matching in logic synthesis", Proceedings of the conference on European design automation: IEEE Computer Society Press, pp. 168–174, 1992.
Schwarz, R., "Causality in distributed systems", Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring: ACM, pp. 1–5, 1992.
Langlois, T., and S. Canu, "Control of time-delay systems using reinforcement learning", Artificial Neural Networks, vol. 2, no. 1, 1992.
Antunes, P., N. Guimarães, and R. Nunes, "Extending the user interface to the multiuser environment", ACM SIGOIS Bulletin, vol. 13, no. 1: ACM, pp. 5–7, 1992.
Vogels, W., L. Rodrigues, and P. Verissimo, Fast group communication for standard workstations, , 1992.
Verissimo, P., and L. Rodrigues, "Group orientation: a paradigm for distributed systems of the nineties", Distributed Computing Systems, 1992., Proceedings of the Third Workshop on Future Trends of: IEEE, pp. 57–63, 1992.
Verissimo, P., and L. Rodrigues, "Group orientation: a paradigm for modern distributed systems", Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring: ACM, pp. 1–6, 1992.
Rufino, J., and P. Verissimo, An Investigation on the Inaccessibility Characteristics of Standard Token-Based LANs, , 1992.
Carlier, R., V. BATCHVAROV, ABC. IDIR, N. GAGEY, M. J. Silva, and D. Doyon, "IRM des neurinomes lombo-sacrés radiculaires et tronculaires: étude rétrospective de 15 cas", Rachis, vol. 4, no. 6: Edimédica, pp. 325–334, 1992.
Rufino, J., and P. Verissimo, "Minimizing token-bus inaccessiblity through network planning and parameterizing", EFOC LAN: EFOC & N, pp. 253–258, 1992.
Silva, MB., R. Carlier, C. Parlier-Cuau, G. Schaison, and D. Doyon, "[Normal and pathologic imaging of the pituitary stalk]", Journal de radiologie, vol. 74, no. 6-7, pp. 355–362, 1992.
Rodrigues, L., and P. Verissimo, A posteriori agreement for clock synchronization on broadcast networks, : Citeseer, 1992.
Verissimo, P., and L. Rodrigues, A posteriori Agreement for Fault-tolerant Clock Synchronization on Broadcast Networksb, , 1992.
Verissimo, P., and L. Rodrigues, "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: IEEE, pp. 527–536, 1992.
Guimarães, N., N. Correia, and T. A. Carmo, "Programming time in multimedia user interfaces", Proceedings of the 5th annual ACM symposium on User interface software and technology: ACM, pp. 125–134, 1992.
Melro, S., P. Verissimo, and , Real-time and dependability comparison of Delta-4/XPA and Mars systems, , 1992.
Vogels, W., P. Verissimo, and L. Rodrigues, "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: ACM, pp. 1–5, 1992.
Rufino, J., and P. Verissimo, "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: IEEE, pp. 958–967, 1992.
Rufino, J., and P. Verissimo, "A study on the inaccessibility characteristics of ISO 8802/5 Token-Ring LANs", In Proceedings of the IEEE INFOCOM'92 Conference on Computer Communications, 1992.
Rufino, J., and P. Verissimo, A study on the inaccessibility characteristics of the FDDI LAN, : Technical Report RT/25-92, INESC, Lisboa, Portugal, 1992.
Carriço, L., P. Antunes, N. Guimarães, P. Pereira, and M. Moreno, Support for open tools and systems, , 1992.
Puttress, JJ., and N. Guimarães, "The toolkit approach to hypermedia", Hypertext: concepts, systems and applications: Cambridge University Press, pp. 25–37, 1992.
Rodrigues, L., and P. Verissimo, "xAMP: a multi-primitive group communications service", Reliable Distributed Systems, 1992. Proceedings., 11th Symposium on: IEEE, pp. 112–121, 1992.
Rodrigues, L., and P. Verissimo, xAMp: A protocol suite for group communication, : Citeseer, 1992.
1993
Parlier-Cuau, C., RY. Carlier, P. David, M. J. Silva, and D. Doyon, "Abcés sous-dural: complication rare d'une infiltration épidurale: á propos d'un cas et revue de la littérature", Journal de radiologie, vol. 74, no. 4: Masson, pp. 205–209, 1993.
Silva, M. J., and R. H. Katz, "Active documentation: a new interface for VLSI design", Design Automation, 1993. 30th Conference on: IEEE, pp. 654–660, 1993.
Verissimo, P., and W. Vogels, "The changing face of technology in distributed systems", Distributed Computing Systems, 1993., Proceedings of the Fourth Workshop on Future Trends of: IEEE, pp. 119–127, 1993.
Cavaguti, N., and MJD. Silva, "Desenvolvimento urbano, erosão e degradação dos recursos h{ídricos por assoreamento em Bauru-SP", SIMPÓSIO BRASILEIRO DE RECURSOS HÍDRICOS, vol. 10, 1993.
Antunes, P., and N. Guimarães, "A distributed model and architecture for interactive cooperation", Distributed Computing Systems, 1993., Proceedings of the Fourth Workshop on Future Trends of: IEEE, pp. 143–149, 1993.
Penz, F., P. Antunes, and M. J. Fonseca, "Feedback in computer supported cooperation systems: Example of the user interface design for a talk-like tool", 12th Schaerding International Workshop, The Design of Computer Supported Cooperative Work and Groupware Systems, 1993.
Verissimo, P., W. Vogels, and L. Rodrigues, A Framework for Structuring Group Support in LSDCs, : Technical Report RT/19-94, INESC, BROADCAST REPORT, Lisboa, Portugal, September 1993. Expanded version of a paper in procs. 4th IEEE Workshop on Future Trends of Distr. Comput. Syst., Lisboa-Portugal, 1993.
Grunberg, A., R. Carlier, F. Bekkali, M. J. Silva, P. Chemouilli, and D. Doyon, "Hématomes sous-duraux rachidiens: présentation de deux cas explorés en IRM", Journal de radiologie, vol. 74, no. 5: Masson, pp. 291–295, 1993.
Silva, MB., R. Carlier, C. Parlier-Cuau, G. Schaison, and D. Doyon, "Imagerie normale et pathologique de la tige pituitaire", Journal de radiologie, vol. 74, no. 6-7: Masson, pp. 355–362, 1993.
Rodrigues, L., P. Verissimo, and J. Rufino, "A low-level processor group membership protocol for LANs", Distributed Computing Systems, 1993., Proceedings the 13th International Conference on: IEEE, pp. 541–550, 1993.
Castro, M., N. Ferreira Neves, P. Trancoso, and P. Sousa, "MIKE: A Distributed object-oriented programming platform on top of the Mach micro-kernel", Proceedings of the 3rd conference on USENIX MACH III Symposium-Volume 1: USENIX Association, pp. 6–6, 1993.
Penz, F., and L. Carriço, "Objects feeling objects in a multiview object space", Human Computer Interaction: Springer Berlin Heidelberg, pp. 25–36, 1993.
Kopetz, H., and P. Verissimo, "Real time and dependability concepts", Distributed systems (2nd Ed.): ACM Press/Addison-Wesley Publishing Co., pp. 411–446, 1993.
Verissimo, P., "Real-time communication", Distributed Systems, 2nd Edition, ACM-Press. Addison-Wesley, 1993.
Rodrigues, L., and P. Verissimo, Replicated object management using group technology, , 1993.
Grunberg, A., R. Carlier, F. Bekkali, M. J. Silva, P. Chemouilli, and D. Doyon, "[Spinal subdural hematoma. Presentation of 2 cases studied with MRI]", Journal de radiologie, vol. 74, no. 5, pp. 291–295, 1993.
Parlier-Cuau, C., RY. Carlier, P. David, M. J. Silva, and D. Doyon, "[Subdural abscess. Rare complication of epidural infiltration. Apropos of a case and review of the literature]", Journal de radiologie, vol. 74, no. 4, pp. 205–209, 1993.
Correia, N., and N. Guimarães, "TaX: a tool for building time dependent applications", The X Resource, no. 5: O'Reilly & Associates, Inc., pp. 193–202, 1993.
J Marques, A., P. Guedes, P. Sousa, M. Sequeira, N. Guimarães, J. Monge, A. Zúquete, and P. Ferreira, A Unix Implementation of the Comandos Virtual Machine, , 1993.
Rodrigues, L., P. Verissimo, and A. Casimiro, "Using atomic broadcast to implement a posteriori agreement for clock synchronization", Reliable Distributed Systems, 1993. Proceedings., 12th Symposium on: IEEE, pp. 115–124, 1993.
1994
Silva, M. J., T-cker. Chiueh, and R. H. Katz, Active documentation for VLSI design, : University of California, Berkeley, 1994.
Langlois, T., and S. Canu, "B-learning: a reinforcement learning variant for the control of a plant", Journal of intelligent material systems and structures, vol. 5, no. 2: Sage Publications, pp. 272–278, 1994.
Neves, N. Ferreira, M. Castro, and P. Guedes, "A checkpoint protocol for an entry consistent shared memory system", Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing: ACM, pp. 121–129, 1994.
Chambel, T., C. Moreno, P. Antunes, and , Concepts and architecture for loosely coupled integration of hyperbases, : University of Bologna, 1994.
Guedes, P., M. Castro, and N. Ferreira Neves, "The DiSOM distributed shared object memory", Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs: ACM, pp. 138–140, 1994.
Santos, JM., M. Esteves, MJ. Silva, E. Silva, MA. Barbosa, and AG. da Palma-Carlos, "Ebstein's anomaly of the tricuspid valve. Clinical tolerance up to 38 years of age and pregnancy.", Acta Médica Portuguesa, vol. 7, no. 11, pp. 627–30, 1994.
Rodrigues, L., and P. Verissimo, "How to avoid the cost of causal communication in large-scale systems", Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs: ACM, pp. 106–111, 1994.
Siegel, L. Rodrigues, and P. Verissimo, "IST-INESC* ERCIM-INESC IST-INESC", 1994 IEEE 13th Symposium on Reliable Distributed Systems: IEEE Computer Society, pp. 160, 1994.
Antunes, P., and N. Guimarães, "Multiuser Interface Design in CSCW Systems", ESPRIT Basic, 1994.
Verissimo, P., "Ordering and timeliness requirements of dependable real-time programs", Real-time systems, vol. 7, no. 2: Kluwer Academic Publishers, pp. 105–128, 1994.
Sousa, P., A. Zúquete, N. Ferreira Neves, and J. Alves Marques, "Orthogonal persistence in a heterogeneous distributed object-oriented environment", The Computer Journal, vol. 37, no. 6: Br Computer Soc, pp. 531–541, 1994.
Rodrigues, L., E. Siegel, and P. Verissimo, "A replication-transparent remote invocation protocol", Reliable Distributed Systems, 1994. Proceedings., 13th Symposium on: IEEE, pp. 160–169, 1994.
Rodrigues, L., and P. Verissimo, The ROMANCE approach to replicated object management, : Citeseer, 1994.
Cosquer, F. J. N., and P. Verissimo, Survey of selected groupware applications and supporting platforms, : University of Bologna, 1994.
Correia, N., and N. Guimarães, "Time and synchronization objects for multimedia application construction", Proceedings of the Fourth Eurographics Workshop on Object-Oriented Graphics, Sintra, Portugal, pp. 45–52, 1994.
1995
Rodrigues, L., and P. Verissimo, "1ST*-INESC* ler@ inesc. pt", Proceedings of the 15th International Conference on Distributed Computing Systems: IEEE, pp. 83, 1995.
Almeida, C., and P. Verissimo, "An adaptive real-time group communication protocol", Factory Communication Systems, 1995. WFCS'95, Proceedings., 1995 IEEE International Workshop on: IEEE, pp. 63–71, 1995.
Cosquer, F. J. N., P. Antunes, N. Guimarães, and P. Verissimo, Adaptive Synchronous Cooperation over Large Scale Networks, : Technical Report RT-95, INESC, Rua Alves Redol 9, 1995.
Antunes, P., N. Guimarães, J. Segovia, and J. Cardenosa, "Beyond formal processes: Augmenting workflow with group interaction techniques", Proceedings of conference on Organizational computing systems: ACM, pp. 1–9, 1995.
Silva, M. J., and R. H. Katz, "The case for design using the World Wide Web", Proceedings of the 32nd annual ACM/IEEE Design Automation Conference: ACM, pp. 579–585, 1995.
Rodrigues, L., and P. Verissimo, "Causal separators and topological timestamping: an approach to support causal multicast in large-scale systems", Proceedings of the 15th International Conference on Distributed Systems: Citeseer, 1995.
Rodrigues, L., and P. Verissimo, "Causal separators for large-scale multicast communication", Distributed Computing Systems, 1995., Proceedings of the 15th International Conference on: IEEE, pp. 83–91, 1995.

Pages