Publications

Export 2364 results:
Conference Paper
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.
Pinto, J.., P.S.. Dias, R.. Martins, J.. Fortuna, E. R. B. Marques, and J.. Sousa, "The LSTS Toolchain for Networked Vehicle Systems", IEEE/MTS Oceans'13: IEEE, 2013.
Rocha, F., and M. Correia, "Lucy in the sky without diamonds: Stealing confidential data in the cloud", Dependable Systems and Networks Workshops (DSN-W), 2011 IEEE/IFIP 41st International Conference on: IEEE, pp. 129–134, 2011.
Fernandes, N., and L. Carriço, "A macroscopic Web accessibility evaluation at different processing phases", Proceedings of the International Cross-Disciplinary Conference on Web Accessibility: ACM, pp. 18, 2012.
Oliveira, J. Lobato, K. Nakamura, T. Langlois, F. Gouyon, K. Nakadai, A. Lim, L. Paulo Reis, and H. G. Okuno, "Making a robot dance to diverse musical genre in noisy environments", Intelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on: IEEE, pp. 1896–1901, 2014.
Gomes, D., A. L. Santos, and M. J. Silva, "Managing duplicates in a web archive", Proceedings of the 2006 ACM symposium on Applied computing: ACM, pp. 818–825, 2006.
Carriço, L., and N. Guimarães, "Manipulating concept maps with constrained regions", Proceedings of the working conference on Advanced visual interfaces: ACM, pp. 226–234, 1998.
Diniz, N. V., C. Duarte, and N. Guimarães, "Mapping interaction onto media façades", Proceedings of the 2012 International Symposium on Pervasive Displays: ACM, pp. 14, 2012.
Mencía, C., A. Ignatiev, A. Previti, and J. Marques-Silva, "MCS extraction with sublinear oracle queries", International Conference on Theory and Applications of Satisfiability Testing: Springer, pp. 342–360, 2016.
Pesquita, C., D. Faria, and F. Couto, "Measuring coherence between electronic and manual annotations in biological databases", Proceedings of the 2009 ACM symposium on Applied Computing: ACM, pp. 806–807, 2009.
Casimiro, A., P. Martins, P. Verissimo, and L. Rodrigues, "Measuring distributed durations with stable errors", Real-Time Systems Symposium, 2001.(RTSS 2001). Proceedings. 22nd IEEE: IEEE, pp. 310–319, 2001.
Marques, D. H., T. Guerreiro, and L. Carriço, "Measuring snooping behavior with surveys: it's how you ask it", CHI'14 Extended Abstracts on Human Factors in Computing Systems: ACM, pp. 2479–2484, 2014.
Chambel, T., and N. Guimarães, "Mechanisms for Video Integration and Navigation on the Web", WebNet World Conference on the WWW and Internet, vol. 1999, no. 1, pp. 1484–1485, 1999.
Souza, J. L. R., R. Pinto, and J. Rufino, "Mechanisms to enforce dependability and timeliness in wireless communications", Wireless for Space and Extreme Environments (WiSEE), 2014 IEEE International Conference on: IEEE, pp. 1–6, 2014.
Costa, P. A. R. S., X. Bai, F. M. V. Ramos, and M. Correia, "Medusa: An efficient cloud fault-tolerant mapreduce", Cluster, Cloud and Grid Computing (CCGrid), 2016 16th IEEE/ACM International Symposium on: IEEE, pp. 443–452, 2016.
Costa, C. J., P. Antunes, and J. Ferreira Dias, "The Meeting Report Process: Bridging EMS with PDA.", ICEIS (2), pp. 821–826, 2001.
Couto, F. M., L. Campos, and A. Lamurias, "MER: a minimal named-entity recognition tagger and annotation server", Proceedings of the BioCreative, Conference: BeCalm challenge evaluation workshop (Biocreative V.5), at Barcelona, Spain, vol. 5, 2017.
Hijón-Neira, R., Á. Velázquez-Iturbide, C. Pizarro-Romero, and L. Carriço, "Merlin-know, an interactive virtual teacher for improving learning in Moodle", Frontiers in Education Conference (FIE), 2014 IEEE: IEEE, pp. 1–8, 2014.
Inácio, B., J. D. Ferreira, and F. M. Couto, "Metadata Analyser: measuring metadata quality", International Conference on Practical Applications of Computational Biology & Bioinformatics: Springer, pp. 197–204, 2017.
Barbosa, P., O. Dias, J. P. Arrais, and M. Rocha, "Metagenomic Analysis of the Saliva Microbiome with Merlin", 8th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2014): Springer, pp. 191–199, 2014.
Valente, B., and F. Martins, "A middleware framework for the Internet of Things", AFIN 2011, The Third International Conference on Advances in Future Internet, pp. 139–144, 2011.
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.
de Sá, M., L. Carriço, L. Duarte, and T. Reis, "A mixed-fidelity prototyping tool for mobile devices", Proceedings of the working conference on Advanced visual interfaces: ACM, pp. 225–232, 2008.
de Sá, M., and L. Carriço, "Mobile support for personalized therapies: OminSCOPE: Richer artefacts and data collection", Pervasive Computing Technologies for Healthcare, 2009. PervasiveHealth 2009. 3rd International Conference on: IEEE, pp. 1–8, 2009.
de Sá, M., and L. Carriço, "A mobile tool for in-situ prototyping", Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services: ACM, pp. 20, 2009.
Cruz, N., H. Miranda, and P. Ribeiro, "A mobilidade dos utilizadores da eduroam ao longo dos anos", Atas do 5o Simpósio de Informática (INForum 2013), Évora, Portugal, Universidade de Évora, 2013.
Prata, A., and T. Chambel, "Mobility in a Personalized and Flexible Video-based Transmedia Environment", UBICOMM 2011, The Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, pp. 314–320, 2011.
Cruz, N., and H. Miranda, "MobIPLity: a trace-based mobility scenario generator for mobile applications", Proceedings of the 11th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services: ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), pp. 228–237, 2014.
Rosa, L., A. Lopes, and L. Rodrigues, "Modelling adaptive services for distributed systems", Proceedings of the 2008 ACM symposium on Applied computing: ACM, pp. 2174–2180, 2008.
Passier, R., "Modelling and drug screening for cardiovascular disease Authors' Index", ACTA PHYSIOLOGICA, vol. 219: WILEY 111 RIVER ST, HOBOKEN 07030-5774, NJ USA, pp. 7–7, 2017.
Gomes, D., and M. J. Silva, "Modelling information persistence on the web", Proceedings of the 6th international conference on Web engineering: ACM, pp. 193–200, 2006.
Lima, D., D. Domingos, H. Miranda, and C. Fontana, "Modelos de Publicação/Subscrição na Internet of Things", Atas do 5o Simpósio de Informática (INForum 2013), Évora, Portugal, Universidade de Évora, 2013.
Santos, A. L., and K. Koskimies, "Modular Hot Spots: A Pattern Language for Developing High-Level Framework Reuse Interfaces using Aspects.", EuroPLOP, 2008.
Carriço, L., C. Duarte, N. Guimarães, A. Joaquim Serralheiro, and I. Trancoso, "Modular Production of Rich Digital Talking Books.", ICEIS (5), pp. 158–163, 2004.
Alchieri, E. Adilio Pel, A. Neves Bessani, F. Greve, and J. da Silva Fraga, "Modular Quorum Systems Reconfigurations", Computer Networks and Distributed Systems (SBRC), 2014 Brazilian Symposium on: IEEE, pp. 147–155, 2014.
Gay, S. J., V. T. Vasconcelos, A. Ravara, N. Gesbert, and A. Z. Caldeira, "Modular session types for distributed object-oriented programming", ACM Sigplan Notices, vol. 45, no. 1: ACM, pp. 299–312, 2010.
Santos, A. L., A. Lopes, K. Koskimies, and , "Modularizing framework hot-spots using aspects", In Proceedings of the 11th Spanish Conference on Software Engineering and Databases: Citeseer, 2006.
Canato, S., AS. Carvalho, HM. Botelho, K. Aloria, R. Matthiesen, MD. Amaral, A. Falcao, and CM. Farinha, "Modulation of protein traffic networks to rescue F508del-CFTR from the endoplasmic reticulum", FEBS JOURNAL, vol. 284: WILEY 111 RIVER ST, HOBOKEN 07030-5774, NJ USA, pp. 297–298, 2017.
Rodrigues, M. J., and F. M. Couto, "MoRS at SemEval-2017 task 3: Easy to use SVM in ranking tasks", Proceedings of the 11th International Workshop on Semantic Evaluation (SemEval-2017), pp. 287–291, 2017.
Raposo, D., and T. Chambel, "Movie table: tangible interaction with movies", Proceedings of the 13th International MindTrek Conference: Everyday Life in the Ubiquitous Era: ACM, pp. 217–217, 2009.
Martins, P., T. Langlois, and T. Chambel, "MovieClouds: content-based overviews and exploratory browsing of movies", Proceedings of the 15th International Academic MindTrek Conference: Envisioning Future Media Environments: ACM, pp. 133–140, 2011.
Serra, S., A. Jorge, and T. Chambel, "Multimodal Access to Georeferenced Mobile Video through Shape, Speed and Time", Proceedings of the 28th International BCS Human Computer Interaction Conference on HCI 2014-Sand, Sea and Sky-Holiday HCI: BCS, pp. 347–352, 2014.
Biswas, P., P. Langdon, C. Duarte, and J. Coelho, "Multimodal adaptation through simulation for digital TV interface", Proceddings of the 9th international interactive conference on Interactive television: ACM, pp. 231–234, 2011.
Reis, T., M. de Sá, and L. Carriço, "Multimodal artefact manipulation: Evaluation in real contexts", Pervasive Computing and Applications, 2008. ICPCA 2008. Third International Conference on, vol. 2: IEEE, pp. 570–575, 2008.
Mostrous, D., "Multiparty Sessions based on Proof Nets", Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), 2014.
de Sá, M., L. Carriço, L. Duarte, and T. Reis, "Multi-purpose proactive m-Artifacts", Proceedings of the 2008 ACM symposium on Applied computing: ACM, pp. 1629–1633, 2008.
Domaschka, J., T. Bestfleisch, F. J. Hauck, H. P. Reiser, and R. Kapitza, "Multithreading strategies for replicated objects", Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware: Springer-Verlag New York, Inc., pp. 104–123, 2008.
Langlois, T., and G. Marques, "A Music Classification Method based on Timbral Features.", ISMIR, pp. 81–86, 2009.
Pereira, J., and R. Oliveira, "The mutable consensus protocol", Reliable Distributed Systems, 2004. Proceedings of the 23rd IEEE International Symposium on: IEEE, pp. 218–227, 2004.
Ferreira, A., and P. Antunes, "On the need for a framework for attentive groupware systems", SOCIUM: 1st workshop on Adaptation and personalization in social systems, pp. 5–15, 2007.
Pereira, J., do. U Minho, L. Rodrigues, U. De Lisboa, MJ. Monteiro, R. Oliveira, and A-M. Kermarrec, "Neem: Network-friendly epidemic multicast", Reliable Distributed Systems, 2003. Proceedings. 22nd International Symposium on: IEEE, pp. 15–24, 2003.
Linhares, G. Brandão R., M. Borges, and P. Antunes, "Negociação-Colaboração nas Revisões Técnicas Formais de Especificações Funcionais", Sistemas Colaborativos, 2008 Simp&\# x0F3; sio Brasileiro de: IEEE, pp. 122–133, 2008.
Ruano, A. E., and P. M. Ferreira, "Neural Network based HVAC Predictive Control", IFAC World Congress, vol. 19, no. 1: International Federation for Automatic Control, pp. 3617–3622, 2014.
Ruano, A.E.., G.. Mestre, H.. Duarte, S.. Silva, S.. Pesteh, H.. Khosravani, P. M. Ferreira, and R.. Horta, "A neural-network based intelligent weather station", Intelligent Signal Processing (WISP), 2015 IEEE 9th International Symposium on, May, 2015.
Lima, D., H. Miranda, and F. Taïani, "A New System Model for Cloud Offloading", INForum 2014 - Atas do 6º Simpósio de Informática, Porto, Portugal, Universidade do Porto, 2014.
Antunes, P., and N. Guimarães, "NGTool-Exploring Mechanisms of Support to Interactivity in the Group Process.", CRIWG, pp. 163–171, 1995.
Rufino, J., P. Verissimo, and G. Arroz, "Node failure detection and membership in CANELy", 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN): IEEE Computer Society, pp. 331–331, 2003.
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.
Leitao, J., M. Correia, L. Rodrigues, and , "N-party BAR transfer", Proceedings of the 15th international conference on Principles of Distributed Systems: Springer-Verlag, pp. 392–408, 2011.
Marques, E. R. B., M. Ribeiro, J. Pinto, J. B. Sousa, and F. Martins, "NVL: a coordination language for unmanned vehicle networks", ACM Symposium on Applied Computing (SAC'15): ACM, 2015.
Cruz, N., H. Miranda, and P. Ribeiro, "O Impacto dos Smartphones nos Modelos de Mobilidade Tradicionais", INForum 2014 - Atas do 6$^o$ Simpósio de Informática, Porto, Portugal, Universidade do Porto, 2014.
Faria, D., C. Pesquita, B. S. Balasubramani, C. Martins, J. Cardoso, H. Curado, F. M. Couto, and I. F. Cruz, "OAEI 2016 results of AML.", OM@ ISWC, pp. 138–145, 2016.
Almeida, T. Langlois L., A. D José, and , "On-line step size adaptation", INESC. 9 Rua Alves Redol, 1000, 1997.
Bakhshandeh, M., C. Pesquita, and J. Borbinha, "An Ontological Matching Approach for Enterprise Architecture Model Analysis", International Conference on Business Information Systems: Springer, pp. 315–326, 2016.
Cardoso, J., M. Bakhshandeh, D. Faria, C. Pesquita, and J. Borbinha, "Ontology-Based Approach for Heterogeneity Analysis of EA Models", International Conference on Business Process Management: Springer, pp. 131–142, 2016.
Santos, A. L., "An open-ended environment for teaching Java in context", Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education: ACM, pp. 87–92, 2012.
Agapi, A., S. Soudan, M. Pasin, PV-B. Primet, and T. Kielmann, "Optimizing deadline-driven bulk data transfers in overlay networks", Computer Communications and Networks, 2009. ICCCN 2009. Proceedings of 18th Internatonal Conference on: IEEE, pp. 1–8, 2009.
Costa, M., and M. J. Silva, "Optimizing Ranking Calculation in Web Search Engines: a Case Study.", SBBD, pp. 298–308, 2004.
Fernandes, N., T. Guerreiro, D. H. Marques, and L. Carriço, "Optimus Web: Selective Delivery of Desktop or Mobile Web Pages", Proceedings of the 12th Web for All Conference, New York, NY, USA, ACM, 2015.
Garcia, M., A. Neves Bessani, I. Gashi, N. Ferreira Neves, and R. Obelheiro, "OS diversity for intrusion tolerance: Myth or reality?", Dependable Systems & Networks (DSN), 2011 IEEE/IFIP 41st International Conference on: IEEE, pp. 383–394, 2011.
Gonçalves, T., A. Paula Afonso, M. Beatriz Carmo, and P. Pombinho, "Overview "vs" Detail on mobile devices: a struggle for screen space", British Computer Society Conference on Human-Computer Interaction, BCS HCI 2012: British Computer Society, pp. 333–338, 2012.
Carvalho, T., H. S. Kim, and N. Ferreira Neves, "PACE your network: Fair and controllable multi-tenant data center networks", Communications (ICC), 2013 IEEE International Conference on: IEEE, pp. 3726–3731, 2013.
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.
Lima, D., H. Miranda, and F. Taïani, "Partial Replication Policies for Dynamic Distributed Transactional Memory in Edge Clouds", Proceedings of The 1st Workshop on Middleware for Edge Clouds & Cloudlets, Colocated with ACM/IFIP/USENIX Middleware 2016, Trento, Italy, ACM, 2016.
Rodrigues, L., and K. Guo, "Partitionable Light-Weight Groups", Distributed Computing Systems, 2000. Proceedings. 20th International Conference on: IEEE, pp. 38–45, 2000.
Gonçalves, T., A. Rita Vieira, A. Paula Afonso, and A. Ferreira, "PATH - Visualização de Percursos Pessoais com Mapas Animados em Dispositivos Móveis", INForum 2015 – Simpósio de Informática, 2015.
Lopes, R., and L. Carriço, "Patterns for Time-based Hypermedia Artifacts.", EuroPLoP, pp. 247–276, 2006.
Falcao, A. O., D. Faria, and A. Ferreira, "Peptide programs: applying fragment programs to protein classification", Proceedings of the 2nd international workshop on Data and text mining in bioinformatics: ACM, pp. 37–44, 2008.
Carreira, P. J. F., H. Galhardas, J. Pereira, F. Martins, and M. J. Silva, "On the performance of one-to-many data transformations.", QDB, pp. 39–48, 2007.
Rodolfo, I., N. Correia, C. Duarte, C. Louro, and R. Almeida, "Perspectives on user experience for a nation-wide senior telehealth program", Proceedings of the 30th International BCS Human Computer Interaction Conference: Fusion!: BCS Learning & Development Ltd., pp. 46, 2016.
Pombinho, P., and A. Paula Afonso, "Pesquisa de Imagens na Web: estudo de Usabilidade", 2nd National Conference in Human Computer Interaction, pp. 167–175, 2006.
Duarte, L., M. de Sá, and L. Carriço, "Physiological data gathering in mobile environments", Proceedings of the 12th ACM international conference adjunct papers on Ubiquitous computing-Adjunct: ACM, pp. 405–406, 2010.
Dias, R., D. Gonçalves, and M. J. Fonseca, "PlaylistCreator: An Assisted Approach for Playlist Creation", Proceedings of the 2016 ACM on Multimedia Conference: ACM, pp. 711–713, 2016.
Carmo, M. Beatriz, A. Paula Afonso, A. Ferreira, A. Paula Cláudio, and G. Silva, "PoI Awareness, Relevance and Aggregation for Augmented Reality", Information Visualisation (IV), 2016 20th International Conference: IEEE, pp. 300–305, 2016.
Rosa, L., A. Lopes, and L. Rodrigues, "Policy-driven adaptation of protocol stacks", Autonomic and Autonomous Systems, 2006. ICAS'06. 2006 International Conference on: IEEE, pp. 5–5, 2006.
Santos, S., J. Rufino, T. Schoofs, C. Tatibana, and J. Windsor, "A portable ARINC 653 standard interface", Digital Avionics Systems Conference, 2008. DASC 2008. IEEE/AIAA 27th: IEEE, pp. 1–E, 2008.
Carmo, M. Beatriz, A. Paula Cláudio, A. Ferreira, A. Paula Afonso, P. Redweik, C. Catita, M. Centeno Brito, and J. Nunes Pedrosa, "[Poster] Visualization of solar radiation data in augmented reality", Mixed and Augmented Reality (ISMAR), 2014 IEEE International Symposium on: IEEE, pp. 255–256, 2014.
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.
Duarte, L., and L. Carriço, "Power me Up!: an interactive and physiological perspective on videogames' temporary bonus rewards", Proceedings of the 4th International Conference on Fun and Games: ACM, pp. 55–63, 2012.
Miranda, H., S. Leggio, L. Rodrigues, and K. Raatikainen, "A power-aware broadcasting algorithm", Personal, Indoor and Mobile Radio Communications, 2006 IEEE 17th International Symposium on: IEEE, pp. 1–5, 2006.
Nogueira, A., M. Calha, and , "Predictability and efficiency in contemporary Hard RTOS for multiprocessor systems", Embedded and Real-Time Computing Systems and Applications (RTCSA), 2011 IEEE 17th International Conference on, vol. 2: IEEE, pp. 3–8, 2011.
Carilho, J.., O.. Schnell, J.. Martins, L. Carriço, C. Duarte, F. Couto, and T. Guerreiro, "Predicting Relevant Events in the Life of a Person with Alzheimer", Bioinformatics Open Days, University of Braga, 2014.
Duarte, L., P. Ribeiro, A. Rodrigues, T. Guerreiro, and L. Carriço, "A Preliminary Assessment of Physical & Virtual Presence in Exergames", Proceedings of the 28th International BCS Human Computer Interaction Conference on HCI 2014-Sand, Sea and Sky-Holiday HCI: BCS, pp. 305–310, 2014.
Miranda, H., and L. Rodrigues, "Preventing selfishness in open mobile ad hoc networks", Proceedings of the 7th CaberNet Radicals Workshop, Bertinoro - Italy, 2002.
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.
Marques, D. H., L. Duarte, and L. Carriço, "Privacy and secrecy in ubiquitous text messaging", Proceedings of the 14th international conference on Human-computer interaction with mobile devices and services companion: ACM, pp. 95–100, 2012.
Carriço, L., M. de Sá, and P. Antunes, "Proactive Psychotherapy with Handheld Devices.", ICEIS (5), pp. 27–34, 2006.
Sousa, P., N. Ferreira Neves, P. Verissimo, and W. H. Sanders, "Proactive resilience revisited: The delicate balance between resisting intrusions and remaining available", Reliable Distributed Systems, 2006. SRDS'06. 25th IEEE Symposium on: IEEE, pp. 71–82, 2006.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Proactive resilience through architectural hybridization", Proceedings of the 2006 ACM symposium on Applied computing: ACM, pp. 686–690, 2006.
Pereira, J., L. Rodrigues, R. Oliveira, and A-M. Kermarrec, "Probabilistic semantically reliable multicast", Network Computing and Applications, 2001. NCA 2001. IEEE International Symposium on: IEEE, pp. 100–103, 2001.

Pages