Publications

Export 2272 results:
2009
Santos, A. L., Domain-Oriented Reuse Interfaces for Object-Oriented Frameworks, , 2009.
Domaschka, J., H. Schmidt, F. J. Hauck, R. Kapitza, and H. P. Reiser, "Dosgi: An architecture for instant replication", Supplement Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), 2009.
Vasconcelos, V. T., S. J. Gay, A. Ravara, N. Gesbert, and A. Z. Caldeira, "Dynamic interfaces", International Workshop on Foundations of Object-Oriented Languages (FOOL), 2009.
Gay, S. J., A. Ravara, and V. T. Vasconcelos, "Dynamic interfaces", Proc. Foundations Object-Oriented Languages: Citeseer, 2009.
Taylor, I. W., R. Linding, D. Warde-Farley, Y. Liu, C. Pesquita, D. Faria, S. Bull, T. Pawson, Q. Morris, and J. L. Wrana, "Dynamic modularity in protein interaction networks predicts breast cancer outcome", Nature biotechnology, vol. 27, no. 2: Nature Publishing Group, pp. 199–204, 2009.
Mota, C., P. Carvalho, C. Freitas, H. Gonçalo Oliveira, and D. Santos, É tempo de avaliar o TEMPO, : Desafios na avaliação conjunta do reconhecimento de entidades mencionadas: O Segundo HAREM, Linguateca, 2009.
Oliveira, I., O. Grigori, and N. Guimarães, "EEG Signal Analysis for Silent Visual Reading Classification", International Journal of Circuits, Systems And Signal Processing, no. 1, pp. 119–126, 2009.
Palma, J., D. P. Bureau, M. Correia, and J. P. Andrade, "Effects of temperature, density and early weaning on the survival and growth of Atlantic ditch shrimp Palaemonetes varians larvae", Aquaculture Research, vol. 40, no. 13: Blackwell Publishing Ltd, pp. 1468–1473, 2009.
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, "An efficient Byzantine-resilient tuple space", Computers, IEEE Transactions on, vol. 58, no. 8: IEEE, pp. 1080–1094, 2009.
Craveiro, J., J. Rufino, C. Almeida, R. Covelo, and P. Venda, "Embedded Linux in a partitioned architecture for aerospace applications", Computer Systems and Applications, 2009. AICCSA 2009. IEEE/ACS International Conference on: IEEE, pp. 132–138, 2009.
Sapateiro, C., and P. Antunes, "An emergency response model toward situational awareness improvement", International conference on information systems for crisis response and management, Göteborg, Sweden, 2009.
Oliveira, E., and T. Chambel, "Emotional access and interaction with videos", Proceedings of the 13th International MindTrek Conference: Everyday Life in the Ubiquitous Era: ACM, pp. 218–219, 2009.
Bartolomeu, P., J. Ferreira, and J. Fonseca, "Enforcing flexibility in real-time wireless communications: A bandjacking enabled protocol", Emerging Technologies & Factory Automation, 2009. ETFA 2009. IEEE Conference on: IEEE, pp. 1–4, 2009.
Stankovic, V., A. Neves Bessani, A. Daidone, I. Gashi, RR. Obelheiro, and P. Sousa, "Enhancing Fault/Intrusion tolerance through design and configuration diversity", Proc. of the 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS 2009), 2009.
Bessani, A. Neves, A. Daidone, I. Gashi, R. Obelheiro, P. Sousa, and V. Stankovic, "Enhancing fault/intrusion tolerance through design and configuration diversity", Proceedings of the 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems–WRAITS, vol. 9, 2009.
Faria, D., A. E. N. Ferreira, and A. O. Falcao, "Enzyme classification with peptide programs: a comparative study", BMC bioinformatics, vol. 10, no. 1: BioMed Central Ltd, pp. 231, 2009.
Bastos, H., T. Grego, F. Couto, and P. M. Coutinho, Enzyme family coherence assessment: validation and prediction, : JB'2009-Challenges in Bioinformatics, 2009.
Lopes, L. F., F. Silva, F. Couto, and M. J. Silva, Epiwork D3. 1: Meta-model Initial Specification, Catalogue of Relevant Data, Platform Requirements, , 2009.
Ferreira, A., P. Antunes, and J. Pino, "Evaluating shared workspace performance using human information processing models", Information Research, vol. 14, no. 1, 2009.
de Sá, M., and L. Carriço, "An evaluation framework for mobile user interfaces", Human-Computer Interaction–INTERACT 2009: Springer Berlin Heidelberg, pp. 708–721, 2009.
Pombinho, P., M. Beatriz Carmo, and A. Paula Afonso, "Evaluation of overcluttering prevention techniques for mobile devices", Information Visualisation, 2009 13th International Conference: IEEE, pp. 127–134, 2009.
Franceschinis, G., E. Alata, J. Antunes, H. Beitollah, A. Neves Bessani, M. Correia, W. Dantas, G. Deconinck, M. Kaaniche, N. Ferreira Neves, et al., Experimental validation of architectural solutions, , 2009.
Franceschinis, G., E. Alata, J. Antunes, H. Beitollah, A. Neves Bessani, M. Correia, W. Dantas, G. Deconinck, M. Kaaniche, N. Ferreira Neves, et al., Experimental validation of architectural solutions (II), , 2009.
Cardoso, N., P. Sousa, and M. J. Silva, "Experiments with geographic evidence extracted from documents", Evaluating Systems for Multilingual and Multimodal Information Access: Springer Berlin Heidelberg, pp. 885–893, 2009.
Duarte, L., M. de Sá, and L. Carriço, "Exploring Multimodal Interaction in Collaborative Settings", Human-Computer Interaction. Novel Interaction Methods and Techniques: Springer Berlin Heidelberg, pp. 19–28, 2009.
Sarmento, L., P. Carvalho, and E. C. Oliveira, "Exploring the Vector Space Model for Finding Verb Synonyms in Portuguese.", RANLP, pp. 393–398, 2009.
Craveiro, J., J. Rufino, T. Schoofs, and J. Windsor, "Flexible operating system integration in partitioned aerospace systems", Actas do INForum-Simpósio de Informática, pp. 49–60, 2009.
Martinho, R., J. Varajao, and D. Domingos, "Flexspmf: a framework for modelling and learning flexibility in software processes", Visioning and Engineering the Knowledge Society. A Web Science Perspective: Springer Berlin Heidelberg, pp. 78–87, 2009.
Fiadeiro, J. Luiz, A. Lopes, L. Bocchi, and J. Abreu, "A formal approach to service-oriented modelling", 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services, 2009.
Lee, D., A. Lopes, and A. Poetzsch-Heffter, Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings, , vol. 5522: Springer Science & Business Media, 2009.
Rosa, L., L. Rodrigues, A. Lopes, M. Hiltunen, and R. Schlichting, "From local impact functions to global adaptation of service compositions", Stabilization, Safety, and Security of Distributed Systems: Springer Berlin Heidelberg, pp. 593–608, 2009.
Reiser, H. P., T. Distler, and R. Kapitza, "Functional decomposition and interactions in hybrid intrusion-tolerant systems", Proceedings of the 3rd International DiscCoTec Workshop on Middleware-Application Interaction: ACM, pp. 7–12, 2009.
Vasconcelos, V. T., "Fundamentals of session types", Formal Methods for Web Services: Springer Berlin Heidelberg, pp. 158–186, 2009.
Vasconcelos, V. T., Fundamentals of Session Types, Formal Methods for Web Services, : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, 2009.
Lopes, R., and L. Carriço, "On the Gap between Automated and In-Vivo Evaluations of Web Accessibility", Universal Access in Human-Computer Interaction. Applications and Services: Springer Berlin Heidelberg, pp. 735–744, 2009.
Lopez-Pellicer, F. J., M. J. Silva, M. Chaves, and C. Rodrigues, Geographic ontologies production in grease-ii, , 2009.
Lopez-Pellicer, F. J., M. Chaves, C. Rodrigues, and M. J. Silva, Geographic Ontologies Production in Grease-II Technical Report, , 2009.
Duarte, C., and A. Neto, "Gesture interaction in cooperation scenarios", Groupware: Design, Implementation, and Use: Springer, pp. 190–205, 2009.
Santos, D., N. Cardoso, P. Carvalho, I. Dornescu, S. Hartrumpf, J. Leveling, and Y. Skalban, "GikiP at GeoCLEF 2008: Joining GIR and QA forces for querying Wikipedia", Evaluating Systems for Multilingual and Multimodal Information Access: Springer, pp. 894–905, 2009.
Pesquita, C., and F. Couto, GO where we need it to go: focused automated enrichment of the Gene Ontology. Student Council Symposium, : Student Council Symposium at ISMB/ECCB 2009, 2009.
Faria, D., C. Pesquita, F. Couto, and A. O. Falcao, "GOclasses: molecular function as viewed by proteins", The 12th Annual Bio-Ontologies, 2009.
Friedman, R., A-M. Kermarrec, H. Miranda, and L. Rodrigues, "Gossip-based dissemination", Middleware for Network Eccentric and Mobile Applications: Springer Berlin Heidelberg, pp. 169–190, 2009.
Machado, C. M., H. Bastos, and F. Couto, "GREAT: gene regulation evaluation tool", Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living: Springer Berlin Heidelberg, pp. 930–933, 2009.
Couto, F., T. Grego, C. Pesquita, and P. Verissimo, Handling self-citations using Google Scholar, : International Journal of Scientometrics, Informetrics and Bibliometrics, 2009.
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.
Guimarães, N., and L. Carriço, "Hypermedia genes: an evolutionary perspective on concepts, models, and architectures", Synthesis Lectures on Information Concepts, Retrieval, and Services, vol. 4, no. 1: Morgan & Claypool Publishers, pp. 1–86, 2009.
Grego, T., P. Pęzik, F. Couto, and D. Rebholz-Schuhmann, "Identification of chemical entities in patent documents", Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living: Springer, pp. 942–949, 2009.
Pesquita, C., T. Grego, and F. Couto, "Identifying Gene Ontology Areas for Automated Enrichment", Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living: Springer, pp. 934–941, 2009.
Schoofs, T., S. Santos, C. Tatibana, J. Anjos, J. Rufino, and J. Windsor, An IMA development environment, : Eurospace Data Systems in Aerospace Conference (DASIA 2009), 2009.
Pereira, J., L. Carriço, and C. Duarte, "Improving children's writing ability", Human-Computer Interaction. Interacting in Various Application Domains: Springer Berlin Heidelberg, pp. 186–195, 2009.
Senger, H., and , "Improving scalability of Bag-of-Tasks applications running on master–slave platforms", Parallel Computing, vol. 35, no. 2: North-Holland, pp. 57–71, 2009.
Gagliardi, H. F., F. Silva, D. Stringhini, F. S. Lopes, and R. M. Pereira, The Integra-Model Service: enabling the simulation of multiple epidemiological models and scenarios on the grid, : Second EELA-2 Conference 2009., 2009.
Reis, T., L. Carriço, and C. Duarte, "Interaction design: The mobile percussionist", Haptic and Audio Interaction Design: Springer, pp. 109–118, 2009.
Verissimo, P., M. Correia, N. Ferreira Neves, and P. Sousa, "Intrusion-resilient middleware design and validation", Information Assurance, Security and Privacy Services, vol. 4, pp. 615–678, 2009.
Sousa, P., A. Neves Bessani, W. S. Dantas, F. Souto, M. Correia, and N. Ferreira Neves, "Intrusion-tolerant self-healing devices for critical infrastructure protection", Dependable Systems & Networks, 2009. DSN'09. IEEE/IFIP International Conference on: IEEE, pp. 217–222, 2009.
Sousa, P., A. Neves Bessani, W. S. Dantas, F. Souto, M. Correia, and N. Ferreira Neves, Intrusion-Tolerant Self-Healing Devices fror Critical Infrastructure Protection, : 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009), 2009.
Näveke, C., I. Franz J. Hauck, H. P. Reiser, and D-I. Jörg Domaschka, Konfliktvoraussage für lock-basierte Synchronisierung, , 2009.
Marques, G., and T. Langlois, A Language Modeling Approach for the Classification of Audio Music, , 2009.
Anhalt, F., G. Koslovski, M. Pasin, J-P. Gelas, P. Vicat- Blan Primet, and , "Les Infrastructures Virtuelles á la demande pour un usage flexible de l'Internet", JDIR'09: 10émes Journées Doctorales en Informatique et Réseaux, 2009.
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.
Garbinato, B\^ıt., H. Miranda, and L. Rodrigues, Middleware for Network Eccentric and Mobile Applications, : Springer-Verlag New York Inc, 2009.
Lopes, L., F. Martins, and J. Barros, Middleware for Network Eccentric and Mobile Applications, chapter 2, : Springer-Verlag, 2009.
Veronese, G. Santos, M. Correia, A. Neves Bessani, C. L Lung, and P. Verissimo, Minimal Byzantine fault tolerance: Algorithm and evaluation, , 2009.
Reis, T., L. Carriço, and C. Duarte, "Mobile interaction: Automatically adapting audio output to users and contexts on communication and media control scenarios", Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments: Springer, pp. 384–393, 2009.
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.
Antunes, P., G. Zurita, and N. Baloian, "A model for designing geocollaborative artifacts and applications", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 278–294, 2009.
Lopes, R., and L. Carriço, "Modeling Web accessibility for rich document production", Journal of Access Services, vol. 6, no. 1-2: Taylor & Francis, pp. 237–260, 2009.
Martinho, R., J. Varajao, and D. Domingos, "Modelling and learning controlled flexibility in software processes", International Journal of Knowledge and Learning, vol. 5, no. 5: Inderscience, pp. 423–442, 2009.
Ferreira, P. Lopes, and P. Antunes, "Monitorização da satisfação dos profissionais das USF", Coimbra: Centro de Estudos e Investigação em Saúde da Universidade de Coimbra (CEISUC), 2009.
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.
Raposo, D., and T. Chambel, MovieTable: Interacção Tang{ível com Filmes, : EPCG'2009, 17º Encontro Português de Computação Gráfica, 2009.
Langlois, T., and G. Marques, "A Music Classification Method based on Timbral Features.", ISMIR, pp. 81–86, 2009.
Linhares, G. B. R., M. R. S. Borges, and P. Antunes, "Negotiation-collaboration in formal technical reviews", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 344–356, 2009.
Dantas, W. Saback, A. Neves Bessani, and M. Correia, "Not quickly, just in time: Improving the timeliness and reliability of control traffic in utility networks", networks, vol. 9, pp. 12, 2009.
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.
Aguiar, H., M. Beatriz Carmo, P. Pombinho, and A. Paula Afonso, Pesquisas Baseadas na Localização e na Orientação em Dispositivos Móveis, : EPCG'2009, 17º Encontro Português de Computação Gráfica, 2009.
Alchieri, E. A. P., A. Neves Bessani, F. Carlos Pereira, and J. da Silva Fraga, "Proactive Byzantine Quorum Systems", On the Move to Meaningful Internet Systems: OTM 2009: Springer Berlin Heidelberg, pp. 708–725, 2009.
Dixit, M., A. Casimiro, and P. Verissimo, Probabilistic Adaptive Time-Aware Consensus, : Eurosys, 2009.
Dixit, M., A. Casimiro, P. Verissimo, P. Lollini, and A. Bondavalli, A probabilistic framework for automatic and dependable adaptation in dynamic environments, , 2009.
Lopes, L., F. Martins, and J. Barros, "Programming Wireless Sensor Networks", Middleware for Network Eccentric and Mobile Applications: Springer Berlin Heidelberg, pp. 25–41, 2009.
Lopes, R., and L. Carriço, "Querying Web Accessibility Knowledge from Web Graphs", Handbook of Research on Social Dimensions of Semantic Technologies, pp. 88–112, 2009.
Oliveira, I., O. Grigore, N. Guimarães, NE. Mastorakis, V. Mladenov, Z. Bojkovic, S. Kartalopoulos, A. Varonides, M. Jha, and D. Simian, Reading detection based on electroencephalogram processing, , no. 13: WSEAS, 2009.
Chambel, T., P. Antunes, C. Duarte, L. Carriço, and N. Guimarães, "Reflections on Teaching Human-Computer Interaction to Blind Students", Creativity and HCI: From Experience to Design in Education: Springer US, pp. 123–142, 2009.
Freitas, C., D. Santos, C. Mota, H. Gonçalo Oliveira, and P. Carvalho, "Relation detection between named entities: report of a shared task", SEW-2009 Semantic Evaluations: Recent Achievements and Future Directions, pp. 129, 2009.
Freitas, C., D. Santos, P. Carvalho, and H. Gonçalo, ReRelEM-Reconhecimento de Relações entre Entidades Mencionadas. Segundo HAREM: proposta de nova pista, , 2009.
Bernardeschi, C., R. Bloomfield, A. Bondavalli, C. Cachin, M. Correia, M. Dacier, F. Di Giandomenico, J-C. Fabre, M. Harrison, M. Kaaniche, et al., Resilient Computing Courseware, , 2009.
Bernardeschi, C., R. Bloomfield, A. Bondavalli, C. Cachin, M. Correia, M. Dacier, F. Di Giandomenico, J-C. Fabre, M. Harrison, M. Kaaniche, et al., Resilient Computing Curriculum, , 2009.
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.
Areias, M., P. Moniz, and P. Verissimo, "Security and reliability of critical utility infrastructures", Europe, vol. 1, no. 2, pp. 5–6, 2009.
Santos, D., C. Freitas, H. Gonçalo Oliveira, P. Carvalho, and C. Mota, Segundo HAREM: Balanço e perspectivas de futuro, : Desafios na avaliação conjunta do reconhecimento de entidades mencionadas: O Segundo HAREM, Linguateca, 2009.
Santos, D., P. Carvalho, C. Freitas, and H. Gonçalo, Segundo HAREM: Directivas de anotação, , 2009.
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.
Pesquita, C., D. Faria, A. O. Falcao, P. Lord, and F. Couto, "Semantic similarity in biomedical ontologies", PLoS computational biology, vol. 5, no. 7: Public Library of Science, pp. e1000443, 2009.
Lopes, R., K. Votis, L. Carriço, S. Likothanassis, and D. Tzovaras, "A Service Oriented Ontological Framework for the Semantic Validation of Web Accessibility", Handbook of Research on Social Dimensions of Semantic Technologies and Web Services: IGI Global, pp. 49, 2009.
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.
Yoshida, N., V. T. Vasconcelos, H. Paulino, and K. Honda, "Session-based compilation framework for multicore programming", Formal Methods for Components and Objects: Springer Berlin Heidelberg, pp. 226–246, 2009.
Giunti, M., K. Honda, V. T. Vasconcelos, and N. Yoshida, "Session-based type discipline for pi calculus with matching", In the preproceedings of PLACES, vol. 9, 2009.
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, "Sharing memory between Byzantine processes using policy-enforced tuple spaces", Parallel and Distributed Systems, IEEE Transactions on, vol. 20, no. 3: IEEE, pp. 419–432, 2009.

Pages