Publications

Export 2364 results:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Z
Zurita, G., N. Baloian, F. Baytelman, A. Farias, and P. Antunes, "A Platform Supporting the Implementation of Collaborative Learning through Participatory Simulations", Computer Supported Cooperative Work in Design IV: Springer Berlin Heidelberg, pp. 523–533, 2008.
Zurita, G., P. Antunes, N. Baloian, and F. Baytelman, "Mobile Sensemaking: Exploring Proximity and Mobile Applications in the Classroom.", J. UCS, vol. 13, no. 10, pp. 1434–1448, 2007.
Zurita, G., P. Antunes, N. Baloian, F. Baytelman, A. Farias, and , "Visually-Driven Decision Making Using Handheld Devices.", CDM, pp. 257–269, 2008.
Zurita, G., P. Antunes, L. Carriço, F. Baytelman, M. de Sá, and N. Baloian, "Analyzing the roles of PDA in meeting scenarios", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 364–380, 2006.
Zurita, G., P. Antunes, N. Baloian, L. Carriço, F. Baytelman, and M. de Sá, "Using PDAs in Meetings: Patterns, Architecture and Components.", J. UCS, vol. 14, no. 1, pp. 123–147, 2008.
Zurita, G., N. Baloian, F. Baytelman, A. Farias, and P. Antunes, "A Framework like a tool for specify motivating Collaborative Learning Participatory Simulations", Computer Supported Cooperative Work in Design, 2007. CSCWD 2007. 11th International Conference on: IEEE, pp. 1016–1021, 2007.
Zurita, G., N. Baloian, P. Antunes, and F. Baytelman, "Applying Sensemaking in a Mobile Learning Scenario.", EC-TEL (Posters), 2007.
Zúquete, A., A. Ferreira, C. J. Costa, D. Magalhães, D. Vieira, F. Simões, J. Ferreira Dias, L. Carriço, P. Ferreira, P. Antunes, et al., Voto Electrónico-Discussão Técnica dos Seus Problemas e Oportunidades, : Voto Electrónico-Discussão Técnica dos Seus Problemas e Oportunidades, 2008.
Zhang, H., M. Constantino, and A. O. Falcao, "Modeling forest core area with integer programming", Annals of Operations Research, vol. 190, no. 1: Springer US, pp. 41–55, 2011.
Zamite, J., D. Domingos, M. J. Silva, and C. Santos, "Group-Based Discretionary Access Control in Health Related Repositories", Journal of Information Technology Research (JITR), vol. 7, no. 1: IGI Global, pp. 78–94, 2014.
Zamite, J., F. Silva, F. Couto, and M. J. Silva, "MEDCollector: Multisource epidemic data collector", Transactions on large-scale data-and knowledge-centered systems IV: Springer Berlin Heidelberg, pp. 40–72, 2011.
Zamite, J., D. Domingos, M. J. Silva, and C. Santos, "Group-based discretionary access control for epidemiological resources", Procedia Technology, vol. 9: Elsevier, pp. 1149–1158, 2013.
Zamite, J., F. Silva, F. Couto, and M. J. Silva, "MEDCollector: Multisource epidemic data collector", Information Technology in Bio-and Medical Informatics, ITBAM 2010: Springer, pp. 16–30, 2010.
Zahn, C., and T. Chambel, Knowledge Acquisition with Hypervideos-Issues of Cognitive Load, : Earli'2005, 11th Biennial Conference of the European Association for Research on Learning and Instruction, Theme: Integrating Multiple Perspectives of Effective Learning Environments-Symposium on Digital Video as a Cognitive Tool to Support Interactive Le, 2005.
W
Winstanley, C., R. Ramdhany, iv, F. Ta\"ıani, B. Porter, and H. Miranda, "PAMPA in the wild: a real-life evaluation of a lightweight ad-hoc broadcasting family", Proceedings of the 7th International Workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks: ACM, pp. 3, 2012.
Winstanley, C., R. Ramdhany, iv, F. Taiani, B. Porter, and H. Miranda, "{PAMPA} in the wild: a real-life evaluation of a lightweight ad-hoc broadcasting family", Journal of Internet Services and Applications, vol. 5, 2014.
Wichert, A., and M. J. Silva, Hierarchical linear subspace indexing method, : Department of Informatics, University of Lisbon, 2006.
Weatherspoon, H., H. Miranda, K. Iwanicki, A. Ghodsi, and Y. Busnel, "Gossiping over storage systems is practical", ACM SIGOPS Operating Systems Review, vol. 41, no. 5: ACM, pp. 75–81, 2007.
Wang, F., G. Luo, C. Weng, A. Khan, P. Mitra, and C. Yu, Biomedical Data Management and Graph Online Querying, : Springer, 2016.
Waldron, D. L., A. Preske, J. M. Zawodny, T. D. Krauss, and M. C. Gupta, "PbSe quantum dot based luminescent solar concentrators", Nanotechnology, vol. 28, no. 9: IOP Publishing, pp. 095205, 2017.
V
Votis, K., R. Lopes, D. Tzovaras, L. Carriço, and S. Likothanassis, "A Semantic Accessibility Assessment Environment for Design and Development for the Web", Universal Access in Human-Computer Interaction. Applications and Services: Springer Berlin Heidelberg, pp. 803–813, 2009.
Vogt, R., N. Baloian Tataryan, G. Zurita Alarcón, P. Antunes, and C. Sapateiro, Supporting Crisis Management Processes by Wirelessly Interconnected Tablet-PCs, , 2008.
Vogels, W., L. Rodrigues, and P. Verissimo, Fast group communication for standard workstations, , 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.
Vlachou, C., W. Krawec, P. Mateus, N. Paunkovic, and A. Souto, "Quantum key distribution with quantum walks", Quantum Information Processing, vol. 17, no. 11: Springer, pp. 288, 2018.
Vlachou, C., W. Krawec, P. Mateus, N. Paunkovic, and A. Souto, "Quantum key distribution with quantum walks", arXiv preprint arXiv:1710.07979, 2017.
Vilaça, X., J. Leitao, M. Correia, and L. Rodrigues, "N-party BAR transfer", Principles of Distributed Systems: Springer Berlin Heidelberg, pp. 392–408, 2011.
Vilaça, X., L. Rodrigues, J. Silva, and H. Miranda, "{FastRank}: Practical Lightweight Tolerance to Rational Behaviour in Edge Assisted Streaming", Proceedings of the 18th International Conference on Distributed Computing and Networking, Hyderabad, India, ACM, 2017.
Vilaça, X., L. Rodrigues, J. Silva, H. Miranda, G. Correia, and T. Maurício, "FastRank: Practical lightweight tolerance to rational behavior in edge assisted streaming", Pervasive and Mobile Computing, vol. 46: Elsevier, pp. 18–33, 2018.
Vieira, M., A. Casimiro Costa, and H. Madeira, "TACID transactions", Proceedings of the First conference on Hot topics in system dependability: USENIX Association, pp. 10–10, 2005.
Vieira, P., T. Gonçalves, A. Paula Afonso, and M. Beatriz Carmo, "Animated maps for analysis of personal performance in games", Computação Gráfica e Interação (EPCGI), 2017 24º Encontro Português de: IEEE, pp. 1–8, 2017.
Vieira, H. Torres, and V. T. Vasconcelos, "Typing progress in communication-centred systems", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 236–250, 2013.
Vieira, M., A. Casimiro, and H. Madeira, "Timely ACID Transactions in DBMS", Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks: IEEE Computer Society Press, pp. 102–103, 2004.
Vieira, D., and F. Martins, "Integrating WSN simulation into workflow testing and execution", Sensor Systems and Software: Springer Berlin Heidelberg, pp. 205–218, 2011.
Vieira, F., P. Sousa, and A. Neves Bessani, "Transparent Byzantine Fault-Tolerant Directory Service using COTS components", Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009)-Fast Abstract, Estoril, Portugal, 2009.
Vieira, D., and F. Martins, "Automatic generation of WSN simulations: From Callas applications to VisualSense models", Sensor Technologies and Applications (SENSORCOMM), 2010 Fourth International Conference on: IEEE, pp. 336–341, 2010.
Viegas, E., A. Santin, A. Bessani, and N. Neves, "BigFlow: Real-time and reliable anomaly-based intrusion detection for high-speed networks", Future Generation Computer Systems: Elsevier, 2018.
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.
Videira, I., P. Verissimo, and H. Sarmento, "Communication in a Distributed Environment", Electronic Design Automation Frameworks: Springer US, pp. 121–130, 1995.
Vicente, P., H. Miranda, and L. Rodrigues, Protocolo H{íbrido de Ordem Total Uniforme com entrega Optimista, : Department of Informatics, University of Lisbon, 2001.
Vicente, P., and L. Rodrigues, "An indulgent uniform total order algorithm with optimistic delivery", Reliable Distributed Systems, 2002. Proceedings. 21st IEEE Symposium on: IEEE, pp. 92–101, 2002.
Viana, P., T. Chambel, M. V. Bove, S. Strover, and G. Thomas, Special Issue on "Immersive Media Experiences"", MTAPS: Multimedia Tools and Applications, , 2016.
Vial, E., and A. Casimiro, "Evaluation of Safety Rules in a Safety Kernel-Based Architecture", Computer Safety, Reliability, and Security: Springer International Publishing, pp. 27–35, 2014.
Veronese, G. Santos, M. Correia, A. Neves Bessani, C. L Lung, and P. Verissimo, Minimal Byzantine fault tolerance: Algorithm and evaluation, , 2009.
Veronese, G. Santos, M. Correia, C. L Lung, and A. Neves Bessani, Minimal Byzantine fault tolerance, : Department of Informatics, University of Lisbon, 2008.
Veronese, G. Santos, M. Correia, A. Neves Bessani, C. L Lung, and P. Verissimo, "Efficient byzantine fault-tolerance", Computers, IEEE Transactions on, vol. 62, no. 1: IEEE, pp. 16–30, 2013.
Veronese, G. Santos, V. Miguel, C. Lau, C. L Lung, and P. Verissimo, On the Effects of Finite Memory on Intrusion-Tolerant Systems*, , 2007.
Veronese, G. Santos, M. Correia, A. Neves Bessani, and C. L Lung, "Highly-resilient services for critical infrastructures", Proceedings of the Embedded Systems and Communications Security Workshop, 2009.
Veronese, G. Santos, M. Correia, A. Neves Bessani, and C. L Lung, "Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary", Reliable Distributed Systems, 2009. SRDS'09. 28th IEEE International Symposium on: IEEE, pp. 135–144, 2009.
Veronese, G. Santos, M. Correia, C. L Lung, and P. Verissimo, "On the effects of finite memory on intrusion-tolerant systems", Dependable Computing, 2007. PRDC 2007. 13th Pacific Rim International Symposium on: IEEE, pp. 401–404, 2007.
Veronese, G. Santos, M. Correia, A. Neves Bessani, and C. L Lung, "EBAWA: Efficient Byzantine agreement for wide-area networks", High-Assurance Systems Engineering (HASE), 2010 IEEE 12th International Symposium on: IEEE, pp. 10–19, 2010.
Veronese, G. Santos, M. Correia, C. L Lung, and P. Verissimo, "Finite Memory: a Vulnerability of Intrusion-Tolerant Systems", Network Computing and Applications, 2008. NCA'08. Seventh IEEE International Symposium on: IEEE, pp. 37–44, 2008.
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., N. Ferreira Neves, and M. Correia, The middleware architecture of MAFTIA: A blueprint, : Department of Informatics, University of Lisbon, 2000.
Verissimo, P., and N. Ferreira Neves, "Service and Protocol Architecture for the MAFTIA Middleware", Deliverable D23, Project MAFTIA IST-1999-11583, 2001.
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.
Verissimo, P., and A. Casimiro, The timely computing base. DI, : FCUL TR 99–2, Department of Computer Science, University of Lisboa, Apr. 1999. Short version appeared in the Digest of Fast Abstracts, The 29th IEEE Intl. Symposium on Fault-Tolerant Computing, Madison, USA, 1999.
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.
Verissimo, P., A. Casimiro, L. Miguel Pinho, F. Vasques, L. Rodrigues, and E. Tovar, Distributed computer-controlled systems: the DEAR-COTS approach, : IPP-Hurray Group, 2000.
Verissimo, P., and L. Rodrigues, "Fault-Tolerant Systems Foundations", Distributed Systems for System Architects: Springer US, pp. 171–192, 2001.
Verissimo, P., and L. Rodrigues, "Distributed Real-Time Systems and Platforms", Distributed Systems for System Architects: Springer US, pp. 355–368, 2001.
Verissimo, P., V. Cahill, A. Casimiro, K. Cheverst, A. Friday, and J. Kaiser, CORTEX: Towards Supporting Autonomous and Cooperating Sentient Objects, : Department of Informatics, University of Lisbon, 2002.
Verissimo, P., and L. Rodrigues, "Models of Distributed Real-Time Computing", Distributed Systems for System Architects: Springer US, pp. 321–354, 2001.
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.
Verissimo, P., N. Ferreira Neves, M. Correia, and I-T. Architectures, "Concepts and Design''", Architecting Dependable Systems TR-03-5, April, 2003.
Verissimo, P., and L. Rodrigues, Distributed Systems for System Architects (Advances in Distributed Computing and Middleware, Volume 1)(Advances in Distributed Computing and Middleware), : Springer, 2001.
Verissimo, P., "Trustworthiness of open information systems: how should it be achieved?", Reliable Distributed Systems, 2003. Proceedings. 22nd International Symposium on: IEEE, pp. 315–315, 2003.
Verissimo, P., KT. Timenetsky, E. Colucci, TJ. Andre, LHR. Goncalves, CIC. Garcia, ASY. Yang, and RA. Caserta, "IMPACT OF A SPECIFIC INSPIRATORY MUSCLE TRAINING IN EXERCISE CAPACITY AND INSPIRATORY MUSCLE FORCE IN HOSPITALIZED ACUTE HEART FAILURE PATIENTS: PILOT STUDY", INTENSIVE CARE MEDICINE, vol. 40: SPRINGER 233 SPRING ST, NEW YORK, NY 10013 USA, pp. S29–S30, 2014.
Verissimo, P., L. Rodrigues, and H. Fonseca, Reliable Computing over Mobile Networks, : University of Bologna, 1995.
Verissimo, P., and L. Rodrigues, "Case Study: Making VP'63 Dependable", Distributed Systems for System Architects: Springer US, pp. 271–274, 2001.
Verissimo, P., N. Ferreira Neves, M. Correia, Y. Deswarte, A. Abou El Kalan, A. Bondavalli, and A. Daidone, "The CRUTIAL architecture for critical information infrastructures", Architecting Dependable Systems V: Springer Berlin Heidelberg, pp. 1–27, 2008.
Verissimo, P., "Fundamental questions in the et vs. tt debate? please look elsewhere", Booklet of the NextTTA Workshop on the Integration of Event-Triggered and Time-Triggered Services, 2002.
Verissimo, P., and L. Rodrigues, "Management Systems and Platforms", Distributed Systems for System Architects: Springer US, pp. 557–579, 2001.
Verissimo, P., and L. Rodrigues, Distributed systems for system architects, , vol. 1: Springer Science & Business Media, 2001.
Verissimo, P., "Travelling through wormholes: a new look at distributed systems models", ACM SIGACT News, vol. 37, no. 1: ACM, pp. 66–81, 2006.
Verissimo, P., J. Arlat, A. Bondavalli, and B. Haverkort, "Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia", IEEE Transactions on Dependable and Secure Computing, vol. 3, no. 3: IEEE Computer Society, pp. 0169–171, 2006.
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.
Verissimo, P., and L. Rodrigues, "Models of Network and Distributed Systems Management", Distributed Systems for System Architects: Springer US, pp. 541–556, 2001.
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.
Verissimo, P., Optimisation de la Réponse aux menaces basée sur les coûts dans des systèmes pour la Sécurité de l'Information et la Gestion des Evénements (SIEMs), : Télécom SudParis, 2014.
Verissimo, P., KT. Timenetsky, T. Figueiredo, ASY. Yang, TJ. Andre, MK. Nagano, C. Alexandre, C. Garcia, RA. Caserta, and E. Silva, "Respiratory Muscle Weakness In Acute Heart Failure Patients", AMERICAN JOURNAL OF RESPIRATORY AND CRITICAL CARE MEDICINE, vol. 183: AMER THORACIC SOC 61 BROADWAY, FL 4, NEW YORK, NY 10006 USA, 2011.
Verissimo, P., "Thou shalt not trust non-trustworthy systems", Distributed Computing Systems Workshops, 2006. ICDCS Workshops 2006. 26th IEEE International Conference on: IEEE, pp. xxxviii–xxxviii, 2006.
Verissimo, P., and L. Rodrigues, "Security Paradigms", Distributed Systems for System Architects: Springer US, pp. 395–426, 2001.
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.
Verissimo, P., N. Ferreira Neves, M. Correia, Y. Deswarte, A. Abou El Kalan, A. Bondavalli, and A. Daidone, The CRUTIAL Architecture for Critical Information Infrastructures, Architecting Dependable Systems V, : Springer-Verlag, Berlin, Heidelberg, 2008.
Verissimo, P., and L. Rodrigues, "Paradigms for Distributed Systems Management", Distributed Systems for System Architects: Springer US, pp. 531–540, 2001.
Verissimo, P., and L. Rodrigues, A posteriori Agreement for Fault-tolerant Clock Synchronization on Broadcast Networksb, , 1992.
Verissimo, P., J. Gomes Almeida, P. Antunes, R. Bravo, J. Pina Miranda, P. Verdelho, and A. Zúquete, A Identidade Digital1, , 2007.
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.
Verissimo, P., "Uncertainty and predictability: Can they be reconciled?", Future Directions in Distributed Computing: Springer Berlin Heidelberg, pp. 108–113, 2003.
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.
Verissimo, P., and L. Rodrigues, "Case Study: Managing VP'63", Distributed Systems for System Architects: Springer US, pp. 581–584, 2001.
Verissimo, P., and L. Rodrigues, "Fundamental Security Concepts", Distributed Systems for System Architects: Springer US, pp. 377–393, 2001.
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.
Verissimo, P., A. Neves Bessani, and M. Pasin, "The TClouds architecture: Open and resilient cloud-of-clouds computing", Dependable Systems and Networks Workshops (DSN-W), 2012 IEEE/IFIP 42nd International Conference on: IEEE, pp. 1–6, 2012.
Verissimo, P., M. Correia, N. Ferreira Neves, and P. Sousa, "Intrusion-resilient middleware design and validation", Information Assurance, Security and Privacy Services, vol. 4, pp. 615–678, 2009.
Verissimo, P., and L. Rodrigues, "Secure Systems and Platforms", Distributed Systems for System Architects: Springer US, pp. 487–510, 2001.

Pages