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., 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.
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.
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 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.
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.
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. 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.
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.
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", arXiv preprint arXiv:1710.07979, 2017.
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.
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., 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, 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, 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.
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.
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, "Communication in a Distributed Environment", Electronic Design Automation Frameworks: Springer US, pp. 121–130, 1995.
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.
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, 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, 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, "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, 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.
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.
Verissimo, P., and L. Rodrigues, "Case Study: Making VP'63 Timely", Distributed Systems for System Architects: Springer US, pp. 369–373, 2001.
Verissimo, P., and A. Casimiro, "Event-driven support of real-time sentient objects", Object-Oriented Real-Time Dependable Systems, 2003.(WORDS 2003). Proceedings of the Eighth International Workshop on: IEEE, pp. 2–9, 2003.
Verissimo, P., and M. Raynal, "Time in distributed system models and algorithms", In Advances in Distributed Systems, S. Krakowiak and S. Shrivastava, editors., no. Chapter 1: Springer Berlin/Heidelberg LNCS 1752, pp. 1–32, 2000.
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.
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 L. Rodrigues, "Distributed Systems and Platforms", Distributed Systems for System Architects: Springer US, pp. 133–158, 2001.
Verissimo, P., and A. Casimiro, "The timely computing base model and architecture", Computers, IEEE Transactions on, vol. 51, no. 8: IEEE, pp. 916–930, 2002.
Verissimo, P., N. Ferreira Neves, and M. Correia, "The CRUTIAL reference critical information infrastructure architecture: a blueprint", International Journal of System of Systems Engineering, vol. 1, no. 1: Inderscience, pp. 78–95, 2008.
Verissimo, P., KT. Timenetsky, E. Colucci, LHG. Rodrigues, DM. May, and RA. Caserta, "NONINVASIVE VENTILATION INSIDE THE CATH LAB CAN BE AN EFFECTIVE AND SAFE ALTERNATIVE FOR PATIENTS WITH ACUTE RESPIRATORY FAILURE", INTENSIVE CARE MEDICINE, vol. 40: SPRINGER 233 SPRING ST, NEW YORK, NY 10013 USA, pp. S72–S72, 2014.
Verissimo, P., A. Casimiro, and C. Fetzer, "The timely computing base: Timely actions in the presence of uncertain timeliness", Dependable Systems and Networks, 2000. DSN 2000. Proceedings International Conference on: IEEE, pp. 533–542, 2000.
Verissimo, P., and L. Rodrigues, "Real-Time Systems Foundations", Distributed Systems for System Architects: Springer US, pp. 277–288, 2001.
Verissimo, P., P. Verissimo, J. Rufino, and L. Rodrigues, Enforcing Real-Time behaviour on LAN-based protocols, : Citeseer, 1991.
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.
Verissimo, P., and L. Rodrigues, "Case Study: VP'63-The Vintageport'63 Large-Scale Information System", Distributed Systems for System Architects: Springer US, pp. 159–168, 2001.
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.
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.
Verissimo, P., and L. Rodrigues, "Models of Distributed Computing", Distributed Systems for System Architects: Springer US, pp. 89–132, 2001.
Verissimo, P., N. Ferreira Neves, C. Cachin, JA. Poritz, D. Powell, Y. Deswarte, R. J. Stroud, and IS. Welch, Intrusion-Tolerant Middleware: The MAFTIA Approach, : Department of Informatics, University of Lisbon, 2004.
Verissimo, P., "Security Made, Not Perfect, But Automatic", Security Protocols XVIII: Springer Berlin Heidelberg, pp. 217–223, 2014.
Verissimo, P., N. Ferreira Neves, C. Cachin, J. Poritz, D. Powell, Y. Deswarte, R. Stroud, and I. Welch, "Intrusion-tolerant middleware: The road to automatic security", Security & Privacy, IEEE, vol. 4, no. 4: IEEE, pp. 54–62, 2006.
Verissimo, P., and L. Rodrigues, "Fundamental Concepts of Management", Distributed Systems for System Architects: Springer US, pp. 519–530, 2001.
Verissimo, P., Lessons learned with NavTech: a framework for reliable large-scale applications, : Department of Informatics, University of Lisbon, 2002.
Verissimo, P., V. Cahill, A. Casimiro, K. Cheverst, A. Friday, and J. Kaiser, Cortex: Towards supporting autonomous and cooperating sentient entities, , 2002.
Verissimo, P., and L. Rodrigues, "Models of Distributed Fault-Tolerant Computing", Distributed Systems for System Architects: Springer US, pp. 235–258, 2001.
Verissimo, P., N. Ferreira Neves, and M. Correia, "Intrusion-tolerant architectures: Concepts and design", Architecting Dependable Systems: Springer-Verlag LNCS 2677, pp. 3–36, 2003.
Verissimo, P., Security and Dependability Risks of Critical Information Infrastructures, , 2008.
Verissimo, P., and L. Rodrigues, "Paradigms for Distributed Fault Tolerance", Distributed Systems for System Architects: Springer US, pp. 193–234, 2001.
Verissimo, P., and L. Rodrigues, "Models of Distributed Secure Computing", Distributed Systems for System Architects: Springer US, pp. 427–486, 2001.
Verissimo, P., "Real-time communication", Distributed Systems, 2nd Edition, ACM-Press. Addison-Wesley, 1993.
Verissimo, P., and L. Rodrigues, "Distributed Systems Foundations", Distributed Systems for System Architects: Springer US, pp. 3–20, 2001.
Verissimo, P., and L. Rodrigues, Order and synchronism properties of reliable broadcast protocols, : Technical Report RT/66-89, INESC, Lisboa, Portugal, 1989.
Verissimo, P., "Assumptions: The Trojan Horses of Secure Protocols", Computer Network Security: Springer Berlin Heidelberg, pp. 34–41, 2007.
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.
Verissimo, P., J. Rufino, and L. Rodrigues, "LAN-BASED PROTOCOLS", Distributed Computer Control Systems 1991: Towards Distributed Real-Time Systems with Predictable Timing Properties: Elsevier, pp. 75, 2014.
Verissimo, P., J. Kaiser, and A. Casimiro, "An architecture to support interaction via Generic Events", 24th IEEE Real–time Systems Symposium, Work in Progress Proceedings, Cancun, Mexico, 2003.
Verissimo, P., L. Rodrigues, and A. Casimiro, Priority-based totally ordered multicast., : University of Bologna, 1995.
Verissimo, P., and L. Rodrigues, "Dependable Systems and Platforms", Distributed Systems for System Architects: Springer US, pp. 259–270, 2001.
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.
Verissimo, P., N. Ferreira Neves, and M. Correia, "CRUTIAL: The blueprint of a reference critical information infrastructure architecture", Critical Information Infrastructures Security: Springer Berlin Heidelberg, pp. 1–14, 2006.
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.
Verissimo, P., and L. Rodrigues, "Case Study: Making VP'63 Secure", Distributed Systems for System Architects: Springer US, pp. 511–516, 2001.
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., 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 M. Baptista, "Amp: A highly parallel atomic multicast protocol", ACM SIGCOMM Computer Communication Review, vol. 19, no. 4: ACM, pp. 83–93, 1989.

Pages