Publications

Export 2272 results:
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.", ICBO, 2012.
Marques, L., and A. Casimiro, Evaluating lightweight dependable adaptation in 802.15. 4 wireless sensor networks, , 2012.
Fernandes, N., D. Costa, S. Neves, C. Duarte, and L. Carriço, "Evaluating the accessibility of rich internet applications", Proceedings of the International Cross-Disciplinary Conference on Web Accessibility: ACM, pp. 13, 2012.
Fernandes, N., D. Costa, C. Duarte, and L. Carriço, "Evaluating the accessibility of web applications", Procedia Computer Science, vol. 14: Elsevier, pp. 28–35, 2012.
Fernandes, N., R. Lopes, and L. Carriço, "Evaluating Web accessibility at different processing phases", New Review of Hypermedia and Multimedia, vol. 18, no. 3: Taylor & Francis Group, pp. 159–181, 2012.
Feiteira, P., and C. Duarte, "An Evaluation Framework for Assessing and Optimizing Multimodal Fusion Engines Performance", Complex, Intelligent and Software Intensive Systems (CISIS), 2012 Sixth International Conference on: IEEE, pp. 560–566, 2012.
de Sá, M., and L. Carriço, "Fear therapy for children: a mobile approach", Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems: ACM, pp. 237–246, 2012.
Correia, M., P. Costa, M. Pasin, A. Neves Bessani, F. M. V. Ramos, and P. Verissimo, On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds, , 2012.
Correia, M., P. Costa, M. Pasin, A. Bessani, F. Ramos, and P. Verissimo, "On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds", IEEE Symposium on Reliable Distributed Systems, pp. 448-453, 2012.
Correia, M., P. Costa, M. Pasin, A. Neves Bessani, F. M. V. Ramos, and P. Verissimo, "On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds.", SRDS, pp. 448–453, 2012.
Lima, D., and H. Miranda, "Flow-aware broadcasting algorithm", Trust, Security and Privacy in Computing and Communications (TrustCom), 2012 IEEE 11th International Conference on: IEEE, pp. 1601–1608, 2012.
Fiadeiro, J., A. Lopes, and J. Abreu, "A formal model for service-oriented interactions", Science of Computer Programming, vol. 77, no. 5: Elsevier, pp. 577–608, 2012.
Sousa, J., and A. Neves Bessani, "From Byzantine consensus to BFT state machine replication: A latency-optimal transformation", Dependable Computing Conference (EDCC), 2012 Ninth European: IEEE, pp. 37–48, 2012.
Reis, D., and H. Miranda, "FTRMI: fault-tolerant transparent RMI", Proceedings of the 27th Annual ACM Symposium on Applied Computing: ACM, pp. 511–518, 2012.
Vasconcelos, V. T., "Fundamentals of session types", Information and Computation, vol. 217: Academic Press, pp. 52–70, 2012.
Félix, J. Luís Mont, Gestão de estado eficiente no serviço de coordenação DDS, , 2012.
Neng, L. A. R., and T. Chambel, "Get Around 360º Hypervideo Its Design and Evaluation", International Journal of Ambient Computing and Intelligence (IJACI), vol. 4, no. 4: IGI Global, pp. 40–57, 2012.
Gil, N., N. Silva, E. Duarte, P. Martins, T. Langlois, and T. Chambel, "Going through the clouds: search overviews and browsing of movies", Proceeding of the 16th International Academic MindTrek Conference: ACM, pp. 158–165, 2012.
Lopes, A., and J. Luiz Fiadeiro, "A graph-based design framework for services", Graph Transformations: Springer Berlin Heidelberg, pp. 1–19, 2012.
Jung, C., P. Hamisu, C. Duarte, P. Biswas, and L. Almeida, "GUIDE: Personalisable Multi-Modal User Interfaces for Web Applications on TV", eBook and USB produced by Sigma Orionis, pp. 35, 2012.
Santos, A. L., "GUI-driven code tracing", Visual Languages and Human-Centric Computing (VL/HCC), 2012 IEEE Symposium on: IEEE, pp. 111–118, 2012.
Santos, A. L., "GUITA Toolkit: Interaction-driven code tracing", Visual Languages and Human-Centric Computing (VL/HCC), 2012 IEEE Symposium on: IEEE, pp. 263–264, 2012.
Craveiro, J., and J. Rufino, "Heterogeneous multiprocessor compositional real-time scheduling", RTSOPS 2012, pp. 21, 2012.
Craveiro, J., R. Ormonde Silveira, and J. Rufino, "hsSim: an extensible interoperable object-oriented n-level hierarchical scheduling simulator", 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2012), Pisa, Italy, 2012.
Simões, D., P. Antunes, and J. A. Pino, "Humanistic approach to the representation of business processes", Computer Supported Cooperative Work in Design (CSCWD), 2012 IEEE 16th International Conference on: IEEE, pp. 655–665, 2012.
Grego, T., F. R. Pinto, and F. Couto, "Identifying Chemical Entities based on ChEBI.", ICBO, 2012.
Magalhães, J., S. Strover, T. Chambel, P. Viana, T. Andrade, F. Francisco-Revilla, F. Martins, and N. Correia, "ImTV: Towards an Immersive TV Experience", 3rd International Workshop on Future Television: Making Television Integrated and Interactive, Adjunct Proceeding of EuroiTV, vol. 12, 2012.
Casimiro, A., and J. Kaiser, "Introduction to ASCoMS 2012", Computer Safety, Reliability, and Security: Springer Berlin Heidelberg, pp. 149–150, 2012.
Coelho, J., P. Biswas, C. Duarte, T. Guerreiro, P. Langdon, P. Feiteira, D. Costa, D. Costa, B. Neves, and F. Alves, "Involving All Stakeholders in the Development of TV Applications for Elderly", International Journal On Advances in Intelligent Systems, vol. 5, no. 3 and 4, pp. 427–440, 2012.
Vavala, B., and N. Ferreira Neves, "LaSIGE, Univ. of Lisbon, Lisbon, Portugal", Reliable Distributed Systems (SRDS), 2012 IEEE 31st Symposium on: IEEE, pp. 161–170, 2012.
Sanderson, LA., JA. McLaughlin, and PM. Antunes, "The last great forest: a review of the status of invasive species in the North American boreal forest", Forestry: Oxford University Press, pp. cps033, 2012.
Baltazar, P., D. Mostrous, and V. T. Vasconcelos, "Linearly refined session types", arXiv preprint arXiv:1211.4099, 2012.
Bessani, A. Neves, R. Kapitza, D. Petcu, P. Romano, S. V. Gogouvitis, D. Kyriazis, and R. G. Cascella, "A look to the old-world\_sky: EU-funded dependability cloud computing research", ACM SIGOPS Operating Systems Review, vol. 46, no. 2: ACM, pp. 43–56, 2012.
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.
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.
Alchieri, E., A. Neves Bessani, J. da Silva Fraga, and F. Greve, "Memória compartilhada em sistemas bizantinos dinâmicos", Anais XIII Workshop de Teste e Tolerância a Falhas, 2012.
Faria, D., A. Schlicker, C. Pesquita, H. Bastos, A. E. N. Ferreira, M. Albrecht, and A. O. Falcao, "Mining GO annotations for improving annotation consistency", PloS one, vol. 7, no. 7: Public Library of Science, pp. e40519, 2012.
Pombinho, P., A. Paula Afonso, M. Beatriz Carmo, and C. Grande, "Mixed Environment Adaptive System for Point of Interest Awareness", LAMDa Workshop, IUI, 2012.
Gay, S. J., N. Gesbert, A. Ravara, and V. T. Vasconcelos, "Modular session types for objects", arXiv preprint arXiv:1205.5344, 2012.
Colucci, E., DR. Alves, DHR. Goncalves, KT. Timenetsky, RAC. Eid, and P. Verissimo, "Noninvasive Ventilation Inside The Cath Lab Can Be An Effective And Safe Alternative For Patients With Acute Respiratory Failure", Am J Respir Crit Care Med, vol. 185, pp. A3115, 2012.
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.
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.
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.
Prata, A., T. Chambel, and N. Guimarães, "Personalized Content Access in Interactive TV-Based Cross Media Environments", TV Content Analysis: Techniques and Applications: CRC Press, pp. 331, 2012.
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.
Pesquita, C., and F. Couto, "Predicting the extension of biomedical ontologies", PLoS computational biology, vol. 8, no. 9: Public Library of Science, pp. e1002630, 2012.
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.
Mostrous, D., Proof Nets as Processes, , 2012.
Mostrous, D., Proof Nets in Process Algebraic Form, , 2012.
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.
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.
Brandão, L. Teixeira d, and A. Neves Bessani, "On the reliability and availability of replicated and rejuvenating systems under stealth attacks and intrusions", Journal of the Brazilian Computer Society, vol. 18, no. 1: Springer-Verlag, pp. 61–80, 2012.
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.
Vavala, B., and N. Ferreira Neves, "Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions.", SRDS, pp. 161–170, 2012.
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.
Field, J., and V. T. Vasconcelos, "Selected Papers from the Eleventh International Conference on Coordination Models and Languages", Science of Computer Programming, vol. 77, no. 6: Elsevier, pp. 661–662, 2012.
Martins, F., L. Lopes, and H. Paulino, Sensor Systems and Software: Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers, : Springer Publishing Company, Incorporated, 2012.
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.
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.
Caires, L., and H. Torres Vieira, "SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications", Tools and Algorithms for the Construction and Analysis of Systems: Springer Berlin Heidelberg, pp. 485–491, 2012.
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.
Kapitza, R., and A. Neves Bessani, "SPECIAL TOPIC-Best Paper and Research Projects from EWDCC 2012 First European Workshop on Dependable Cloud Computing-Summary of the 1 st European Workshop on Dependable Cloud Computing", SIGOPS Operating Systems Review, vol. 46, no. 2, pp. 36, 2012.
de Andrade, F. Rebello, J. P. Faria, A. Lopes, and A. C. R. Paiva, "Specification-driven unit test generation for java generic classes", Integrated Formal Methods: Springer Berlin Heidelberg, pp. 296–311, 2012.
Antunes, P., V. Herskovic, S. F. Ochoa, and J. A. Pino, "Structuring dimensions for collaborative systems evaluation", ACM Computing Surveys (CSUR), vol. 44, no. 2: ACM, pp. 8, 2012.
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.
Faria, D., C. Pesquita, E. Santos, F. Couto, C. Stroe, and I. F. Cruz, "Testing the AgreementMaker System in the Anatomy Task of OAEI 2012", arXiv preprint arXiv:1212.1625, 2012.
Carriço, L., M. de Sá, L. Duarte, and T. Antunes, "Therapy: location-aware assessment and tasks", Proceedings of the 3rd Augmented Human International Conference: ACM, pp. 2, 2012.
Jorge, A., N. Gil, and T. Chambel, "Time for a New Look at the Movies through Visualization", Proceedings of Artech, pp. 269–278, 2012.
Dixit, M., H. Moniz, and A. Casimiro, "Timeout-based adaptive consensus: improving performance through adaptation", Proceedings of the 27th Annual ACM Symposium on Applied Computing: ACM, pp. 492–497, 2012.
Batista, D. S., J. Ferreira, F. Couto, and M. J. Silva, "Toponym disambiguation using ontology-based semantic similarity", Computational Processing of the Portuguese Language: Springer Berlin Heidelberg, pp. 179–185, 2012.
Machado, C. M., F. Couto, A. R. Fernandes, S. Santos, and A. T. Freitas, "Toward a translational medicine approach for hypertrophic cardiomyopathy", Information Technology in Bio-and Medical Informatics: Springer Berlin Heidelberg, pp. 151–165, 2012.
Craveiro, J., and J. Rufino, Towards Compositional Hierarchical Scheduling Frameworks on Uniform Multiprocessors, , 2012.
Marques, L., and A. Casimiro, "Towards dependable and stable perception in smart environments with timing and value faults", Computer Safety, Reliability, and Security: Springer Berlin Heidelberg, pp. 151–161, 2012.
Reis, D., and H. Miranda, "Transparently increasing RMI fault tolerance", ACM SIGAPP Applied Computing Review, vol. 12, no. 2: ACM, pp. 18–26, 2012.
Casimiro, A., P. Verissimo, D. Kreutz, F. Araujo, R. Barbosa, S. Neves, B. Sousa, M. Curado, C. Silva, R. Gandhi, et al., "TRONE: Trustworthy and resilient operations in a network environment", Dependable Systems and Networks Workshops (DSN-W), 2012 IEEE/IFIP 42nd International Conference on: IEEE, pp. 1–6, 2012.
Kreutz, D., A. Casimiro, and M. Pasin, "A trustworthy and resilient event broker for monitoring cloud infrastructures", Distributed Applications and Interoperable Systems: Springer Berlin Heidelberg, pp. 87–95, 2012.
Herskovic, V., A. Neyem, S. F. Ochoa, J. A. Pino, and P. Antunes, "Understanding presence awareness information needs among engineering students", Computer Supported Cooperative Work in Design (CSCWD), 2012 IEEE 16th International Conference on: IEEE, pp. 258–264, 2012.
Ferreira, J., D. Paolotti, F. Couto, and M. J. Silva, "On the usefulness of ontologies in epidemiology research and practice", Journal of epidemiology and community health: BMJ Publishing Group Ltd, pp. jech–2012, 2012.
Duarte, L., and L. Carriço, "User performance tweaking in videogames: a physiological perspective of player reactions", Proceedings of the 3rd Augmented Human International Conference: ACM, pp. 5, 2012.
Honda, K., E. R. B. Marques, F. Martins, N. Ng, V. T. Vasconcelos, and N. Yoshida, "Verification of MPI programs using session types", Recent Advances in the Message Passing Interface: Springer Berlin Heidelberg, pp. 291–293, 2012.
Arantes, L., A. Neves Bessani, V. Vielmo Cogo, M. Correia, P. Costa, J. Lejeune, M. Piffaretti, O. Marin, M. Pasin, P. Sens, et al., "Vers une plate-forme MapReduce tolérant les fautes byzantines.", Technique et Science Informatiques, vol. 31, no. 8-10, pp. 1079–1099, 2012.
2011
Fiadeiro, J. Luiz, A. Lopes, and L. Bocchi, "An abstract model of service discovery and binding", Formal Aspects of Computing, vol. 23, no. 4: Springer-Verlag, pp. 433–463, 2011.
Hamisu, P., G. Heinrich, C. Jung, V. Hahn, C. Duarte, P. Langdon, and P. Biswas, "Accessible UI design and multimodal interaction through hybrid TV platforms: towards a virtual-user centered design framework", Universal Access in Human-Computer Interaction. Users Diversity: Springer, pp. 32–41, 2011.
Rosa, J., J. Craveiro, and J. Rufino, "Adaptability and survivability in spaceborne time-and space-partitioned systems", EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE: IEEE, pp. 1–4, 2011.
Costa, D., and C. Duarte, "Adapting Multimodal Fission to User's Abilities", Universal Access in Human-Computer Interaction. Design for All and eInclusion: Springer, pp. 347–356, 2011.
Feiteira, P., and C. Duarte, "Adaptive multimodal fusion", Universal Access in Human-Computer Interaction. Design for All and eInclusion: Springer, pp. 373–380, 2011.
Santos, A. L., "AGUIA/J: a tool for interactive experimentation of objects", Proceedings of the 16th annual joint conference on Innovation and technology in computer science education: ACM, pp. 43–47, 2011.
Rufino, J., J. Craveiro, T. Schoofs, J. Cristóvão, S. Santos, and C. Tatibana, "AIR: Technology innovation for future spacecraft onboard computing systems", EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE: IEEE, pp. 1–2, 2011.
Antunes, P., A. Ferreira, G. Zurita, and N. Baloian, "Analyzing the support for large group collaborations using Google Maps", CSCWD: 15th international conference on Computer supported cooperative work in design: IEEE, pp. 748–755, 2011.
Nascimento, G., and M. Correia, "Anomaly-based intrusion detection in software as a service", Dependable Systems and Networks Workshops (DSN-W), 2011 IEEE/IFIP 41st International Conference on: IEEE, pp. 19–24, 2011.
Bastos, H., B. Tavares, C. Pesquita, D. Faria, and F. Couto, "Application of gene ontology to gene identification.", Methods in molecular biology (Clifton, NJ), vol. 760: Springer, pp. 141–157, 2011.
Bastos, H., B. Tavares, C. Pesquita, D. Faria, and F. Couto, "Application of Gene Ontology to gene identification", In Silico Tools for Gene Discovery: Humana Press, pp. 141–157, 2011.
Souza, J. L. R., and J. Rufino, "An approach to enhance the timeliness of wireless communications", UBICOMM 2011, The Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, pp. 277–282, 2011.
Sykes, AV., P. Domingues, R. Goncalves, M. Correia, and JP. Andrade, "ON THE AQUACULTURE POTENTIAL OF CEPHALOPOD SPECIES: THE EUROPEAN CUTTLEFISH AS A SHOWCASE", JOURNAL OF SHELLFISH RESEARCH, vol. 30, no. 3: NATL SHELLFISHERIES ASSOC C/O DR. SANDRA E. SHUMWAY, UNIV CONNECTICUT, 1080 SHENNECOSSETT RD, GROTON, CT 06340 USA, pp. 1021–1022, 2011.
Bessani, A. Neves, N. Ferreira Neves, A. Casimiro, C. Arce, E. Prieto, G. Gonzalez Granadillo, J. Repp, M. Zhdanova SIT, O. Polubelova, E. Novikova SPIIRAS, et al., Architecture Document, , 2011.
Fernandes, N., R. Lopes, and L. Carriço, "An architecture for multiple web accessibility evaluation environments", Universal Access in Human-Computer Interaction. Design for All and eInclusion: Springer Berlin Heidelberg, pp. 206–214, 2011.
Craveiro, J., J. Rufino, and F. Singhoff, "Architecture, mechanisms and scheduling analysis tool for multicore time-and space-partitioned systems", ACM SIGBED Review, vol. 8, no. 3: ACM, pp. 23–27, 2011.
Cruz, N., and H. Miranda, "Arquitectura para uma Computação em Nuvem Colaborativa entre Dispositivos Móveis", Atas do INFORUM 2011 - Terceiro Simpósio de Informática, Coimbra, Portugal, Dep. de Engenharia Informática da Universidade de Coimbra, 2011.
Madureira, L., L. C. Nunes, J. G. Borges, and A. O. Falcao, "Assessing forest management strategies using a contingent valuation approach and advanced visualisation techniques: A Portuguese case study", Journal of Forest Economics, vol. 17, no. 4: Urban & Fischer, pp. 399–414, 2011.

Pages