Publications

Export 2272 results:
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.
Pesquita, C., D. Faria, H. Bastos, A. Ferreira, A. O. Falcao, and F. Couto, "Metrics for GO based protein semantic similarity: a systematic evaluation", BMC bioinformatics, vol. 9, no. Suppl 5: BioMed Central Ltd, pp. S4, 2008.
Giunti, M., V. T. Vasconcelos, M. Loreti, and G. Luigi Ferrari, Middleware for Transactions and Abstract Services, , 2008.
Veronese, G. Santos, M. Correia, C. L Lung, and A. Neves Bessani, Minimal Byzantine fault tolerance, : Department of Informatics, University of Lisbon, 2008.
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., C. Duarte, and L. Carriço, Mobile interaction design: Techniques for early stage in-situ design, : INTECH Open Access Publisher, 2008.
Reis, T., M. de Sá, L. Duarte, and L. Carriço, "A Mobile Therapy Framework: Multimodal Extensions and Usage Examples", Procs of the IADIS International Conference on Applied Computing, Algarve-Portugal, pp. 133–140, 2008.
Lopes, R., and L. Carriço, A model for universal usability on the Web, , 2008.
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.
Santos, A. L., and K. Koskimies, "Modular Hot Spots: A Pattern Language for Developing High-Level Framework Reuse Interfaces using Aspects.", EuroPLOP, 2008.
Vasconcelos, V. T., I. Nunes, A. Lopes, N. Ramiro, and P. Crispim, "Monitoring java code using ConGu", WADT 2008 Preliminary Proceedings, pp. 61, 2008.
Carmo, M. Beatriz, A. Paula Afonso, P. Pombinho De Matos, and A. Vaz, "MoViSys–a visualization system for geo-referenced information on mobile devices", Visual Information Systems. Web-Based Visual Information Search and Management: Springer Berlin Heidelberg, pp. 167–178, 2008.
Vaz, A., P. P. de Matos, A. Paula Afonso, and M. Beatriz Carmo, "MoViSys–Um Sistema de Visualização para Dispositivos Móveis", Actas Interacção 2008, pp. 165–174, 2008.
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.
Reis, T., M. de Sá, and L. Carriço, "Multimodal interaction: Real context studies on mobile digital artefacts", Haptic and Audio Interaction Design: Springer Berlin Heidelberg, pp. 60–69, 2008.
de Sá, M., L. Carriço, L. Duarte, and T. Reis, Multi-Purpose Mobile Artefacts, : International Journal of Smart Home, 2008.
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.
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.
Lopes, R., and L. Carriço, O Impacto da Avaliaç ao de Acessibilidade em Estudos de Larga Escala sobre a Usabilidade Universal da Web, , 2008.
Almeida, L., P. Pedreiras, J. Ferreira, M. Calha, J. Alberto Fonseca, R. Marau, V. Silva, and E. Martins, "Online QoS Adaptation with the flexible time-triggered (FTT) communication paradigm", Handbook of real-time and embedded systems: Chapman & Hall/CRC, 2008.
Danelutto, M., M. Pasin, M. Vanneschi, P. Dazzi, D. Laforenza, and L. Presti, "PAL: exploiting Java annotations for parallelism", Achievements in European Research on Grid Systems: Springer US, pp. 83–96, 2008.
Rufino, J., and J. Craveiro, Partitioning and Composability in ARINC 653 Conformant Real-Time Operating Systems, , 2008.
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.
Alarcón, G. Zurita, N. Baloian, F. Baytelman, A. Farias, P. Antunes, and , A Platform Supporting the Implementation of Collaborative Learning through Participatory Simulations, : Springer-Verlag, 2008.
Tataryan, N. Baloian, F. Bruno Bayt Pilowsky, P. Antunes, A. Farias, and G. Zurita Alarcón, A Platform Supporting the Implementation of Collaborative Learning through Participatory Simulations, : Springer-Verlag, 2008.
Zurita, G., N. Baloian, F. Baytelman, A. Farias, and P. Antunes, "A Platform Supporting the Implementation of Collaborative Learning through Participatory Simulations", Computer Supported Cooperative Work in Design IV: Springer Berlin Heidelberg, pp. 523–533, 2008.
Silva, M. J., "Pólo XLDB da Linguateca: 4 anos", quot; Linguateca: 10 anos (Curia Portugal 11 de Setembro de 2008), 2008.
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.
Neves, N. Ferreira, and P. Verissimo, Preliminary specification of services and protocols, : Department of Informatics, University of Lisbon, 2008.
Vasconcelos, V. T., Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, : Department of Informatics, University of Lisbon, 2008.
Fonseca, P., and H. Miranda, Reaching Scalability in Unstructured P2P Networks Using a Divide and Conquer Strategy, : Department of Informatics, University of Lisbon, 2008.
Freitas, C., D. Santos, H. Gonçalo Oliveira, P. Carvalho, and C. Mota, "Relaçoes semânticas do ReRelEM: além das entidades no Segundo HAREM", Mota and Santos (Mota and Santos, 2008), 2008.
Luiz, A. Fernando, A. Neves Bessani, C. L Lung, and T. Filgueiras, "REPEATS: Uma arquitetura para replicaç ao tolerante a faltas bizantinas baseada em espaço de tuplas", Anais do XXVI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuıdos. SBC, 2008.
Freitas, C., D. Santos, H. Gonçalo Oliveira, and P. Carvalho, "ReRelEM: Relações Semânticas no Segundo HAREM", quot; Encontro do Segundo HAREM (Universidade de Aveiro Portugal 7 de Setembro de 2008), 2008.
Casimiro, A., and , "Resilient architecture (final version)", EU FP6 IST project HIDENETS, deliverable D, vol. 2, 2008.
Coutinho, M., J. Rufino, and C. Almeida, "Response time analysis of asynchronous periodic and sporadic tasks sheduled by a fixed priority preemptive algorithm", Real-Time Systems, 2008. ECRTS'08. Euromicro Conference on: IEEE, pp. 156–167, 2008.
Carriço, L., G. Zurita Alarcón, R. Bandeira, R. Vogt, N. Baloian Tataryan, and P. Antunes, Risk Assessment in Healthcare Collaborative Settings: A Case Study Using SHELL, , 2008.
Antunes, P., R. Bandeira, L. Carriço, G. Zurita, N. Baloian, and R. Vogt, "Risk assessment in healthcare collaborative settings: A case study using SHELL", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 65–73, 2008.
Rufino, J., and J. Craveiro, "Robust partitioning and composability in ARINC 653 conformant real-time operating systems", 1st INTERAC Research Network Plenary Workshop, Braga, Portugal, 2008.
Martins, F., L. Lopes, M. S. Silva, and J. Barros, Robust Programming for Sensor Networks, : Technical Report DCC-2008-01, Department of Computer Science, Faculty of Sciences, University of Porto, 2008.
Vasconcelos, V. T., I. Nunes, A. Lopes, N. Ramiro, and P. Crispim, Runtime checking Java code using ConGu, : International Workshop on Advanced Software Development Tools and Techniques, 2008, 2008.
Santos, D., C. Freitas, H. Gonçalo Oliveira, and P. Carvalho, "Second HAREM: new challenges and old wisdom", Computational Processing of the Portuguese Language: Springer, pp. 212–215, 2008.
Verissimo, P., Security and Dependability Risks of Critical Information Infrastructures, , 2008.
Carvalho, P., H. Gonçalo Oliveira, D. Santos, C. Freitas, and C. Mota, "Segundo HAREM: Modelo geral, novidades e avaliação", Desafios na avaliação conjunta do reconhecimento de entidades mencionadas: O Segundo HAREM. Linguateca, pp. 11–31, 2008.
Sousa, P., Segurança e Disponibilidade através de Resiliência Proactiva, : Department of Informatics, University of Lisbon, 2008.
Nickelsen, A., H-P. Schwefel, L. Jesper Grønbæk, A. Casimiro, A. Kövi, H. P. Reiser, and T. Julien Renier, Service level resilience solutions for the infrastructure domain: HIDENETS D2. 2, : Department of Electronic Systems, Aalborg University Aalborg, 2008.
Bocchi, L., J. Luiz Fiadeiro, and A. Lopes, "Service-oriented modelling of automotive systems", Computer Software and Applications, 2008. COMPSAC'08. 32nd Annual IEEE International: IEEE, pp. 1059–1064, 2008.
Marques, G., and T. Langlois, A similarity measure for music signals, : INSTICC-Inst Syst Technologies Information Control & Communication, 2008.
Sapateiro, C., P. Antunes, G. Zurita, N. Baloian, and R. Vogt, "Supporting Crisis Management Processes by Wirelessly Interconnected Tablet-PCs", e-Business Engineering, 2008. ICEBE'08. IEEE International Conference on: IEEE, pp. 87–93, 2008.
Vogt, R., N. Baloian Tataryan, G. Zurita Alarcón, P. Antunes, and C. Sapateiro, Supporting Crisis Management Processes by Wirelessly Interconnected Tablet-PCs, , 2008.
Infante, P., R. Vogt, N. Baloian Tataryan, G. Zurita Alarcón, P. Antunes, and C. Sapateiro, Supporting Unstructured Activities in Crisis Management: A Collaboration Model and Prototype to Improve Situation Awareness, , 2008.
Ferreira, A., and P. Antunes, "Tackling information overload in electronic brainstorming", GDN: 9th meeting on Group decision and negotiation, pp. 83–89, 2008.
Ellis, C., H. Miranda, and F. Ta\"ıani, "Tailoring a broadcast algorithm to particular network conditions", Proceedings of the 6th workshop on Middleware for network eccentric and mobile applications: ACM, pp. 18–20, 2008.
Ortiz, H., P. Sousa, and P. Verissimo, Towards Intrusion-Tolerant Process Control Software, : SINO 2008-4ª Conferência Nacional sobre Segurança Informática nas Organizações, 2008.
Favarim, F., J. da Silva Fraga, E. Adilio Pel Alchieri, A. Neves Bessani, and C. L Lung, "Transações em Espaços de Tuplas com Segurança de Funcionamento", Anais do XXVI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribu{ídos (SBRC'2008), pp. 847–860, 2008.
Martinho, R., J. Varajao, and D. Domingos, "A two-step approach for modelling flexibility in software processes", Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering: IEEE Computer Society, pp. 427–430, 2008.
Martins, F., and V. T. Vasconcelos, Type-based approach to multi-core programming, , 2008.
Cardoso, N., P. Sousa, and M. J. Silva, "The university of lisbon at geoclef 2008", Working notes of CLEF, 2008.
Silva, M. J., F. Couto, T. Grego, D. Faria, and C. Pesquita, Untangling BioOntologies for Mining Biomedical Information, : Handbook of Research on Text and Web Mining Technologies, IGI Global Publishing, 2008.
Bocchi, L., J. Luiz Fiadeiro, and A. Lopes, "A use-case driven approach to formal service-oriented modelling", Leveraging Applications of Formal Methods, Verification and Validation: Springer Berlin Heidelberg, pp. 155–169, 2008.
Dixit, M., A. Casimiro, N. Laranjeiro, and M. Vieira, "Using experimental measurements to assess dependable adaptation support mechanisms for timed transactions", Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems, with the 27th IEEE Symposium on Reliable Distributed Systems, vol. 77, 2008.
Cardoso, N., D. Cruz, M. Chaves, and M. J. Silva, "Using geographic signatures as query and document scopes in geographic IR", Advances in Multilingual and Multimodal Information Retrieval: Springer Berlin Heidelberg, pp. 802–810, 2008.
Kapitza, R., P. Baumann, and H. P. Reiser, "Using object replication for building a dependable version control system", Distributed Applications and Interoperable Systems: Springer Berlin Heidelberg, pp. 86–99, 2008.
Alarcón, G. Zurita, P. Antunes, N. Baloian, L. Carriço, F. Baytelman, M. de Sá, and , Using PDAs in meetings: Patterns, architecture and components, : GRAZ UNIV TECHNOLGOY, INST INFORMATION SYSTEMS COMPUTER MEDIA-IICM, 2008.
Tataryan, N. Baloian, F. Bruno Bayt Pilowsky, P. Antunes, L. Carriço, M. de Sá, and G. Zurita Alarcón, Using PDAs in meetings: Patterns, architecture and components, : GRAZ UNIV TECHNOLGOY, INST INFORMATION SYSTEMS COMPUTER MEDIA-IICM, 2008.
Zurita, G., P. Antunes, N. Baloian, L. Carriço, F. Baytelman, and M. de Sá, "Using PDAs in Meetings: Patterns, Architecture and Components.", J. UCS, vol. 14, no. 1, pp. 123–147, 2008.
Oliveira, E., and T. Chambel, Video Album: getting emotions into the Picture, : 4th Workshop on Emotion in Human-Computer Interaction: Designing for People, at HCI'2008: Culture, Creativity, Interaction, the 22nd BCS HCI Group conference, 2008.
Chambel, T., Video in Multimedia Spaces, , 2008.
Rocha, T., and T. Chambel, "VideoSpace: a 3D video experience", Proceedings of Artech, 2008.
Falcao, A. O., "Visualization in the Design of Forested Landscapes", Designing Green Landscapes: Springer Netherlands, pp. 245–263, 2008.
Tataryan, N. Baloian, F. Bruno Bayt Pilowsky, P. Antunes, A. Farias, and G. Zurita Alarcón, Visually-Driven Decision Making Using Handheld Devices, , 2008.
Zurita, G., P. Antunes, N. Baloian, F. Baytelman, A. Farias, and , "Visually-Driven Decision Making Using Handheld Devices.", CDM, pp. 257–269, 2008.
Alarcón, G. Zurita, P. Antunes, N. Baloian, F. Baytelman, A. Farias, and , Visually-Driven Decision Making Using Handheld Devices, , 2008.
Gomes, D., and M. J. Silva, "The Viúva Negra crawler: an experience report", Software: Practice and Experience, vol. 38, no. 2: Wiley Online Library, pp. 161–188, 2008.
Zúquete, A., A. Ferreira, C. J. Costa, D. Magalhães, D. Vieira, F. Simões, J. Ferreira Dias, L. Carriço, P. Ferreira, P. Antunes, et al., Voto Electrónico-Discussão Técnica dos Seus Problemas e Oportunidades, : Voto Electrónico-Discussão Técnica dos Seus Problemas e Oportunidades, 2008.
Costa, P., D. Gavidia, B. Koldehofe, H. Miranda, M. Musolesi, and O. Riva, "When cars start gossiping", Proceedings of the 6th workshop on Middleware for network eccentric and mobile applications: ACM, pp. 1–4, 2008.
2007
Rufino, J., and S. Filipe, AIR Project final report, : Department of Informatics, University of Lisbon, 2007.
Rufino, J., and S. Filipe, AIR Project Summary Report, : Department of Informatics, University of Lisbon, 2007.
Fiadeiro, J. Luiz, and A. Lopes, "An algebraic semantics of event-based architectures", Mathematical Structures in Computer Science, vol. 17, no. 05: Cambridge University Press, pp. 1029–1073, 2007.
Fiadeiro, J. Luiz, A. Lopes, and L. Bocchi, "Algebraic semantics of service component modules", Recent Trends in Algebraic Development Techniques: Springer Berlin Heidelberg, pp. 37–55, 2007.
Miranda, H., S. Leggio, L. Rodrigues, and K. Raatikainen, "An algorithm for dissemination and retrieval of information in wireless ad hoc networks", Euro-Par 2007 Parallel Processing: Springer Berlin Heidelberg, pp. 891–900, 2007.
Antunes, P., S. Relvas, and M. Borges, "Alternative dispute resolution based on the storytelling technique", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 15–31, 2007.
Oliveira, I., L. Carriço, N. Guimarães, T. Chambel, and C. Teixeira, Análise dos Estados de Atenção Visual e Auditiva com Base na Análise de Electroencefalogramas, : Department of Informatics, University of Lisbon, 2007.
Rosa, L., L. Rodrigues, and A. Lopes, Appia to R-Appia: Refactoring a Protocol Composition Framework for Dynamic Reconfiguration, : Department of Informatics, University of Lisbon, 2007.
Zurita, G., N. Baloian, P. Antunes, and F. Baytelman, "Applying Sensemaking in a Mobile Learning Scenario.", EC-TEL (Posters), 2007.
Ortiz, H., A. Casimiro, and P. Verissimo, "Architecture and Implementation of an Embedded Wormhole", Industrial Embedded Systems, 2007. SIES'07. International Symposium on: IEEE, pp. 341–344, 2007.
Rufino, J., S. Filipe, M. Coutinho, S. Santos, and J. Windsor, "ARINC 653 interface in RTEMS", Proc. DASIA, 2007.
Verissimo, P., "Assumptions: The Trojan Horses of Secure Protocols", Computer Network Security: Springer Berlin Heidelberg, pp. 34–41, 2007.
Gay, S., and V. T. Vasconcelos, "Asynchronous functional session types", Journal article, University of Glasgow, 2007.
Ferreira, A., and P. Antunes, Attentive Devices for Groupware Systems, , 2007.
Ferreira, A., and P. Antunes, Attentive Groupware Systems: A Framework and a Prototype Tool, : Department of Informatics, University of Lisbon, 2007.
Khanna, G., M. Yu Cheng, P. Varadharajan, S. Bagchi, M. Correia, and P. Verissimo, "Automated rule-based diagnosis through a distributed monitor system", Dependable and Secure Computing, IEEE Transactions on, vol. 4, no. 4: IEEE, pp. 266–279, 2007.
Santos, A. L., "Automatic support for model-driven specialization of object-oriented frameworks", Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion: ACM, pp. 923–924, 2007.
Lopes, R., and L. Carriço, "Automating XML pipelines through rules", XATA2007, XML: Aplicaçoes e Tecnologias Associadas, 2007.

Pages