Publications

Export 2364 results:
2009
Veronese, G. Santos, M. Correia, A. Neves Bessani, and C. L Lung, "Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary", Reliable Distributed Systems, 2009. SRDS'09. 28th IEEE International Symposium on: IEEE, pp. 135–144, 2009.
Neto, A., and C. Duarte, A Study on the Use of Gestures for Large Displays, : 11th International Conference on Enterprise Information Systems (ICEIS 2009), 2009.
de Sá, M., and L. Carriço, "Supporting end-user development of personalized mobile learning tools", Human-Computer Interaction. Interacting in Various Application Domains: Springer Berlin Heidelberg, pp. 217–225, 2009.
de Sá, M., L. Carriço, L. Duarte, and T. Reis, "Supporting the Design of Mobile Artefacts for Paper-Based Activities", Computer-Aided Design of User Interfaces VI: Springer London, pp. 137–149, 2009.
de Sá, M., L. Carriço, L. Duarte, and T. Reis, "Supporting the design of mobile interactive artefacts", Advances in Engineering Software, vol. 40, no. 12: Elsevier, pp. 1279–1286, 2009.
Sapateiro, C., P. Antunes, G. Zurita, N. Baloian, and R. Vogt, "Supporting unstructured activities in crisis management: A collaboration model and prototype to improve situation awareness", Mobile Response: Springer Berlin Heidelberg, pp. 101–111, 2009.
Carriço, L., L. Duarte, M. de Sá, R. Bandeira, and P. Antunes, "Tackling collaborative-design of mobile prototypes", Computer Supported Cooperative Work in Design, 2009. CSCWD 2009. 13th International Conference on: IEEE, pp. 710–715, 2009.
Teixeira, A. L., R. C. Santos, and F. Couto, "ThermInfo: Collecting and Presenting Thermochemical Properties", methods, vol. 1, pp. 3, 2009.
Reis, T., C. Duarte, L. Carriço, and R. Carvalho, "Towards a Context Aware Multimodal Hand-Held Device", Procs. Of INForum, vol. 2009, pp. 239, 2009.
Oliveira, I., L. Duarte, N. Guimarães, L. Carriço, and O. Grigore, "Towards Coupled Interaction-Practical Integration of Physiological Signals", Proc. 8. Berliner Werkstatt Mensch-Maschine-Systeme, Berlin, pp. 7–9, 2009.
Costa, M., and M. J. Silva, "Towards information retrieval evaluation over web archives", Proceedings of the SIGIR 2009 Workshop on the Future of IR Evaluation, pp. 37–38, 2009.
Reiser, H. P., and R. Kapitza, Towards Recoverable Hybrid Byzantine Consensus, , 2009.
Lopes, R., K. Votis, L. Carriço, D. Tzovaras, and S. Likothanassis, "Towards the universal semantic assessment of accessibility", Proceedings of the 2009 ACM symposium on Applied Computing: ACM, pp. 147–151, 2009.
Vieira, F., P. Sousa, and A. Neves Bessani, "Transparent Byzantine Fault-Tolerant Directory Service using COTS components", Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009)-Fast Abstract, Estoril, Portugal, 2009.
Honda, K., V. T. Vasconcelos, and N. Yoshida, "Type-directed compilation for multicore programming", Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 101–111, 2009.
Pesquita, C., D. Faria, T. Grego, F. Couto, and M. J. Silva, "Untangling BioOntologies for Mining Biomedical Information", Handbook of research on text and Web mining technologies: Information Science Reference, 2009.
Mourão, H., and P. Antunes, Using Wfms to Support Unstructured Activities, : Handbook of Research on Business Process Modeling, 2009.
Rebholz-Schuhmann, D., H. Kirsch, R. Apweiler, E. Camon, E. Dimmer, V. Lee, M. J. Silva, and F. Couto, Verification of Uncurated Protein Annotations, : Information Retrieval in Biomedicine: Natural Language Processing for Knowledge Integration, IGI Global Publishing, 2009.
Andrade, J., and A. Paula Afonso, Visualização de conteúdos geográficos em dispositivos móveis, , 2009.
Martinho, J., and T. Chambel, Visualização e Exploração Interactiva de Espaços de V{ídeo através de Cor e Movimento, : EPCG'2009, 17º Encontro Português de Computação Gráfica, 2009.
Duarte, C., and L. Carriço, "When you can't read it, listen to it! An audio-visual interface for book reading", Universal Access in Human-Computer Interaction. Applications and Services: Springer Berlin Heidelberg, pp. 24–33, 2009.
Souza, J. L. R., and J. Rufino, Why is Important the Knowledge of Inaccessibility for Supporting Real-Time Communication over IEEE 802.15. 4?, : INForum-Simpósio de Informática 2009, 2009.
2008
Schmidt, H., R. Kapitza, F. J. Hauck, and H. P. Reiser, "Adaptive web service migration", Distributed Applications and Interoperable Systems: Springer Berlin Heidelberg, pp. 182–195, 2008.
Loff, J. F., M. Palahí, A. O. Falcao, H. Martins, and J. G. Borges, "Addressing sustainability concerns in Mediterranean forest ecosystem management", MEDFOREX Program, Forest Technology Centre of Catalonia, pp. 1–9, 2008.
Pascoal, E., J. Rufino, T. Schoofs, and J. Windsor, "AMOBA-ARINC 653 simulator for modular based space applications", emergency, vol. 10, pp. 2, 2008.
Duarte, L., L. Carriço, and M. de Sá, Análise Comparativa e Colaborativa para Artefactos Móveis, : Interacção'2008, 3ª Conferência Nacional em Interfaces Pessoa-Máquina, 2008.
Daidone, A., S. Chiaradonna, A. Bondavalli, and P. Verissimo, "Analysis of a redundant architecture for critical infrastructure protection", Architecting Dependable Systems V: Springer Berlin Heidelberg, pp. 78–100, 2008.
Mota, C., H. Gonçalo Oliveira, D. Santos, P. Carvalho, and C. Freitas, "Apêndice I: Resumo de resultados do Segundo HAREM", quot; In Cristina Mota; Diana Santos (ed) Desafios na avaliação conjunta do reconhecimento de entidades mencionadas: O Segundo HAREM Linguateca 2008: Linguateca, 2008.
Sapateiro, C., P. Antunes, G. Zurita, R. Vogt, P. Infante, and N. Baloian, Assisting Teams in Emergent Work Activities, : 2008 Conference on Group Decision and Negotiation, 2008.
Ferreira, A., V. Herskovic, and P. Antunes, "Attention-based management of information flows in synchronous electronic brainstorming", CRIWG: 14th international workshop on Groupware: Springer, pp. 1–16, 2008.
Ferreira, A., and P. Antunes, "An attentive groupware device to mitigate information overload", DSVIS: 15th international workshop on Design, specification, and verification of interactive systems: Springer, pp. 29–42, 2008.
Duarte, C., and L. Carriço, "Audio Interfaces for Improved Accessibility", Advances in Human Computer Interaction, pp. 121–142, 2008.
Carriço, L., and C. Duarte, Audio Interfaces for Improved Accessibility, : InTech Education and Publishing, 2008.
Santos, A. L., K. Koskimies, and A. Lopes, "Automated domain-specific modeling languages for generating framework-based applications", Software Product Line Conference, 2008. SPLC'08. 12th International: IEEE, pp. 149–158, 2008.
Bernardo, A., and T. Langlois, Automatic classification of midi tracks, : 10th International Conference on Entreprise Information Systems (ICEIS'08), 2008.
Oliveira, H. Gonçalo, C. Mota, C. Freitas, D. Santos, and P. Carvalho, "Avaliação à medida no Segundo HAREM", Desafios na avaliação conjunta do reconhecimento de entidades mencionadas: O Segundo HAREM. Linguateca, pp. 97–129, 2008.
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, "Behavioural theory at work: program transformations in a service-centred calculus", Formal Methods for Open Object-Based Distributed Systems: Springer Berlin Heidelberg, pp. 59–77, 2008.
Tavares, B., H. Bastos, D. Faria, J. Ferreira, T. Grego, C. Pesquita, and F. Couto, "The Biomedical Ontology Applications (BOA) framework", evaluation, vol. 9, no. S5, pp. S4, 2008.
Couto, F., and M. J. Silva, Biomedical research line of LASIGE, , 2008.
Bastos, H., C. Pesquita, D. Faria, and A. O. Falcao, "BOLOS: BLAST & Ontology Linked-hOmologue Stars", Proceedings of the 2008 ACM symposium on Applied computing: ACM, pp. 1278–1281, 2008.
Craveiro, J., J. Rufino, C. Almeida, R. Covelo, and P. Venda, Bullet-Linux: a Real-Time Platform for Industrial Embedded Systems, , 2008.
Alchieri, E. A. P., A. Neves Bessani, J. da Silva Fraga, and F. Greve, "Byzantine consensus with unknown participants", Principles of Distributed Systems: Springer Berlin Heidelberg, pp. 22–40, 2008.
Correia, M., A. Neves Bessani, and P. Verissimo, "On Byzantine generals with alternative plans", Journal of Parallel and Distributed Computing, vol. 68, no. 9: Academic Press, pp. 1291–1296, 2008.
Duarte, L., L. Carriço, and M. de Sá, "Collaborative and comparative analysis of mobile artefact usage", Pervasive Computing and Applications, 2008. ICPCA 2008. Third International Conference on, vol. 1: IEEE, pp. 429–434, 2008.
Carriço, L., L. Duarte, A. Broega, and D. Reis, "Comparing Usage Performance on Mobile Applications", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 233–247, 2008.
Cruz-Filipe, L., J. Rasga, A. Sernadas, and C. Sernadas, "Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification", Journal of Logic and Computation, vol. 18, no. 6: Oxford Univ Press, pp. 885–911, 2008.
Sernadas, A., L. Cruz-Filipe, C. Sernadas, and J. Rasga, Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification, : Journal of Logic and Computation, 2008.
Reis, J., L. Travado, L. Carriço, and M. de Sá, "Computer support for cognitive-behavioral group therapy with cancer patients", PSYCHO-ONCOLOGY, vol. 17: JOHN WILEY & SONS LTD THE ATRIUM, SOUTHERN GATE, CHICHESTER PO19 8SQ, W SUSSEX, ENGLAND, pp. S272–S272, 2008.
Alchieri, E. A. P., A. Neves Bessani, J. da Silva Fraga, and F. Greve, Consenso Bizantino entre Participantes Desconhecidos, : WTF 2008: IX Workshop de Testes e Tolerância a Falhas, 2008.
Guimarães, N., Coupled Interaction in Augmented Environments, , 2008.
Lopes, R., and L. Carriço, "On the credibility of wikipedia: an accessibility perspective", Proceedings of the 2nd ACM workshop on Information credibility on the web: ACM, pp. 27–34, 2008.
Sapateiro, C., and P. Antunes, Crisis Management: A collaboration model for unstructured activities, : Citeseer, 2008.
Correia, M., A. Neves Bessani, P. Sousa, N. Ferreira Neves, and P. Verissimo, Critical Infrastructure Protection: the CRUTIAL Project, , 2008.
Verissimo, P., N. Ferreira Neves, M. Correia, Y. Deswarte, A. Abou El Kalan, A. Bondavalli, and A. Daidone, "The CRUTIAL architecture for critical information infrastructures", Architecting Dependable Systems V: Springer Berlin Heidelberg, pp. 1–27, 2008.
Verissimo, P., N. Ferreira Neves, M. Correia, Y. Deswarte, A. Abou El Kalan, A. Bondavalli, and A. Daidone, The CRUTIAL Architecture for Critical Information Infrastructures, Architecting Dependable Systems V, : Springer-Verlag, Berlin, Heidelberg, 2008.
Verissimo, P., N. Ferreira Neves, and M. Correia, "The CRUTIAL reference critical information infrastructure architecture: a blueprint", International Journal of System of Systems Engineering, vol. 1, no. 1: Inderscience, pp. 78–95, 2008.
Bessani, A. Neves, P. Sousa, M. Correia, N. Ferreira Neves, and P. Verissimo, "The CRUTIAL way of critical infrastructure protection", Security & Privacy, IEEE, vol. 6, no. 6: IEEE, pp. 44–51, 2008.
Miranda, H., Data Dissemination in Mobile Ad Hoc Networks, , 2008.
de Sá, M., and L. Carriço, Definição de Cenários para o Desenho e Avaliação de Interfaces para Dispositivos Móveis, , 2008.
de Sá, M., and L. Carriço, "Defining scenarios for mobile design and evaluation", CHI'08 extended abstracts on Human factors in computing systems: ACM, pp. 2847–2852, 2008.
Alchieri, E. Adilio Pel, A. Neves Bessani, and J. da Silva Fraga, "A dependable infrastructure for cooperative web services coordination", Web Services, 2008. ICWS'08. IEEE International Conference on: IEEE, pp. 21–28, 2008.
Bessani, A. Neves, E. Pelison Alchieri, M. Correia, and J. da Silva Fraga, "DepSpace: a Byzantine fault-tolerant coordination service", ACM SIGOPS Operating Systems Review, vol. 42, no. 4: ACM, pp. 163–176, 2008.
Duarte, C., and , Design and Evaluation of Adaptative Multimodal Systems, : Department of Informatics, University of Lisbon, 2008.
Reis, T., M. de Sá, and L. Carriço, "Designing Mobile Multimodal Artefacts.", ICEIS (5), pp. 78–85, 2008.
Antunes, J., N. Ferreira Neves, and P. Verissimo, "Detection and prediction of resource-exhaustion vulnerabilities", Software Reliability Engineering, 2008. ISSRE 2008. 19th International Symposium on: IEEE, pp. 87–96, 2008.
Bessani, A. Neves, R. R. Obelheiro, P. Sousa, and I. Gashi, On the effects of diversity on intrusion tolerance, : Department of Informatics, University of Lisbon, 2008.
Correia, M., J. Palma, and J. Pedro Andrade, "Effects of live prey availability on growth and survival in the early stages of cuttlefish Sepia officinalis (Linnaeus, 1758) life cycle", Aquaculture Research, vol. 39, no. 1: Blackwell Publishing Ltd, pp. 33–40, 2008.
Correia, M., J. Palma, T. Kirakowski, and J. P. Andrade, "Effects of prey nutritional quality on the growth and survival of juvenile cuttlefish, Sepia officinalis (Linnaeus, 1758)", Aquaculture Research, vol. 39, no. 8: Blackwell Publishing Ltd, pp. 869–876, 2008.
Distler, T., R. Kapitza, and H. P. Reiser, "Efficient state transfer for hypervisor-based proactive recovery", Proceedings of the 2nd workshop on Recent advances on intrusiton-tolerant systems: ACM, pp. 4, 2008.
Sapateiro, C., P. Antunes, G. Zurita, R. Vogt, and N. Baloian, "Evaluating a mobile emergency response system", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 121–134, 2008.
Donatelli, S., E. Alata, J. Antunes, M. Kaaniche, N. Ferreira Neves, and P. Verissimo, Experimental validation of architectural solutions, : Department of Informatics, University of Lisbon, 2008.
Donatelli, S., E. Alata, J. Antunes, M. Kaaniche, N. Ferreira Neves, and P. Verissimo, Experimental validation of architectural solutions (I), : Department of Informatics, University of Lisbon, 2008.
Fonseca, P., and H. Miranda, FASE: Reaching Scalability in Unstructured P2P Networks Using a Divide and Conquer Strategy, , 2008.
Reiser, H. P., and R. Kapitza, "Fault and intrusion tolerance on the basis of virtual machines", 1. GI/ITG KuVS Fachgespräch "Virtualisierung", pp. 77, 2008.
Veronese, G. Santos, M. Correia, C. L Lung, and P. Verissimo, "Finite Memory: a Vulnerability of Intrusion-Tolerant Systems", Network Computing and Applications, 2008. NCA'08. Seventh IEEE International Symposium on: IEEE, pp. 37–44, 2008.
Bessani, A. Neves, H. P. Reiser, P. Sousa, I. Gashi, V. Stankovic, T. Distler, R. Kapitza, A. Daidone, and R. Obelheiro, "Forever: Fault/intrusion removal through evolution & recovery", Proceedings of the ACM/IFIP/USENIX Middleware'08 Conference Companion: ACM, pp. 99–101, 2008.
Sousa, P., A. Neves Bessani, and R. R. Obelheiro, "The FOREVER service for fault/intrusion removal", Proceedings of the 2nd workshop on Recent advances on intrusiton-tolerant systems: ACM, pp. 5, 2008.
Rufino, J., R. Pinto, and C. Almeida, FPGA-based Engineering of Bus Media Redundancy in CAN, : 12th International CAN Conference-(iCC 2008), 2008.
Casimiro, A., P. Lollini, M. Dixit, A. Bondavalli, and P. Verissimo, "A framework for dependable QoS adaptation in probabilistic environments", Proceedings of the 2008 ACM symposium on Applied computing: ACM, pp. 2192–2196, 2008.
de Sá, M., L. Carriço, L. Duarte, and T. Reis, "A framework for mobile evaluation", CHI'08 extended abstracts on Human factors in computing systems, pp. 2673–2678, 2008.
Direito, I., M. Oliveira, P. Real, P. Antunes, A. Santos, and A. Duarte, A Framework for the Design and Implementation of Learning Objects: a Competence-based Approach, : SPDECE08, 2008.
Bocchi, L., Y. Hong, A. Lopes, and J. Luiz Fiadeiro, "From BPEL to SRML: a formal transformational approach", Web services and formal methods: Springer Berlin Heidelberg, pp. 92–107, 2008.
Mendonca, M., and N. Ferreira Neves, "Fuzzing wi-fi drivers to locate security vulnerabilities", Dependable Computing Conference, 2008. EDCC 2008. Seventh European: IEEE, pp. 110–119, 2008.
Mandl, T., P. Carvalho, , R. Larson, D. Santos, and C. Womser-Hacker, "GeoCLEF 2008: the CLEF 2008 cross-language geographic information retrieval track overview", CLEF'08 - Cross-language evaluation forum conference on Evaluating systems for multilingual and multimodal information access: Springer-Verlag, pp. 808–821, 2008.
Mocito, J., A. J Briones-García, B. Koldehofe, H. Miranda, and L. Rodrigues, "Geographical distribution of subscriptions for content-based publish\/subscribe in MANETs", Proceedings of the ACM/IFIP/USENIX Middleware'08 Conference Companion: ACM, pp. 102–103, 2008.
Santos, D., N. Cardoso, P. Carvalho, I. Dornescu, S. Hartrumpf, J. Leveling, and Y. Skalban, "Getting geographical answers from Wikipedia: the GikiP pilot at CLEF", Working notes for the Cross Language Evaluation Forum, CLEF, pp. 17–19, 2008.
Agapi, A., T. Kielmann, M. Pasin, S. Soudan, and P. Vicat- Blan Primet, Globally Optimal Bulk Data Transfers in Overlay Routing Networks, , 2008.
Briggs, R. O., P. Antunes, G-J. de Vreede, and A. S. Read, "Groupware: Design, implementation, and use", Lecture Notes in Computer Science, vol. 5411, 2008.
Briggs, R. O., P. Antunes, G-J. de Vreede, and A. S. Read, Groupware: Design, Implementation, and Use: 14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008, Revised Selected Papers, , vol. 5411: Springer Science & Business Media, 2008.
Carriço, L., M. de Sá, and P. Antunes, "Handheld Tools for Personalized and Proactive Psychotherapy", Enterprise Information Systems: Springer Berlin Heidelberg, pp. 452–464, 2008.
Cardoso, N., M. J. Silva, and D. Santos, "Handling implicit geographic evidence for geographic ir", Proceedings of the 17th ACM conference on Information and knowledge management: ACM, pp. 1383–1384, 2008.
Casimiro, A., and P. Verissimo, HIDENETS–Highly Dependable IP-based Networks and Services, , 2008.
Saraiva, A. João, M. José Damásio, and T. Chambel, Hiperv{ídeo na Preservação e Partilha de Memória Cultural e Etnográfica, : Interacção'2008, 3ª Conferência Nacional em Interfaces Pessoa-Máquina, 2008.
Couto, F., T. Grego, H. Bastos, C. Pesquita, R. Torres, P. Sánchez, L. Pascual, and C. Blaschke, "Identifying bioentity recognition errors of rule-based text-mining systems", Digital Information Management, 2008. ICDIM 2008. Third International Conference on: IEEE, pp. 733–738, 2008.
Lopes, R., and L. Carriço, "The impact of accessibility assessment in macro scale universal usability studies of the web", Proceedings of the 2008 international cross-disciplinary conference on Web accessibility (W4A): ACM, pp. 5–14, 2008.
Fonseca, P., and H. Miranda, "Improving scalability of autonomic systems: the frequency-aware search approach", Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems: ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), pp. 36, 2008.
Bellovin, S. M., T. V. Benzel, B. Blakley, D. E. Denning, W. Diffie, J. Epstein, and P. Verissimo, "Information assurance technology forecast 2008", IEEE Security & Privacy, no. 1: IEEE, pp. 16–23, 2008.
Oliveira, I., L. Carriço, N. Guimarães, T. Chambel, and C. Teixeira, Interfaces Computador-Cérebro: Extracção e Processamento de Caracter{ísticas de Electroencefalogramas, : Department of Informatics, University of Lisbon, 2008.
de Sá, M., and L. Carriço, "Lessons from early stages design of mobile applications", Proceedings of the 10th international conference on Human computer interaction with mobile devices and services: ACM, pp. 127–136, 2008.
Reis, T., L. Carriço, and M. de Sá, Manipulação de Artefactos Moveis Multimodais: Avaliação e Estudos Comportamentais em Contextos Reais, : Interacção'2008, 3ª Conferência Nacional em Interfaces Pessoa-Máquina, 2008.

Pages