Publications

Export 2364 results:
Conference Paper
Ivanova, V., T. Kauppinen, S. Lohmann, S. Mazumdar, C. Pesquita, and K. Xu, "Proceedings of the International Workshop on Visualizations and User Interfaces for Knowledge Engineering and Linked Data Analytics", International Workshop on Visualizations and User Interfaces for Knowledge Engineering and Linked Data Analytics: CEUR Workshop Proceedings, 2014.
Lopes, L., F. Martins, M. S. Silva, and J. Barros, "A process calculus approach to sensor network programming", Sensor Technologies and Applications, 2007. SensorComm 2007. International Conference on: IEEE, pp. 451–456, 2007.
Duarte, C., L. Carriço, T. Chambel, and N. Guimarães, "Producing DTB From Audio Tapes.", ICEIS (3), pp. 582–585, 2003.
Couto, F., M. J. Silva, and P. Coutinho, "ProFAL: PROtein Functional Annotation through Literature.", JISBD, pp. 747–756, 2003.
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.
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.
Coelho, J., F. Rito, N. Luz, and C. Duarte, "Prototyping TV and Tablet Facebook Interfaces for Older Adults", Human-Computer Interaction -- INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, Springer International Publishing, 2015.
Carvalho, J., L. Duarte, and L. Carriço, "Puzzle games: player strategies across different interaction modalities", Proceedings of the 4th International Conference on Fun and Games: ACM, pp. 64–72, 2012.
Ruano, A., S. Pesteh, S. Silva, H. Duarte, G. Mestre, P. M. Ferreira, H. Reza Khosravani, and R. Horta, "PVM-based intelligent predictive control of HVAC systems", 4th IFAC International Conference on Intelligent Control and Automation Sciences - ICONS'2016, Reims, France, IFAC, June, 2016.
Ignatiev, A., A. Morgado, and J. Marques-Silva, "PySAT: A Python Toolkit for Prototyping with SAT Oracles", International Conference on Theory and Applications of Satisfiability Testing: Springer, pp. 428–437, 2018.
Bom, J., P. Marques, M. Correia, and P. Pinto, "QoS control: an application integrated framework", ATM, 1998. ICATM-98., 1998 1st IEEE International Conference on: IEEE, pp. 283–290, 1998.
Araujo, F., and L. Rodrigues, "On QoS-aware publish-subscribe", Distributed Computing Systems Workshops, 2002. Proceedings. 22nd International Conference on: IEEE, pp. 511–515, 2002.
Ferreira, A., and P. Antunes, "Quantitative evaluation of workspace collaboration", CSCWD: 10th international conference on Computer supported cooperative work in design: IEEE, pp. 1065–1070, 2006.
Cardoso, N., and M. J. Silva, "Query expansion through geographical feature types", Proceedings of the 4th ACM workshop on Geographical information retrieval: ACM, pp. 55–60, 2007.
Ruano, A., H. Reza Khosravani, and P. M. Ferreira, "A Randomized Approximation Convex Hull Algorithm for High Dimensions", 2nd IFAC Conference on Embedded Systems, Computer Intelligence and Telematics in Control (CESCIT) 2015, Maribor, Slovenia" issn = "2405-8963, June, 2015.
Vavala, B., N. Ferreira Neves, H. Moniz, and P. Verissimo, "Randomized consensus in wireless environments: a case where more is better", Dependability (DEPEND), 2010 Third International Conference on: IEEE, pp. 7–12, 2010.
Moniz, H., N. Ferreira Neves, M. Correia, and P. Verissimo, "Randomized intrusion-tolerant asynchronous services", Dependable Systems and Networks, 2006. DSN 2006. International Conference on: IEEE, pp. 568–577, 2006.
Silva, C., P. Sousa, and P. Verissimo, "Rave: Replicated antivirus engine", Dependable Systems and Networks Workshops (DSN-W), 2010 International Conference on: IEEE, pp. 170–175, 2010.
Kopetz, H., and P. Verissimo, "Real time and dependability concepts", Distributed systems (2nd Ed.): ACM Press/Addison-Wesley Publishing Co., pp. 411–446, 1993.
Pedrosa, J., M. Beatriz Carmo, A. Claudio, A. Paula Afonso, A. Ferreira, P. Redweik, and C. Catita, "Realidade aumentada com dados cient{íficos em dispositivos móveis", INTERA{\c{C}}ÃO: 5ª conferência nacional sobre Interação, pp. 70–76, 2013.
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.
Leal, A.., B. Martins, and F. Couto, "Recognition and Normalization of Biomedical Entities Based on Ontologies", Bioinformatics Open Days, University of Lisbon, 2015.
Cruz, N., and H. Miranda, "Recurring contact opportunities within groups of devices", Proceedings of the 12th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MOBIQUITOUS 2015): ACM, 2015.
Kauer, B., P. Verissimo, and A. Neves Bessani, "Recursive virtual machines for advanced security mechanisms", Dependable Systems and Networks Workshops (DSN-W), 2011 IEEE/IFIP 41st International Conference on: IEEE, pp. 117–122, 2011.
Antunes, J., and N. Ferreira Neves, "Recycling test cases to detect security vulnerabilities", Software Reliability Engineering (ISSRE), 2012 IEEE 23rd International Symposium on: IEEE, pp. 231–240, 2012.
Carvalho, N., F. Araujo, and L. Rodrigues, "Reducing latency in rendezvous-based publish-subscribe systems for wireless ad hoc networks", Distributed Computing Systems Workshops, 2006. ICDCS Workshops 2006. 26th IEEE International Conference on: IEEE, pp. 28–28, 2006.
Pereira, J., L. Rodrigues, and R. Oliveira, "Reducing the cost of group communication with semantic view synchrony", Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on: IEEE, pp. 293–302, 2002.
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.
James, S., M. J. Fonseca, and J. Collomosse, "Reenact: Sketch based choreographic design from archival dance footage", Proceedings of International Conference on Multimedia Retrieval: ACM, pp. 313, 2014.
Busnel, Y., N. Cruz, D. Gillet, A. Holzer, and H. Miranda, "Reinventing mobile community computing and communication", Trust, Security and Privacy in Computing and Communications (TrustCom), 2013 12th IEEE International Conference on: IEEE, pp. 1450–1457, 2013.
Oliveira, I., O. Grigore, N. Guimarães, and L. Duarte, "Relevance of EEG input signals in the augmented human reader", Proceedings of the 1st Augmented Human International Conference: ACM, pp. 5, 2010.
Andrade, L., and M. J. Silva, "Relevance Ranking for Geographic IR.", GIR, 2006.
Brandão, L. T. A. N., and A. Neves Bessani, "On the reliability and availability of systems tolerant to stealth intrusion", Dependable Computing (LADC), 2011 5th Latin-American Symposium on: IEEE, pp. 35–44, 2011.
Respicio, A., R. Martinho, and D. Domingos, "Reliability of AAL Systems Modeled as BPMN Business Processes", International Conference on Enterprise Information Systems: Springer, pp. 535–550, 2016.
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.
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.
Alarcao, S. M., "Reminiscence Therapy Improvement using Emotional Information", 2017 Seventh International Conference on Affective Computing and Intelligent Interaction (ACII), San Antonio, Texas, USA, 2017.
Neves, N. Ferreira, and K. W Fuchs, "RENEW: A tool for fast and efficient implementation of checkpoint protocols", Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on: IEEE, pp. 58–67, 1998.
Araujo, F., R. Barbosa, and A. Casimiro, "Replication for dependability on virtualized cloud environments", Proceedings of the 10th International Workshop on Middleware for Grids, Clouds and e-Science: ACM, pp. 2, 2012.
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.
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.
Sousa, P., N. Ferreira Neves, A. Lopes, and P. Verissimo, "On the resilience of intrusion-tolerant distributed systems", DI/FCUL TR 06–14, DEP. OF INFORMATICS, UNIV. OF LISBON, SEPTEMBER 2006.–PRELIMINARY ARCHITECTURE SPECIFICATION PAGE 100, 2006.
Sousa, P., A. Neves Bessani, M. Correia, N. Ferreira Neves, and P. Verissimo, "Resilient intrusion tolerance through proactive and reactive recovery", Dependable Computing, 2007. PRDC 2007. 13th Pacific Rim International Symposium on: IEEE, pp. 373–380, 2007.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Resilient state machine replication", Dependable Computing, 2005. Proceedings. 11th Pacific Rim International Symposium on: IEEE, pp. 5–pp, 2005.
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.
Coutinho, M., J. Rufino, and C. Almeida, "Response time analysis of asynchronous periodic and sporadic tasks sheduled by a fixed priority preemptive algorithm", Real-Time Systems, 2008. ECRTS'08. Euromicro Conference on: IEEE, pp. 156–167, 2008.
Ventura, J., J. Rodrigues, and L. Rodrigues, "Response time analysis of composable micro-protocols", Object-Oriented Real-Time Distributed Computing, 2001. ISORC-2001. Proceedings. Fourth IEEE International Symposium on: IEEE, pp. 335–342, 2001.
Achichi, M., M. Cheatham, Z. Dragisic, J. Euzenat, D. Faria, A. Ferrara, G. Flouris, I. Fundulaki, I. Harrow, V. Ivanova, et al., "Results of the ontology alignment evaluation initiative 2016", CEUR workshop proceedings, vol. 1766: RWTH, pp. 73–129, 2016.
Dragisic, Z., K. Eckert, J. Euzenat, D. Faria, A. Ferrara, R. Granada, V. Ivanova, E. Jiménez-Ruiz, A. Kempf, P. Lambrix, et al., "Results of theOntology Alignment Evaluation Initiative 2014", International Workshop on Ontology Matching, pp. 61–104, 2014.
Antunes, J., N. Ferreira Neves, and P. Verissimo, "Reverse engineering of protocols from network traces", Reverse Engineering (WCRE), 2011 18th Working Conference on: IEEE, pp. 169–178, 2011.
Domaschka, J., A. I. Schmied, H. P. Reiser, and F. J. Hauck, "Revisiting deterministic multithreading strategies", Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International: IEEE, pp. 1–8, 2007.
Lopes, R., H. Simoes, C. Duarte, and L. Carriço, "Rich Digital Books for the Web.", WEBIST (2), pp. 248–253, 2007.
Pereira, J., M. Alba, A. Cardoso, R. Correia, M. J. Silva, J. Paiva, C. Sousa-Dias, L. Aguiar, S. Barbosa, J. Gomes, et al., "Risk factors for ICU-acquired pneumonia caused by methicillin-resistant Staphylococcus aureus", INTENSIVE CARE MEDICINE, vol. 29: SPRINGER-VERLAG 175 FIFTH AVE, NEW YORK, NY 10010 USA, pp. S192–S192, 2003.
Rodrigues, L., "The road to a more configurable and adaptive communication and coordination support", Distributed Computing Systems, 2003. FTDCS 2003. Proceedings. The Ninth IEEE Workshop on Future Trends of: IEEE, pp. 16–22, 2003.
Vavala, B., and N. Ferreira Neves, "Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions.", SRDS, pp. 161–170, 2012.
Mendonca, M., and N. Ferreira Neves, "Robustness testing of the Windows DDK", Dependable Systems and Networks, 2007. DSN'07. 37th Annual IEEE/IFIP International Conference on: IEEE, pp. 554–564, 2007.
Chambel, T., and N. Guimarães, "The Role of Hypervideo in Learning Environments", WebNet World Conference on the WWW and Internet, vol. 1999, no. 1, pp. 1672–1672, 1999.
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.
Silva, H., A. Constantino, D. Freitas, M. Coutinho, S. Faustino, M. Mota, P. Colaço, J. Sousa, L. Dias, B. Damjanovic, et al., "RTEMS Centre-Support and Maintenance Centre to RTEMS Operating System", ESA Special Publication, vol. 669, pp. 10, 2009.
Silva, P., P. Pombinho, A. Paula Afonso, , and , "Rubi: An Open Source Android Platform for Mobile Augmented Reality Applications", International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2011, Workshop on Mobile Augmented Reality: Design Issues and Opportunities,: ACM, 2011.
Maria, N., P. Gaspar, A. Ferreira, and M. J. Silva, "SACAz - Um sistema de agentes para carregamento de um armazém de dados de acessos Web", CRC: 2ª conferência sobre Redes de computadores, 1999.
Rosa, J., J. Craveiro, and J. Rufino, "Safe online reconfiguration of time-and space-partitioned systems", Industrial Informatics (INDIN), 2011 9th IEEE International Conference on: IEEE, pp. 510–515, 2011.
Ignatiev, A., F. Pereira, N. Narodytska, and J. Marques-Silva, "A SAT-based approach to learn explainable decision sets", International Joint Conference on Automated Reasoning: Springer, pp. 627–645, 2018.
da Silva, F., and H. Senger, "Scalability analysis of embarassingly parallel applications on large clusters", Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW), 2010 IEEE International Symposium on: IEEE, pp. 1–8, 2010.
Rodrigues, L., "Scalability issues in MOOs: the role of object migration and replication", ECOOP Workshops, pp. 90–91, 1999.
Rodrigues, L., R. Guerraoui, and A. Schiper, "Scalable atomic multicast", Computer Communications and Networks, 1998. Proceedings. 7th International Conference on: IEEE, pp. 840–847, 1998.
Carvalho, N., F. Araujo, and L. Rodrigues, "Scalable QoS-based event routing in publish-subscribe systems", Network Computing and Applications, Fourth IEEE International Symposium on: IEEE, pp. 101–108, 2005.
Craveiro, J., and J. Rufino, "Schedulability analysis in partitioned systems for aerospace avionics", Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on: IEEE, pp. 1–4, 2010.
Rodrigues, J., J. Ventura, and L. Rodrigues, "Schedulability analysis of an event-based real-time protocol framework", Object-Oriented Real-Time Dependable Systems, 2002.(WORDS 2002). Proceedings of the Seventh International Workshop on: IEEE, pp. 319–325, 2002.
Craveiro, J., J. L. R. Souza, J. Rufino, V. Gaudel, L. Lemarchand, A. Plantec, S. Rubini, and F. Singhoff, "Scheduling Analysis Principles and Tool for Time-and Space-Partitioned Systems", Simposio de informatica, pp. 582–585, 2012.
Gonçalves, D., L. Carriço, and C. Magnusson, "Second mobile accessibility workshop", Proceedings of the 14th international conference on Human-computer interaction with mobile devices and services companion: ACM, pp. 229–232, 2012.
Alaluna, M., E. Vial, N. Neves, and F. M. V. Ramos, "Secure and Dependable Multi-Cloud Network Virtualization", Proceedings of the 1st International Workshop on Security and Dependability of Multi-Domain Infrastructures: ACM, pp. 2, 2017.
Mendonca, M., and N. Ferreira Neves, "Secure Application Updates on Point of Sale Devices.", ICETE (2), pp. 38–45, 2004.
Vavala, B., N. Neves, and P. Steenkiste, "Secure Identification of Actively Executed Code on a Generic Trusted Component", Dependable Systems and Networks (DSN), 2016 46th Annual IEEE/IFIP International Conference on: IEEE, pp. 419–430, 2016.
Pereira, F., N. Ferreira Neves, and F. M. V. Ramos, "Secure Network Monitoring Using Programmable Data Planes", Third International Workshop on Security in NFV-SDN (IEEE NFV-SDN 2017), 2017.
Vavala, B., N. Neves, and P. Steenkiste, "Secure tera-scale data crunching with a small TCB", Dependable Systems and Networks (DSN), 2017 47th Annual IEEE/IFIP International Conference on: IEEE, pp. 169–180, 2017.
Medeiros, I., N. Ferreira Neves, and M. Correia, "Securing energy metering software with automatic source code correction", Industrial Informatics (INDIN), 2013 11th IEEE International Conference on: IEEE, pp. 701–706, 2013.
Vavala, B., N. Ferreira Neves, and P. Steenkiste, "Securing Passive Replication Through Verification", Proceedings of the 34th Symposium on Reliable Distributed Systems (SRDS), Montreal, Canada, 2015.
Ruano, AE., PM. Ferreira, H. Duarte, S. Silva, and MG. Ruano, "Self-Powered Wireless Sensor Network Designed for Energy Saving in HVAC Systems", Proceedings of the International Conference on Wireless Networks (ICWN): The Steering Committee of The World Congress in Computer Science, Computer Engineering and Applied Computing (WorldComp), pp. 36, 2016.
Machado, C. M., F. Couto, A. R. Fernandes, S. Santos, N. Cardim, and A. T. Freitas, "Semantic characterization of hypertrophic cardiomyopathy disease", Bioinformatics and Biomedicine Workshops (BIBMW), 2010 IEEE International Conference on: IEEE, pp. 432–439, 2010.
Duarte, C., I. Matos, and L. Carriço, "Semantic Content Analysis Supporting Web Accessibility Evaluation", Proceedings of the Internet of Accessible Things: ACM, pp. 22, 2018.
Couto, F., M. J. Silva, and P. M. Coutinho, "Semantic similarity over the gene ontology: family correlation and selecting disjunctive ancestors", Proceedings of the 14th ACM international conference on Information and knowledge management: ACM, pp. 343–344, 2005.
Pereira, J., L. Rodrigues, and R. Oliveira, "Semantically reliable multicast protocols", Reliable Distributed Systems, 2000. SRDS-2000. Proceedings The 19th IEEE Symposium on: IEEE, pp. 60–69, 2000.
Lopes, R., K. Votis, L. Carriço, D. Tzovaras, and L. Spiridon, "The semantics of personalised web accessibility assessment", Proceedings of the 2010 ACM Symposium on Applied Computing: ACM, pp. 1440–1441, 2010.
Antunes, M., A. Rito Silva, J. Martins, H. Miranda, and L. Rodrigues, "Separating replication from distributed communication: Problems and solutions", 2013 IEEE 33rd International Conference on Distributed Computing Systems Workshops: IEEE Computer Society, pp. 0103–0103, 2001.
Hijón-Neira, R., Á. Velázquez-Iturbide, C. Pizarro-Romero, and L. Carriço, "Serious games for motivating into programming", Frontiers in Education Conference (FIE), 2014 IEEE: IEEE, pp. 1–8, 2014.
Bocchi, L., J. Luiz Fiadeiro, and A. Lopes, "Service-oriented modelling of automotive systems", Computer Software and Applications, 2008. COMPSAC'08. 32nd Annual IEEE International: IEEE, pp. 1059–1064, 2008.
Duarte, L., and L. Carriço, "A Session Engine Approach for Synchronous Collaborative Environments", Creating, Connecting and Collaborating through Computing, 2009. C5'09. Seventh International Conference on: IEEE, pp. 144–150, 2009.
Vasconcelos, V. T., "Session types for linear multithreaded functional programming", Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming: ACM, pp. 1–6, 2009.
Noronha, G., C. Á. lvares, and T. Chambel, "Sharing and navigating 360 videos and maps in sight surfers", Proceeding of the 16th International Academic MindTrek Conference: ACM, pp. 255–262, 2012.
Costa, M., and M. Jorge Cost da Silva, "Sidra: a flexible distributed indexing and ranking architecture for web search", VIII Jornadas de Ingenier{ía del Software y Bases de Datos: actas:(JISBD'03), Alicante, del 12 al 14 de noviembre de 2003: Universidad de Alicante, pp. 767–770, 2003.
Brock, A. M., S. Kammoun, H. Nicolau, T. Guerreiro, S. K. Kane, and C. Jouffrais, "SIG: NVI (non-visual interaction)", CHI'13 Extended Abstracts on Human Factors in Computing Systems: ACM, pp. 2513–2516, 2013.
Noronha, G., C. Á. lvares, and T. Chambel, "Sight surfers: 360º videos and maps navigation", Proceedings of the ACM multimedia 2012 workshop on Geotagging and its applications in multimedia: ACM, pp. 19–22, 2012.
Khosravani, HR., A. E. Ruano, and P. M. Ferreira, "A simple algorithm for convex hull determination in high dimensions", Intelligent Signal Processing (WISP), 2013 IEEE 8th International Symposium on: IEEE, pp. 109–114, 09/2013.
Lima, D.., H.. Miranda, and F.. Taiani, "Simulation of partial replication in Distributed Transactional Memory", Wireless Days 2017, Porto, Portugal, IEEE, 2017.
Lima, D., H. Miranda, and F. Taiani, "Simulation of partial replication in Distributed Transactional Memory", Wireless Days, 2017: IEEE, 2017.
Leggio, S., H. Miranda, K. Raatikainen, and L. Rodrigues, "SIPCache: A distributed SIP location service for mobile ad-hoc networks", Mobile and Ubiquitous Systems: Networking & Services, 2006 Third Annual International Conference on: IEEE, pp. 1–4, 2006.
Marques, D. H., I. Muslukhov, T. Guerreiro, L. Carriço, and K. Beznosov, "Snooping on Mobile Phones: Prevalence and Trends", Twelfth Symposium on Usable Privacy and Security (SOUPS 2016), Denver, CO, USENIX Association, 2016.
Shapiro, M., and N. Guimarães, "Software integration in SOMIW: Goals, accomplishments, and problems", Esprit'89, 6th Annual Esprit Conf.: North-Holland, 1989.
Ochoa, S. F., J. A. Pino, N. Baloian, P. Antunes, and V. Herskovic, "Some observations from the analysis of an online discussion board", Systems, Man, and Cybernetics (SMC), 2012 IEEE International Conference on: IEEE, pp. 1280–1285, 2012.

Pages