Publications

Export 2272 results:
2013
Santos, E., D. Faria, C. Pesquita, and F. Couto, "Ontology alignment repair through modularization and confidence-based heuristics", arXiv preprint arXiv:1307.5322, 2013.
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.
Costa, P., M. Pasin, A. Neves Bessani, and M. Correia, "On the Performance of Byzantine Fault-Tolerant MapReduce", IEEE Transactions on Dependable and Secure Computing, no. 5: IEEE, pp. 301–313, 2013.
Costa, P., M. Pasin, A. Bessani, and M. Correia, "On the Performance of Byzantine Fault-Tolerant MapReduce", IEEE Transactions on Dependable and Secure Computing, 2013.
Duarte, L., and L. Carriço, "Persuasive Elements in Videogames: Effects on Player Performance and Physiological State", Advances in Computer Entertainment: Springer International Publishing, pp. 45–60, 2013.
Oliveira, I., and N. Guimarães, "Practical Neurophysiological Analysis of Readability as a Usability Dimension", Human Factors in Computing and Informatics: Springer Berlin Heidelberg, pp. 194–211, 2013.
Teixeira, A. L., J. P. Leal, and A. O. Falcao, "Random forests for feature selection in QSPR Models-an application for predicting standard enthalpy of formation of hydrocarbons.", J. Cheminformatics, vol. 5, pp. 9, 2013.
Moreira, S., J. Filgueiras, B. Martins, F. Couto, and M. J. Silva, "Reaction: A naive machine learning approach for sentiment classification", Second Joint Conference on Lexical and Computational Semantics (* SEM), vol. 2, pp. 490–494, 2013.
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.
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.
Lopes, J., and N. Ferreira Neves, "Robustness of the RaptorQ FEC Code Under Malicious Attacks", Inforum, 2013.
da Costa, P. Nuno Perei, Safety kernel for cooperative sensor-based systems, , 2013.
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.
Rosa, L., L. Rodrigues, A. Lopes, M. Hiltunen, and R. Schlichting, "Self-management of adaptable component-based applications", Software Engineering, IEEE Transactions on, vol. 39, no. 3: IEEE, pp. 403–421, 2013.
Rosa, L., L. Rodrigues, and A. Lopes, "Self-management of Distributed Systems Using High-Level Goal Policies", Software Engineering for Self-Adaptive Systems II: Springer Berlin Heidelberg, pp. 162–190, 2013.
Oliveira, E., T. Chambel, and N. Magalhães Ribeiro, "Sharing Video Emotional Information in the Web", International Journal of Web Portals (IJWP), vol. 5, no. 3: IGI Global, pp. 19–39, 2013.
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.
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.
Kanjo, E., E. N Mawass, , J.. P., and F. M. V. Ramos, Social, Disconnected or In between: Mobile Data reveals urban mood, , 2013.
de Lemos, R., H. Giese, H. A. Müller, M. Shaw, J. Andersson, M. Litoiu, B. Schmerl, G. Tamura, N. M. Villegas, T. Vogel, et al., "Software engineering for self-adaptive systems: A second research roadmap", Software Engineering for Self-Adaptive Systems II: Springer Berlin Heidelberg, pp. 1–32, 2013.
Gomes, J., T. Chambel, and T. Langlois, "SoundsLike: movies soundtrack browsing and labeling based on relevance feedback and gamification", Proceedings of the 11th european conference on Interactive TV and video: ACM, pp. 59–62, 2013.
Lekakos, G., T. Chambel, and H. Knoche, "Special issue on social recommendation and delivery systems for video and TV content", Multimedia Systems, vol. 19, no. 6: Springer Berlin Heidelberg, pp. 475–476, 2013.
Marques, E. R. B., F. Martins, N. Ng, C. Santos, V. T. Vasconcelos, and N. Yoshida, Specification and Verification of Protocols for MPI Programs, , 2013.
Sousa, J., E. Alchieri, and A. Neves Bessani, State Machine Replication for the Masses with BFT-SMaRt, , 2013.
Nicolau, H., J. Guerreiro, and T. Guerreiro, "Stressing the Boundaries of Mobile Accessibility", arXiv preprint arXiv:1402.1001, 2013.
Gonçalves, T., A. Paula Afonso, B. Martins, and D. Gonçalves, "ST-TrajVis: interacting with trajectory data", Proceedings of the 27th International BCS Human Computer Interaction Conference: British Computer Society, pp. 48, 2013.
Duarte, C., A. Ribeiro, and R. Nunes, "Studying Natural Interaction in Multimodal, Multi-Surface, Multiuser Scenarios", Emerging Research and Trends in Interactivity and the Human-Computer Interface: IGI Global, pp. 160, 2013.
Ruano, A. E., G. Madureira, O. Barros, HR. Khosravani, M. G. Ruano, and P. M. Ferreira, "A Support Vector Machine Seismic Detector for Early-Warning Applications", ICONS'2013 - 3rd IFAC International Conference on Intelligent Control, pp. 400–405, 2013.
Verissimo, P., S. Melro, A. Casimiro, and L. Silva, "Systems: Design and Experience", Balanced Automation Systems II: Implementation challenges for anthropocentric manufacturing: Springer, pp. 175, 2013.
Bessani, A. Neves, L. A. Cutillo, G. Ramunno, N. Schirmer, and P. Smiraglia, "The TClouds platform: concept, architecture and instantiations", Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing: ACM, pp. 1, 2013.
Teixeira, A. L., R. C. Santos, J. P. Leal, J. A. Martinho Simões, and A. O. Falcao, "ThermInfo: Collecting, Retrieving, and Estimating Reliable Thermochemical Data", arXiv preprint arXiv:1302.0710, 2013.
Muppala, J. K., M. Hiltunen, R. Campbell, and P. Verissimo, The Third International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology, , 2013.
Guerreiro, T., J. Bigham, L. Carriço, D. Gonçalves, Y. Yesilada, and S. Abou-Zahra, "Third mobile accessibility workshop", CHI'13 Extended Abstracts on Human Factors in Computing Systems: ACM, pp. 3287–3290, 2013.
Fernandes, N., A. Sofia Batista, D. Costa, C. Duarte, and L. Carriço, "Three web accessibility evaluation perspectives for RIA", Proceedings of the 10th International cross-disciplinary conference on web accessibility: ACM, pp. 12, 2013.
Delahaye, B\^ıt., J. Luiz Fiadeiro, A. Legay, and A. Lopes, "A timed component algebra for services", Formal Techniques for Distributed Systems: Springer Berlin Heidelberg, pp. 242–257, 2013.
Pesquita, C., D. Faria, E. Santos, and F. Couto, "To repair or not to repair: reconciling correctness and coherence in ontology reference alignments", Ontology Matching, pp. 13, 2013.
Pesquita, C., D. Faria, E. Santos, and F. Couto, "To repair or not to repair: reconciling correctness and coherence in ontology reference alignments.", OM, pp. 13–24, 2013.
Guerreiro, J., D. Gonçalves, D. H. Marques, T. Guerreiro, H. Nicolau, and K. Montague, "The Today and Tomorrow of Braille Learning", ASSETS 2013 - The 15th ACM SIGACCESS International Conference on Computers and Accessibility, 2013.
Oliveira, I., and N. Guimarães, "A tool for mental workload evaluation and adaptation", Proceedings of the 4th Augmented Human International Conference: ACM, pp. 138–141, 2013.
Craveiro, J., F. M. V. Ramos, E. Kanjo, and N. El Mawass, Towards an early warning system: the effect of weather on mobile phone usage A case study in Abidjan, , 2013.
Marques, E. R. B., F. Martins, V. T. Vasconcelos, N. Ng, and N. Dias Martins, "Towards deductive verification of MPI programs against session types", arXiv preprint arXiv:1312.2705, 2013.
Jesus, G. Joao Vitor, A. Casimiro, and A. Oliveira, "Towards Dependable Measurements in Coastal Sensors Networks", Dependable Computing: Springer Berlin Heidelberg, pp. 190–193, 2013.
Souza, J. L. R., and J. Rufino, "Towards resilient real-time wireless communications", Work-in-Progress Session, pp. 29, 2013.
Kreutz, D., F. M. V. Ramos, and P. Verissimo, "Towards secure and dependable software-defined networks", Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking: ACM, pp. 55–60, 2013.
Rafael, I., L. Duarte, L. Carriço, and T. Guerreiro, "Towards ubiquitous awareness tools for blind people", Proceedings of the 27th International BCS Human Computer Interaction Conference: British Computer Society, pp. 38, 2013.
Moreira, S., D. S. Batista, P. Carvalho, F. Couto, and M. J. Silva, "Tracking politics with POWER", Program, vol. 47, no. 2: Emerald Group Publishing Limited, pp. 120–135, 2013.
Coelho, J., P. Biswas, T. Guerreiro, G. Aslan, C. Duarte, and P. Langdon, "TV applications for the elderly: Assessing the acceptance of adaptation and multimodality", ACHI 2013, The Sixth International Conference on Advances in Computer-Human Interactions, pp. 234–242, 2013.
Baltazar, P., L. Caires, V. T. Vasconcelos, and H. Torres Vieira, "A type system for flexible role assignment in multiparty communicating systems", Trustworthy Global Computing: Springer Berlin Heidelberg, pp. 82–96, 2013.
Vieira, H. Torres, and V. T. Vasconcelos, "Typing progress in communication-centred systems", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 236–250, 2013.
Nicolau, H., J. Guerreiro, T. Guerreiro, and L. Carriço, "UbiBraille: designing and evaluating a vibrotactile Braille-reading device", Proceedings of the 15th International ACM SIGACCESS Conference on Computers and Accessibility: ACM, pp. 23, 2013.
Marques, D. H., T. Guerreiro, L. Duarte, and L. Carriço, "Under the table: Tap authentication for smartphones", Proceedings of the 27th International BCS Human Computer Interaction Conference: British Computer Society, pp. 33, 2013.
Pombinho, P., A. Paula Afonso, and M. Beatriz Carmo, "Understanding the Role of Historical Context in a Point of Interest Recommendation System", International Conference on Information Visualization Theory and Applications, IVAPP 2013, 2013.
Martins, M. do Carmo, and F. Martins, "ON USING SAGE TO SOLVE CONSTRAINED OPTIMIZATION PROBLEMS APPLYING THE LAGRANGE MULTIPLIERS METHOD", European Scientific Journal, vol. 9, no. 21, 2013.
Gonçalves, T., A. Paula Afonso, and B. Martins, "Visual analysis of mobility data", Mobile Data Management (MDM), 2013 IEEE 14th International Conference on, vol. 2: IEEE, pp. 7–10, 2013.
Costa, D., N. Fernandes, S. Neves, C. Duarte, R. Hijón-Neira, and L. Carriço, "Web accessibility in Africa: a study of three African domains", Human-Computer Interaction–INTERACT 2013: Springer Berlin Heidelberg, pp. 331–338, 2013.
Pesquita, C., D. Faria, C. Stroe, E. Santos, I. F. Cruz, and F. Couto, "What's in a 'nym'? Synonyms in Biomedical Ontology Matching", The Semantic Web–ISWC 2013: Springer Berlin Heidelberg, pp. 526–541, 2013.
Ramalho, J., and T. Chambel, "Windy sight surfers: sensing and awareness of 360 immersive videos on the move", Proceedings of the 11th european conference on Interactive TV and video: ACM, pp. 107–116, 2013.
2012
Fernandes, N., D. Costa, C. Duarte, and L. Carriço, Accessibility in dynamic Web TV applications, , 2012.
Costa, D., N. Fernandes, C. Duarte, and L. Carriço, "Accessibility of dynamic adaptive web tv applications", Computers Helping People with Special Needs: Springer Berlin Heidelberg, pp. 343–350, 2012.
Carmo, M. Beatriz, A. Claudio, A. Ferreira, and A. Paula Afonso, "Adaptação de simbologia em realidade aumentada", EPCG: 20º encontro português de Computação gráfica, pp. 73–79, 2012.
Dixit, M., A. Casimiro, P. Lollini, A. Bondavalli, and P. Verissimo, "Adaptare: Supporting automatic and dependable adaptation in dynamic environments", ACM Transactions on Autonomous and Adaptive Systems (TAAS), vol. 7, no. 2: ACM, pp. 18, 2012.
Costa, D., and C. Duarte, "Adapting TV based applications' user interface", Proceedings of the IADIS international conference interfaces and human computer interaction (IHCI 2012), 2012.
Antunes, P., J. Ramires, and A. Respicio, "Addressing the conflicting dimension of groupware: A case study in software requirements validation", Computing and Informatics, vol. 25, no. 6, pp. 523–546, 2012.
Ravara, A., P. Resende, and V. T. Vasconcelos, "An algebra of behavioural types", Information and Computation, vol. 212: Academic Press, pp. 64–91, 2012.
Carvalho, J., L. Duarte, and L. Carriço, "An analysis of player strategies and performance in audio puzzles", Entertainment Computing-ICEC 2012: Springer Berlin Heidelberg, pp. 349–362, 2012.
Chambel, T., A. García Ariza, G. Perin, M. Tavares, J. Bidarra, and M. Figueiredo, Artech 2012-Crossing digital boundaries: Proceedings of the 6th International Conference on Digital Arts, : Grupo Português de Computação Gráfica and ARTECH International, 2012.
Fernandes, N., and L. Carriço, "Assessing the effort of repairing the accessibility of web sites", Computers Helping People with Special Needs: Springer Berlin Heidelberg, pp. 396–403, 2012.
Carvalho, J., T. Guerreiro, L. Duarte, and L. Carriço, "Audio-based puzzle gaming for blind people", Proceedings of the mobility accessibility workshop at MobileHCI, San Francisco, CA, US, 2012.
Pesquita, C., Automated extension of biomedical ontologies, , 2012.
Faria, D., and , Automated knowledge extraction from protein sequence, , 2012.
Cruz, N., and H. Miranda, "Avaliação de um Sistema de Reputação e Incentivo", Atas do 4o Simpósio de Informática (INForum 2012): Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, 2012.
Martins, I. Filipa, A. L. Teixeira, L. Pinheiro, and A. O. Falcao, "A Bayesian approach to in silico blood-brain barrier penetration modeling", Journal of chemical information and modeling, vol. 52, no. 6: American Chemical Society, pp. 1686–1697, 2012.
Correia, M., N. Ferreira Neves, and P. Verissimo, "BFT-TO: Intrusion tolerance with less replicas", The Computer Journal: Oxford University Press, pp. bxs148, 2012.
Duarte, L., and L. Carriço, "Blue pill or red pill?: placebo effect and the outcome on physiological & player performance metrics", Proceedings of the 4th International Conference on Fun and Games: ACM, pp. 93–96, 2012.
Alchieri, E., A. Neves Bessani, F. Greve, and J. da Silva Fraga, "Brief announcement: decoupled and consensus-free reconfiguration for fault-tolerant storage", Distributed Computing: Springer Berlin Heidelberg, pp. 443–444, 2012.
Casimiro, A., J. Kaiser, J. Karlsson, E. Michael Schiller, P. Tsigas, P. Costa, J. Parizi, R. Johansson, and R. Librino, "Brief announcement: Karyon: Towards safety kernels for cooperative vehicular systems", Stabilization, Safety, and Security of Distributed Systems: Springer Berlin Heidelberg, pp. 232–235, 2012.
Ferreira, J., C. Pesquita, F. Couto, and M. J. Silva, "Bringing epidemiology into the Semantic Web.", ICBO, 2012.
Coelho, J., C. Duarte, P. Feiteira, D. Costa, and D. Costa, "Building Bridges Between Elderly and TV Application Developers", ACHI 2012, The Fifth International Conference on Advances in Computer-Human Interactions, pp. 53–59, 2012.
Mendes, R., T. Oliveira, A. Neves Bessani, and M. Pasin, "C2FS: um Sistema de Ficheiros Seguro e Fiável para Cloud-of-clouds", INForum12, September, 2012.
Duarte, L., T. Antunes, and L. Carriço, "Can you feel it?: sharing heart beats with Augmento", Proceedings of the 3rd Augmented Human International Conference: ACM, pp. 4, 2012.
Souza, J. L. R., A. Guerreiro, and J. Rufino, "Characterizing Inaccessibility in IEEE 802.15. 4 Through Theoretical Models and Simulation Tools", D3. 1–First Report on Supporting Technologies (Annex), pp. 63, 2012.
Grego, T., C. Pesquita, H. Bastos, and F. Couto, "Chemical entity recognition and resolution to ChEBI", International Scholarly Research Notices, vol. 2012: Hindawi Publishing Corporation, 2012.
de Sá, M., L. Carriço, J. Faria, and I. Sá, "Children Psychotherapy with Mobile Devices", Human-Computer Interaction: The Agency Perspective: Springer Berlin Heidelberg, pp. 85–109, 2012.
Linhares, G. B. R., M. R. S. Borges, and P. Antunes, "Collaboration and conflict in software review meetings", International Journal of Information Technology & Decision Making, vol. 11, no. 06: World Scientific Publishing Company, pp. 1065–1085, 2012.
Munir, K., M. Welzl, M. Pasin, and P. Primet Vicat-Blanc, "Combining explicit admission control and congestion control for predictable data transfers in grids", Future Generation Computer Systems, vol. 28, no. 7: North-Holland, pp. 1121–1132, 2012.
Lima, R., C. Baquero, and H. Miranda, "Comparação de Mecanismos de Cancelamento de Difusão", Atas do 4o Simpósio de Informática (INForum 2012): Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, 2012.
Fiadeiro, J. Luiz, and A. Lopes, "Consistency of service composition", Fundamental Approaches to Software Engineering: Springer Berlin Heidelberg, pp. 63–77, 2012.
Schnitzer, S., H. Miranda, and B. Koldehofe, "Content routing algorithms to support Publish/Subscribe in Mobile Ad Hoc Networks.", LCN Workshops, pp. 1053–1060, 2012.
Pombinho, P., M. Beatriz Carmo, and A. Paula Afonso, "Context aware point of interest adaptive recommendation", Proceedings of the 2nd Workshop on Context-awareness in Retrieval and Recommendation: ACM, pp. 30–33, 2012.
Dondossola, G., G. Deconinck, F. Di Giandomenico, S. Donatelli, M. Kaaniche, and P. Verissimo, "Critical utility infrastructural resilience", arXiv preprint arXiv:1211.5736, 2012.
Bessani, A. Neves, E. Vial, M. Garcia, R. Fonseca, H. Rouhani, and P. Verissimo, D5. 1.3-Proof-of-concept Prototype of Defense Mechanisms, , 2012.
Duarte, C., A. Ribeiro, and R. Nunes, DESIGNING MULTIMODAL INTERACTIVE SYSTEMS, , 2012.
Santos, A. L., "Developing contexts for teaching Java using AGUIA/J", Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education: ACM, pp. 378–378, 2012.
Biswas, P., P. Langdon, C. Jung, P. Hamisu, C. Duarte, and L. Almeida, "Developing intelligent user interfaces for e-accessibility and e-inclusion", Proceedings of the 2012 ACM international conference on Intelligent User Interfaces: ACM, pp. 405–408, 2012.
Freitas, S., and A. Paula Afonso, "Distributed Vector based Spatial Data Conflation Services", XII Brazilian Symposium on GeoInformatics, GeoInfo 2012, 2012.
Koch, A. M., P. Antunes, and J. N. Klironomos, "Diversity effects on productivity are stronger within than between trophic groups in the arbuscular mycorrhizal symbiosis", PloS one, vol. 7, no. 5: Public Library of Science, pp. e36950, 2012.
Garcia, M., N. Ferreira Neves, and A. Neves Bessani, "Diversys: Diverse rejuvenation system", Proceedings of the INFORUM-Simpósio de Informática, 2012.
Baltazar, P., L. Caires, V. T. Vasconcelos, and H. Torres Vieira, Dynamic Roles in Multiparty Communicating Systems, : UNL-DI-1–2012, Universidade Nova de Lisboa, 2012.
Kim, H., J. Crowcroft, and F. M. V. Ramos, "Efficient channel selection using hierarchical clustering", World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2012 IEEE International Symposium on a: IEEE, pp. 1–9, 2012.
Couto, F., J. Ferreira, J. Zamite, C. Santos, T. Posse, P. Graça, D. Domingos, and M. J. Silva, "The Epidemic Marketplace Platform: towards semantic characterization of epidemiological resources using biomedical ontologies", International Conference on Biomedical Ontologies, 2012.

Pages