Publications

Export 2364 results:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
Bessani, A. Neves, W. Saback Dantas, E. Adılio Pe Alchieri, and J. da Silva Fraga, "Analisando o Custo do Armazenamento Tolerante a Faltas Bizantinas: PAXOS$\times$ Sistemas de Quóruns", Anais do 7o Workshop de Testes e Tolerância a Faltas-WTF, 2006.
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.
Antunes, P., and , Análise da Aplicabilidade dos Modelos de Argumentação na Resolução Alternativa de Conflitos, : 1ª Conferência Ibérica de Sistemas e Tecnologias de Informação, 2006.
Relvas, S., and P. Antunes, "Análise da aplicabilidade dos modelos de argumentação na resolução alternativa de conflitos", 1ª Conferência Ibérica de Sistemas e Tecnologias de Informação, Portugal, 2006.
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.
Ligeiro, R., and H. Miranda, Análisea Disposiçao de Pontos de Acesso Utilizando Algoritmos Genéticos, : Conference on Mobile and Ubiquitous Systems, 2006.
Souza, J. L. R., and J. Rufino, "Analysing and reducing network inaccessibility in IEEE 802.15. 4 wireless communications", Local Computer Networks (LCN), 2013 IEEE 38th Conference on: IEEE, pp. 532–540, 2013.
Blair, G., K. Cheverst, H. Duran-Limon, A. Friday, G. Samartzidis, T. Sivaharan, P. Sousa, and M. Wu, Analysis and Design of Application Scenarios, : Department of Informatics, University of Lisbon, 2003.
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.
Antunes, P., M. R. S. Borges, J. A. Pino, and L. Carriço, On the Analysis of Groupware Usability Using Annotated GOMS, : Department of Informatics, University of Lisbon, 2004.
Garcia, M., A. Neves Bessani, I. Gashi, N. Ferreira Neves, and R. Obelheiro, "Analysis of operating system diversity for intrusion tolerance", Software: Practice and Experience, vol. 44, no. 6, pp. 735–770, 2014.
Fernandes, N., N. Kaklanis, K. Votis, D. Tzovaras, and L. Carriço, "An analysis of personalized web accessibility", Proceedings of the 11th Web for All Conference: ACM, pp. 19, 2014.
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.
Antunes, P., M. R. S. Borges, J. A. Pino, and L. Carriço, "Analytic evaluation of groupware design", Computer Supported Cooperative Work in Design II: Springer Berlin Heidelberg, pp. 31–40, 2006.
Ferreira, A., and P. Antunes, Analytical Evaluation of Groupware Usability in Concerted Work Scenarios, : Department of Informatics, University of Lisbon, 2005.
Antunes, P., M. Borges, J. A. Pino, and L. Carriço, "Analyzing groupware design by means of usability results", Computer Supported Cooperative Work in Design, 2005. Proceedings of the Ninth International Conference on, vol. 1: IEEE, pp. 283–288, 2005.
Antunes, P., A. Ferreira, and J. Pino, "Analyzing shared workspaces design with human-performance models", CRIWG: 12th international workshop on Groupware: Springer, pp. 62–77, 2006.
Zurita, G., P. Antunes, L. Carriço, F. Baytelman, M. de Sá, and N. Baloian, "Analyzing the roles of PDA in meeting scenarios", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 364–380, 2006.
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.
Kreutz, D., J. Yu, F. Ramos, and P. Esteves-Verissimo, "ANCHOR: logically-centralized security for Software-Defined Networks", arXiv preprint arXiv:1711.03636, 2017.
Vieira, P., T. Gonçalves, A. Paula Afonso, and M. Beatriz Carmo, "Animated maps for analysis of personal performance in games", Computação Gráfica e Interação (EPCGI), 2017 24º Encontro Português de: IEEE, pp. 1–8, 2017.
Bastos, H., L. A. Clarke, and F. Couto, "Annotation extension through protein family annotation coherence metrics", Frontiers in genetics, vol. 4: Frontiers Media SA, 2013.
Costa, M., N. Correia, and N. Guimarães, "Annotations as multiple perspectives of video content", Proceedings of the tenth ACM international conference on Multimedia: ACM, pp. 283–286, 2002.
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.
Barata, A., L. Carvalho, and F. M. Couto, "Anthropometric data analytics: a portuguese case study", International Conference on Practical Applications of Computational Biology & Bioinformatics: Springer, pp. 92–100, 2017.
Ferreira, J., Anti-parkinsonian drugs and sleep disorders in Parkinson s disease, , 2009.
Carvalho, P., and H. Gonçalo Oliveira, Apêndice G: Manual de Utilização do Etiquet (H) AREM, : Desafios na avaliação conjunta do reconhecimento de entidades mencionadas: O Segundo HAREM, Linguateca, 2009.
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.
Araújo, F., L. Rodrigues, and B. Ribeiro, Aplicação das Redes Neuronais no Encaminhamento em Redes de Dados, : Terceira Conferência sobre Redes de Computadores (CRC'00), 2000.
Silva, M., "Apontamentos da Disciplina de Biomecânica do Movimento", DEM, IST, 2004.
Lopes, R., and L. Carriço, "APP-Architecture for Pipelined Processing", IADIS International Conference WWW/Internet, vol. 2005, 2005.
Miranda, H., A. Pinto, and L. Rodrigues, "Appia, a flexible protocol kernel supporting multiple coordinated channels", Distributed Computing Systems, 2001. 21st International Conference on.: IEEE, pp. 707–710, 2001.
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.
Mocito, J., L. Rosa, N. Almeida, and L. Rodrigues, "AppiaXML: A brief tutorial", Faculdade de Ciências da Universidade de Lisboa, 2004.
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.
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.
Casimiro, A., J. Rufino, L. Marques, M. Calha, and P. Verissimo, "Applying architectural hybridization in networked embedded systems", Software Technologies for Embedded and Ubiquitous Systems: Springer Berlin Heidelberg, pp. 264–275, 2009.
Antunes, P., C. J. Costa, and J. Ferreira Dias, "Applying Genre Analysis to EMS Design: The example of a small accounting firm", Groupware, 2001. Proceedings. Seventh International Workshop on: IEEE, pp. 74–81, 2001.
Zurita, G., N. Baloian, P. Antunes, and F. Baytelman, "Applying Sensemaking in a Mobile Learning Scenario.", EC-TEL (Posters), 2007.
Barth, D., O. Bournez, O. Boussaton, and J. Cohen, "Apprentissage distribué d'états stables pour le routage", ROADEF 2009, pp. 259, 2009.
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.
Dondossola, G., G. Deconinck, F. Di Giandomenico, S. Donatelli, M. Kaaniche, and P. Verissimo, "An approach to modelling and mitigating infrastructure interdependencies", Proceedings of (CRIS) The International Institute for Critical Infrastructures-3rd International Conference on Critical Infrastructures, pp. 4, 2006.
Formella, A., F. Couto, JS. Silva, and P. Fernandes, "Approximate point set match for partial protein structure alignment", Proceedings of Bioinformatics: Knowledge Discovery in Biology (BKDB2005). Facultade Ciencias Lisboa da Universidade de Lisboa, pp. 53–57, 2005.
Chambel, T., and N. Guimarães, "Aprender com v{ídeo em hipermédia", Proceedings of 1º Conferência da Associação Portuguesa de Sistemas de Informação, pp. 85–98, 2000.
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.
Casimiro, A., and R. de Lemos, Architecting dependable systems VII, , vol. 6420: Springer, 2010.
Rufino, J., J. Craveiro, and P. Verissimo, "Architecting robustness and timeliness in a new generation of aerospace systems", Architecting dependable systems VII: Springer Berlin Heidelberg, pp. 146–170, 2010.
Casimiro, A., J. Kaiser, and P. Verissimo, "An architectural framework and a middleware for cooperating smart components", Proceedings of the 1st Conference on Computing Frontiers: ACM, pp. 28–39, 2004.
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.
Bom, J., P. Marques, M. Correia, and P. Pinto, "An architecture for dynamic multimedia QoS control", 7th IFIP/ICCC conf. on information networks and data communications, Aveiro, June, 1998.
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.
Correia, M., P. Verissimo, and N. Ferreira Neves, "The architecture of a secure group communication system based on intrusion tolerance", Distributed Computing Systems Workshop, 2001 International Conference on: IEEE, pp. 17–22, 2001.
Johansson, R., J. Kaiser, A. Casimiro, R. Librino, K. Ö. stberg, J. Rufino, and P. Costa, "An architecture pattern enabling safety at lower cost and with higher performance", Embedded Real Time Software and Systems Conference, Toulouse, France, 2014.
Kalan, A. Abou El, A. Baina, H. Beitollahi, A. Neves Bessani, A. Bondavalli, M. Correia, A. Daidone, W. Dantas, G. Deconinck, Y. Deswarte, et al., Architecture, Services and Protocols for CRUTIAL, , 2009.
Verissimo, P., J. Kaiser, and A. Casimiro, "An architecture to support interaction via Generic Events", 24th IEEE Real–time Systems Symposium, Work in Progress Proceedings, Cancun, Mexico, 2003.
Maria, N., P. Gaspar, N. Grilo, A. Ferreira, and M. J. Silva, "ARIADNE - Digital library architecture", ECDL: 2nd international conference on Research and advanced technology for digital libraries: Springer, pp. 667–668, 1998.
Diniz, N., and J. Rufino, ARINC 653 In Space Dasia 2005, EUROSPACE, Edinburgh, Scotland, , 2005.
Rufino, J., S. Filipe, M. Coutinho, S. Santos, and J. Windsor, "ARINC 653 interface in RTEMS", Proc. DASIA, 2007.
Ferreira, A., and M. J. Silva, "Arquitectura e ensaio de desempenho de um gestor de publicidade na Internet", CRC: 2ª conferência sobre Redes de computadores, 1999.
Guimaraes, M., and L. Rodrigues, "Arquitectura h{íbrida para publicação e subscrição de informação na Internet", Actas da 3a CONFERÊNCIA SOBRE REDES DE COMPUTADORES, CRC'2000, 2000.
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.
Lopes, R., M. Rodrigues, A. Dias, and L. Carriço, "Arquitecturas XML para Concretização de Modelos Hipermédia", Proceedings of the 4ª Conferência da Associação Portuguesa de Sistemas de Informação, Porto, Portugal, pp. 15–17, 2003.
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.
Moreira, A., and T. Chambel, "As Music Goes By in versions and movies along time", Proceedings of the 2018 ACM International Conference on Interactive Experiences for TV and Online Video: ACM, pp. 239–244, 2018.
Guimarães, N., As naturezas lingu{ísticas dos sistemas computacionais, : Universidade Aberta, 2005.
Chambel, T., and N. Guimarães, Aspectos Cognitivos e Estéticos na Concepção de Interfaces para Espaços Hipermédia Baseados em V{ídeo, : Interacção'2004, Primeira Conferência Nacional de Interfaces Pessoa-Máquina, 2004.
Santos, A. L., and K. Koskimies, "Aspects as specialization units for framework-based SPLs", BPAOSD'06: Workshop on Best Practices in Applying Aspect-Oriented Software Development (AOSD'06), 2006.
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.
Marques, D. H., L. Carriço, and T. Guerreiro, "Assessing Inconspicuous Smartphone Authentication for Blind People", arXiv preprint arXiv:1506.00930, 2015.
Ferreira, J. D., B. Inácio, R. M. Salek, and F. M. Couto, "Assessing Public Metabolomics Metadata, Towards Improving Quality", Journal of integrative bioinformatics, vol. 14, no. 4: De Gruyter, 2017.
Antunes, P., R. Bandeira, L. Carriço, and C. Grande, "Assessing risk in healthcare collaborative settings", Human Resources in Healthcare, Health Informatics and Healthcare Systems: Premier Reference Source Hershey, NY, pp. 154–166, 2011.
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.
Silva, V. Filipe, P. Bartolomeu, J. Ferreira, and J. Alberto Fonseca, "Assessment of multi-bus fault-tolerant communications", Industrial Informatics, 2009. INDIN 2009. 7th IEEE International Conference on: IEEE, pp. 72–78, 2009.
Martins, B., M. Chaves, and M. J. Silva, "Assigning geographical scopes to web pages", Advances in Information Retrieval: Springer Berlin Heidelberg, pp. 564–567, 2005.
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.
Asif, M., F. Couto, and A. M. Vicente, "Associação entre variantes genéticas e perfil cl{ínico multidimensional de doentes com perturbação do espetro do autismo: uma abordagem integrativa", Boletim Epidemiológico Observações, vol. 7, no. 22: Instituto Nacional de Saúde Doutor Ricardo Jorge, IP, pp. 38–42, 2018.
Verissimo, P., "Assumptions: The Trojan Horses of Secure Protocols", Computer Network Security: Springer Berlin Heidelberg, pp. 34–41, 2007.
de Lemos, R., C. Ghezzi, A. Lopes, and , Assurances for Self-adaptive Systems: Principles, Models, and Techniques, : Springer Publishing Company, Incorporated, 2013.
Correia, M., G. Santos Veronese, and C. L Lung, "Asynchronous Byzantine consensus with 2f+ 1 processes", Proceedings of the 2010 ACM Symposium on Applied Computing: ACM, pp. 475–480, 2010.
Correia, M., G. Santos Veronese, and C. L Lung, Asynchronous Byzantine Consensus with 2f+ 1 Processes (extended version), , 2009.
Gay, S., and V. T. Vasconcelos, "Asynchronous functional session types", Journal article, University of Glasgow, 2007.
Rodrigues, L., and M. Raynal, "Atomic broadcast in asynchronous crash-recovery distributed systems and its use in quorum-based replication", Knowledge and Data Engineering, IEEE Transactions on, vol. 15, no. 5: IEEE, pp. 1206–1217, 2003.
Rodrigues, L., and M. Raynal, "Atomic broadcast in asynchronous crash-recovery distributed systems", Distributed Computing Systems, 2000. Proceedings. 20th International Conference on: IEEE, pp. 288–295, 2000.
Jones, C., D. Lomet, A. Romanovsky, G. Weikum, A. Fekete, M-C. Gaudel, H. F. Korth, R. de Lemos, E. Moss, R. Rajwar, et al., "The atomic manifesto: a story in four quarks", ACM SIGMOD Record, vol. 34, no. 1: ACM, pp. 63–69, 2005.
Verissimo, P., L. Rodrigues, and J. Rufino, "The atomic multicast protocol (AMp)", Delta-4: A Generic Architecture for Dependable Distributed Computing: ESPRIT Research Papers, Springer-Verlag, pp. 267–294, 1991.
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, Attentive Devices for Groupware Systems, , 2007.
Ferreira, A., and P. Antunes, Attentive Groupware, : Department of Informatics, University of Lisbon, 2006.
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.
Ferreira, A., and P. Antunes, Attentive Groupware Systems: A Framework and a Prototype Tool, : Department of Informatics, University of Lisbon, 2007.
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.
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.
Simões, F., and P. Antunes, "Auditoria de sistemas de votação electrónica: uma proposta de arquitectura e protótipo de simulação", 2º Workshop sobre Voto pela Internet, 2006.
Carmo, M. Beatriz, A. Paula Cláudio, A. Ferreira, A. Paula Afonso, P. Redweik, C. Catita, M. Centeno Brito, S. Silva, and C. Meireles, "Augmented reality for support decision on solar radiation harnessing", Computação Gráfica e Interação (EPCGI), 2016 23° Encontro Português de: IEEE, pp. 1–8, 2016.
Nicolau, H., K. Montague, J. Guerreiro, D. H. Marques, T. Guerreiro, C. Stewart, and VL. Hanson, "Augmenting Braille Input through MultiTouch Feedback", Proc. of UIST 2013 - the 26th ACM Symposium on User Interface Software and Technology, 2013.
Correia, N., J. Martins, N. Guimarães, N. Correia, I. Oliveira, J. Martins, N. Guimarães, J. Martins, M. Goulão, and I. Oliveira, Augmenting Video Information: Content Based Hyperlinking, : International Conference on Multimedia Technology and Management, HongKong, 1996.
Martinez, R. Gil, Z. Li, A. Lopes, and L. Rodrigues, "Augure: Proactive reconfiguration of cloud applications using heterogeneous resources", Network Computing and Applications (NCA), 2017 IEEE 16th International Symposium on: IEEE, pp. 1–8, 2017.
Domingos, D., A. Rito-Silva, and P. Veiga, "Authorization and access control in adaptive workflows", Computer Security–ESORICS 2003: Springer Berlin Heidelberg, pp. 23–38, 2003.

Pages