Publications

Export 2364 results:
1998
Neves, N. Ferreira, Time-based coordinated checkpointing, : University of Illinois at Urbana-Champaign, 1998.
Afonso, A. Paula, F. S. Regateiro, and M. J. Silva, "UbiData: An adaptable framework for information dissemination to mobile users", Object-Oriented Technology: ECOOP'98 Workshop Reader: Springer Berlin Heidelberg, pp. 309–310, 1998.
Almeida, C., and P. Verissimo, "Using light-weight groups to handle timing failures in quasi-synchronous systems", Real-Time Systems Symposium, 1998. Proceedings., The 19th IEEE: IEEE, pp. 430–439, 1998.
1997
Guimarães, N., A. Paula Pereira, and P. Antunes, "Bridging workflow and collaboration tools", 8th EuroGDSS Workshop, 1997.
Verissimo, P., L. Rodrigues, and A. Casimiro, "Cesiumspray: a precise and accurate global time service for large-scale systems", Real-Time Systems, vol. 12, no. 3: Kluwer Academic Publishers, pp. 243–294, 1997.
Rufino, J., P. Verissimo, G. Arroz, C. Almeida, and L. Rodrigues, Design of Fault-Tolerant Broadcast Protocols for CAN, : Tech. rept. CSTC RT-97-06. Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1997.
Rufino, J., "Dual-media redundancy mechanisms for CAN", 2008-02-14)[2012-07-04]. http://dario. di. fc. ul. pt/downloads/CSTC-RT-9701. pdf, 1997.
Falcao, A. O., "DUNAS–A growth model for the National Forest of Leiria", Empirical and process-based models for forest tree and stand growth simulation, pp. 20–26, 1997.
Guo, K., and L. Rodrigues, "Dynamic light-weight groups", Distributed Computing Systems, 1997., Proceedings of the 17th International Conference on: IEEE, pp. 33–42, 1997.
Carriço, L., and N. Guimarães, "Facilitating analysis and diagnosis in organisations", Advanced Information Systems Engineering: Springer Berlin Heidelberg, pp. 131–144, 1997.
Neves, N. Ferreira, and K. W Fuchs, "Fault detection using hints from the socket layer", Reliable Distributed Systems, 1997. Proceedings., The Sixteenth Symposium on: IEEE, pp. 64–71, 1997.
Tomé, M., A. O. Falcao, and A. Amaro, "Globulus V1. 0.0: A regionalised growth model for Eucalypt plantations in Portugal", Proceedings of the IUFRO Conference: Modelling growth of fast-grown tree species, pp. 138–145, 1997.
Rufino, J., and P. Verissimo, "Hard real-time operation of CAN", TechnicalReport CSTC RT-97-02, Centro de Sistemas Telematicos e Computacionais do Instituto Superior Tecnico, Lisboa, Portugal, 1997.
Verissimo, P., J. Rufino, and L. Ming, "How hard is hard real-time communication on field-buses?", Fault-Tolerant Computing, 1997. FTCS-27. Digest of Papers., Twenty-Seventh Annual International Symposium on: IEEE, pp. 112–121, 1997.
Oliveira, I., N. Correia, and N. Guimarães, "Image processing techniques for video content extraction", Proceedings of 4th Dellos Workshop, 1997.
Almeida, T. Langlois L., A. D José, and , "On-line step size adaptation", INESC. 9 Rua Alves Redol, 1000, 1997.
Rufino, J., "An overview of the controller area network", Proceedings of the CiA Forum CAN for Newcomers, 1997.
Rufino, J., Redundant CAN architectures for dependable communication, : Tech. rept. CSTC RT-97-07. Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1997.
Verissimo, P., "On the role of time in distributed systems", Distributed Computing Systems, 1997., Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of: IEEE, pp. 316–321, 1997.
Antunes, P., and N. Guimarães, "Transforming Formal and Informal Work Processes.", CRIWG, pp. 1–8, 1997.
1996
Neves, N. Ferreira, and K. W Fuchs, "Adaptive recovery for mobile environments", High-Assurance Systems Engineering Workshop, 1996. Proceedings., IEEE: IEEE, pp. 134–141, 1996.
Correia, N., J. Martins, N. Guimarães, N. Correia, I. Oliveira, J. Martins, N. Guimarães, J. Martins, M. Goulão, and I. Oliveira, Augmenting Video Information: Content Based Hyperlinking, : International Conference on Multimedia Technology and Management, HongKong, 1996.
Verissimo, P., "Causal delivery protocols in real-time systems: A generic model", Real-Time Systems, vol. 10, no. 1: Kluwer Academic Publishers, pp. 45–73, 1996.
Correia, N., and N. Guimarães, "Components for video processing applications", Multimedia'96: Springer Vienna, pp. 44–52, 1996.
Rodrigues, L., COMPUTACAO EM SISTEMAS DISTRIBUÍDOS, , 1996.
Verissimo, P., S. Melro, A. Casimiro, and L. Silva, "Distributed industrial information systems: design and experience", Balanced Automation Systems II: Springer US, pp. 175–190, 1996.
Rodrigues, L., K. Guo, A. Sargento, R. van Renesse, B. Glade, P. Verissimo, and K. Birman, A dynamic light-weight group service, : Cornell University, 1996.
Videira, I., P. Verissimo, and H. Sarmento, "Efficient communication in a design environment", Proceedings of the 33rd annual Design Automation Conference: ACM, pp. 169–174, 1996.
Cosquer, F. J. N., P. Antunes, and P. Verissimo, "Enhancing dependability of cooperative applications in partitionable environments", Dependable Computing-EDCC-2: Springer Berlin Heidelberg, pp. 333–352, 1996.
Silva, G. X., JD. Amaral, T. Langlois, and L. B. Almeida, "Faster training of recurrent networks", Spatiotemporal models in biological and artificial systems, pp. 168–175, 1996.
Penz, F., P. Antunes, and M. J. Fonseca, "Feedback in computer supported cooperation systems: User interface design for a talk-like tool", Human Factors in Information Technology, vol. 12: Elsevier, pp. 241–257, 1996.
Nunes, L., L. B. Almeida, and T. Langlois, "Interpolation networks", Neural Networks, 1996., IEEE International Conference on, vol. 3: IEEE, pp. 1750–1754, 1996.
Costa, M., P. Guedes, M. Sequeira, N. Ferreira Neves, and M. Castro, "Lightweight logging for lazy release consistent distributed shared memory", ACM SIGOPS Operating Systems Review, vol. 30, no. si, pp. 59–73, 1996.
Almeida, C., and P. Verissimo, The Quasi-Synchronous approach to Distributed Real-Time Databases, , 1996.
Almeida, C., and P. Verissimo, Real-Time Communication in Quasi-Synchronous Systems. Providing Support for Dynamic Real-Time Applications, : Citeseer, 1996.
Rodrigues, L., Relatório da Cadeira de SISTEMAS DISTRIBUÍDOS para AMBIENTES INDUSTRIAIS Licenciatura em Engenharia Informática, 4 o Ano, 2 o Semestre, , 1996.
Verissimo, P., "SEGURAN{\c{C}}A e CONFIABILIDADE: na ordem do dia dos sistemas distribu{ídos", Jornadas do Colégio de Engenharia Electrotécnica, Ordem dos Engenheiros, vol. 12, 1996.
Neves, N. Ferreira, A-T. Nguyen, and E. L. Torres, "A study of a non-linear optimization problem using a distributed genetic algorithm", Parallel Processing, 1996. Vol. 3. Software., Proceedings of the 1996 International Conference on, vol. 2: IEEE, pp. 29–36, 1996.
Rodrigues, L., H. Fonseca, and P. Verissimo, "A synamic hybrid protocol for total order in large-scale systems", Proceedings of the 16th International Conference on Distributed Computing Systems: Citeseer, 1996.
Costa, M., A. Zhitkovich, M. Gargas, D. Paustenbach, B. Finley, J. Kuykendall, R. Billings, TJ. Carlson, K. Wetterhahn, X. S. J Patierno, et al., "T. Kasamatsu, K. Kohda and Y. Kawazoe (Japan) Retrospective dose estimates in Estonian Chernobyl clean-up workers by means of FISH F. Granath, F. Darroudi, A. Auvinen, L. Ehrenberg, T. Hakulinen, AT Natarajan, M. Rahu, T. RytSmaa, M. Tekkel and T. Veideba", Mutation Research, vol. 369, pp. 253–254, 1996.
Almeida, C., and P. Verissimo, "Timing failure detection and real-time group communication in quasi-synchronous systems", Real-Time Systems, 1996., Proceedings of the Eighth Euromicro Workshop on: IEEE, pp. 230–235, 1996.
Rodrigues, L., H. Fonseca, and P. Verissimo, "Totally ordered multicast in large-scale systems", Distributed Computing Systems, 1996., Proceedings of the 16th International Conference on: IEEE, pp. 503–510, 1996.
Rodrigues, L., K. Guo, A. Sargento, R. van Renesse, B. Glade, P. Verissimo, and K. Birman, "A transparent light-weight group service", Reliable Distributed Systems, 1996. Proceedings., 15th Symposium on: IEEE, pp. 130–139, 1996.
Antunes, P., and N. Guimarães, "User-Interface Support to Group Interaction.", CRIWG, pp. 1–10, 1996.
Neves, N. Ferreira, and K. W Fuchs, "Using time to improve the performance of coordinated checkpointing", Computer Performance and Dependability Symposium, 1996., Proceedings of IEEE International: IEEE, pp. 282–291, 1996.
Correia, N., J. Martins, I. Oliveira, and N. Guimarães, "WeatherDigest: an experiment on media conversion", Proceedings of SPIE, vol. 95, 1996.
Guimarães, N., and A. Paula Pereira, "Workflow Modeling, Automation and Augmentation,", Proc. NSF Workshop on Workflow and Process Automation in Information Systems: State of the art and future directions, Athens, Georgia, USA, 1996.
Guimarães, N., and A. Paula Pereira, "Workflow Modeling, Automation and Augmentation,"", Proc. NSF Workshop on Workflow and Process Automation in Information Systems: State of the art and future directions, Athens, Georgia, USA, 1996.
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.
Videira, I., P. Verissimo, and H. Sarmento, "Communication in a Distributed Environment", Electronic Design Automation Frameworks: Springer US, pp. 121–130, 1995.
Tomé, M., A. O. Falcao, A. Carvalho, and A. Amaro, "A global growth model for eucalypt plantations in Portugal", Lesnictvi-UZPI (Czech Republic), 1995.
Cosquer, F. J. N., and P. Verissimo, "The impact of group communication paradigms on groupware support", Distributed Computing Systems, 1995., Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of: IEEE, pp. 207–214, 1995.
Cosquer, F., P. Verissimo, and , "Large scale distribution support for cooperative applications", Proceedings of the European Reasearch Seminar on Advances in Distributed Systems (ERSADS): Citeseer, 1995.
Correia, M., and P. Pinto, "Low-level multimedia synchronization algorithms on broadband networks", Proceedings of the third ACM international conference on Multimedia: ACM, pp. 423–434, 1995.
Antunes, P., and N. Guimarães, "NGTool-Exploring Mechanisms of Support to Interactivity in the Group Process.", CRIWG, pp. 163–171, 1995.
Santos, JM., E. De Almeida, MJ. Silva, E. Silva, ML. Correia, MA. Costa, MAP. Barbosa, and AG. da Palma-Carlos, "Pneumonia and major airway involvement in primary pulmonary mucormycosis", EUROPEAN JOURNAL OF INTERNAL MEDICINE, vol. 6: EDIZIONI LUIGI POZZI, pp. 123–124, 1995.
Rodrigues, L., P. Verissimo, and A. Casimiro, "Priority-based totally ordered multicast", 3rd IFIP/IFAC workshop on Algorithms and Architectures for Real-Time Control (AARTC'95: Citeseer, 1995.
Verissimo, P., L. Rodrigues, and A. Casimiro, Priority-based totally ordered multicast., : University of Bologna, 1995.
Verissimo, P., and C. Almeida, "Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models", Bulletin of the Technical Committee on Operating Systems and Application Environments (TCOS), vol. 7, no. 4, pp. 35–39, 1995.
Almeida, C., and P. Verissimo, Real-Time Group Communication in a Quasi-Synchronous System, : Citeseer, 1995.
Verissimo, P., L. Rodrigues, and H. Fonseca, Reliable Computing over Mobile Networks, : University of Bologna, 1995.
Rodrigues, L., H. Fonseca, and P. Verissimo, "Reliable computing over mobile networks", Distributed Computing Systems, 1995., Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, Cheju Island, Korea, August 1995: IEEE, pp. 488–494, 1995.
Antunes, P., and N. Guimarães, "Structuring elements for group interaction", Second Conference on Concurrent Engineering, Research and Applications (CE95): Citeseer, 1995.
Rufino, J., and P. Verissimo, "A study on the inaccessibility characteristics of the Controller Area Network", Proc. of the 2nd International CAN Conference, vol. 95: Citeseer, 1995.
Cosquer, F. J. N., L. Rodrigues, and P. Verissimo, "Using Tailored Failure Suspectors to Support Distributed Cooperative Applications.", Parallel and Distributed Computing and Systems, pp. 352–358, 1995.
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.
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.

Pages