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 
Pinto, R., J. Rufino, and C. Almeida, Specification and engineering of the CANELy prototype board, : Technical Report DARIO Technical Report RT-06-06, Instituto Superior Tecnico, Lisbon, Portugal, 2006.
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.
Lekakos, G., T. Chambel, and H. Knoche, "Special issue on social recommendation and delivery systems for video and TV content", Multimedia Systems, vol. 19, no. 6: Springer Berlin Heidelberg, pp. 475–476, 2013.
Cheatham, M., I. F. Cruz, J. Euzenat, and C. Pesquita, "Special issue on ontology and linked data matching.", Semantic Web, vol. 8, no. 2, pp. 183–184, 2017.
Viana, P., T. Chambel, M. V. Bove, S. Strover, and G. Thomas, Special Issue on "Immersive Media Experiences"", MTAPS: Multimedia Tools and Applications, , 2016.
Graça, A. Silva, A. Pelman, A. Borghini, A. Bergqvist, A. Lever, A. Hatzimoysis, A. Branco, \AA. Maria Wikforss, A. Á. lvarez, B. Hill IHPST, et al., "Speakers' List", Book of Abstracts ENFA-3: Instituto de Filosofia da Linguagem, Universidade Nova de Lisboa, pp. 86, 2006.
Distler, T., I. Popov, W. Schröder-Preikschat, H. P. Reiser, and R. Kapitza, "SPARE: Replicas on Hold.", NDSS, 2011.
Gomes, J., T. Chambel, and T. Langlois, "SoundsLike: movies soundtrack browsing and labeling based on relevance feedback and gamification", Proceedings of the 11th european conference on Interactive TV and video: ACM, pp. 59–62, 2013.
Antunes, L., B. Bauwens, A. Souto, and A. Teixeira, "Sophistication vs Logical Depth", Theory of Computing Systems, vol. 60, pp. 280–298, Feb, 2017.
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.
Neves, N. Ferreira, M. Correia, and P. Verissimo, "Solving vector consensus with a wormhole", Parallel and Distributed Systems, IEEE Transactions on, vol. 16, no. 12: IEEE, pp. 1120–1131, 2005.
Janota, M., W. Klieber, J. Marques-Silva, and E. Clarke, "Solving QBF with counterexample guided refinement", Artificial Intelligence, vol. 234: Elsevier, pp. 1–25, 2016.
Kreutz, D., F. M. V. Ramos, P. Verissimo, E. C. Rothenberg, S.. Azodolmolky, and S.. Uhlig, "Software-Defined Networking: A Comprehensive Survey", Proceedings of the IEEE, vol. 103, pp. 14-76, Jan, 2015.
Ramos, F. M. V., D. Kreutz, and P. Verissimo, "Software-Defined Networking: A Comprehensive Survey", Cutter IT Journal, vol. 28, pp. 6-13, May, 2015.
Ramires, J., P. Antunes, and A. Respicio, "Software requirements negotiation using the software quality function deployment", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 308–324, 2005.
Shapiro, M., and N. Guimarães, "Software integration in SOMIW: Goals, accomplishments, and problems", Esprit'89, 6th Annual Esprit Conf.: North-Holland, 1989.
de Lemos, R., H. Giese, H. A. Müller, M. Shaw, J. Andersson, M. Litoiu, B. Schmerl, G. Tamura, N. M. Villegas, T. Vogel, et al., "Software engineering for self-adaptive systems: A second research roadmap", Software Engineering for Self-Adaptive Systems II: Springer Berlin Heidelberg, pp. 1–32, 2013.
De Lemos, R., H. Giese, HA. Müller, M. Shaw, J. Andersson, L. Baresi, B. Becker, and , "Software engineering for self-adaptive systems", Dagstuhl Seminar, vol. 10431, 2009.
Lopes, A., and R. de Lemos, Software Architecture: 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings, , vol. 10475: Springer, 2017.
Antunes, P., A Social-Technical Perspective Over Business Process Management and Resilience, : 2nd ESFORS Workshop, 2007.
Coelho, J., and C. Duarte, "Socially Networked or Isolated? Differentiating Older Adults and the Role of Tablets and Television", Human-Computer Interaction -- INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, Springer International Publishing, pp. 129–146, 2015.
Barata, C., M. Abreu, P. Torres, J. Teixeira, T. Guerreiro, and F. Couto, "Social Impact-Identifying Quotes of Literary Works in Social Networks", Progress in Artificial Intelligence: Springer, pp. 789–795, 2015.
Kanjo, E., E. N Mawass, , J.. P., and F. M. V. Ramos, Social, Disconnected or In between: Mobile Data reveals urban mood, , 2013.
Marques, D. H., I. Muslukhov, T. Guerreiro, L. Carriço, and K. Beznosov, "Snooping on Mobile Phones: Prevalence and Trends", Twelfth Symposium on Usable Privacy and Security (SOUPS 2016), Denver, CO, USENIX Association, 2016.
Júnior, V. Stumm, C. L Lung, M. Correia, J. da Silva Fraga, and J. Lau, SMIT: Uma Arquitetura Tolerante a Intrusoes Baseada em Virtualizaç ao, , 2010.
Botelho, F., A. Neves Bessani, F. M. V. Ramos, and P. Ferreira, "SMaRtLight: A Practical Fault-Tolerant SDN Controller", arXiv preprint arXiv:1407.6062, 2014.
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.
Matos, D. R., N. Neves, and A. Bessani, "SITAN: Services for Fault-Tolerant Ad Hoc Networks with Unknown Participants", arXiv preprint arXiv:1804.09107, 2018.
Monteiro, A., N. Soares, R. Oliveira, and P. Antunes, Sistemas electrónicos de votação, : Department of Informatics, University of Lisbon, 2001.
Alchieri, E. Adilio Pel, A. Neves Bessani, F. Carlos Pereira, and J. da Silva Fraga, Sistemas de Quóruns Bizantinos Pró-Ativos, : SBRC 2009: 27o Simposio Brasileiro de Redes de Computadores, 2009.
Costa, C. J., M. Duque, P. Antunes, J. Ferreira Dias, ISCTE. Informação, and C. de Gestão, "Sistemas de Apoio a Reuniões: Limitações Actuais e Oportunidades de Disseminação da Tecnologia", Information Systems, vol. 12, 2000.
Duque, M., P. Antunes, J. Ferreira Dias, and , Sistemas de Apoio a Reuniões: Limitações Actuais e Oportunidades de Disseminação Da Tecnologia, : CoopMedia'2000, Workshop de Sistemas Multimédia Cooperativos e Distribu{ídos, 2000.
Leggio, S., H. Miranda, K. Raatikainen, and L. Rodrigues, "SIPCache: A distributed SIP location service for mobile ad-hoc networks", Mobile and Ubiquitous Systems: Networking & Services, 2006 Third Annual International Conference on: IEEE, pp. 1–4, 2006.
Lima, D.., H.. Miranda, and F.. Taiani, "Simulation of partial replication in Distributed Transactional Memory", Wireless Days 2017, Porto, Portugal, IEEE, 2017.
Lima, D., H. Miranda, and F. Taiani, "Simulation of partial replication in Distributed Transactional Memory", Wireless Days, 2017: IEEE, 2017.
Falcao, A. O., "Simulação e projecção de alternativas de gestão para o montado de sobro", Documento Técnico, vol. 4, no. 02, 2002.
Falcao, A. O., {Simulação e Geração de Alternativas de Gestão para o Per{ímetro Florestal do Cantão das Hortas-Serra da Lousã, , 2002.
L Lung, C., M. Correia, N. Ferreira Neves, and P. Verissimo, "A simple intrusion-tolerant reliable multicast protocol using the TTCB", of: 21o Simpósio Brasileiro de Redes de Computadores, pp. 649–663, 2003.
Correia, M., C. L Lung, N. Ferreira Neves, and P. Verissimo, A Simple Intrusion-Tolerant Reliable Multicast Protocol using the TTCBe Model, , 2003.
Khosravani, HR., A. E. Ruano, and P. M. Ferreira, "A simple algorithm for convex hull determination in high dimensions", Intelligent Signal Processing (WISP), 2013 IEEE 8th International Symposium on: IEEE, pp. 109–114, 09/2013.
Marques, G., and T. Langlois, A similarity measure for music signals, : INSTICC-Inst Syst Technologies Information Control & Communication, 2008.
Ilahi, L., R. Martinho, S. Ayachi Ghannouchi, D. Domingos, and R. Rijo, "Similarity Based Approach for Comparing Home Healthcare Processes Models in Portugal", Procedia Computer Science, vol. 100: Elsevier, pp. 1250–1259, 2016.
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.
Brock, A. M., S. Kammoun, H. Nicolau, T. Guerreiro, S. K. Kane, and C. Jouffrais, "SIG: NVI (non-visual interaction)", CHI'13 Extended Abstracts on Human Factors in Computing Systems: ACM, pp. 2513–2516, 2013.
Garcia, M., N. Neves, and A. Bessani, "SieveQ: A layered bft protection system for critical services", IEEE Transactions on Dependable and Secure Computing, vol. 15, no. 3: IEEE, pp. 511–525, 2018.
Garcia, M., N. Neves, and A. Bessani, "Sieveq: A layered bft protection system for critical services", IEEE Transactions on Dependable and Secure Computing: IEEE, 2016.
Costa, M., and M. Jorge Cost da Silva, "Sidra: a flexible distributed indexing and ranking architecture for web search", VIII Jornadas de Ingenier{ía del Software y Bases de Datos: actas:(JISBD'03), Alicante, del 12 al 14 de noviembre de 2003: Universidad de Alicante, pp. 767–770, 2003.
Marques, G., T. Langlois, F. Gouyon, M. Lopes, and M. Sordo, "Short-term feature space and music genre classification", Journal of New Music Research, vol. 40, no. 2: Routledge, pp. 127–137, 2011.
Oliveira, E., T. Chambel, and N. Magalhães Ribeiro, "Sharing Video Emotional Information in the Web", International Journal of Web Portals (IJWP), vol. 5, no. 3: IGI Global, pp. 19–39, 2013.
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.
Oliveira, T., R. Mendes, and A. Neves Bessani, "Sharing Files Using Cloud Storage Services", Euro-Par 2014: Parallel Processing Workshops: Springer International Publishing, pp. 13–25, 2014.
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.
Guerraoui, R., and L. Rodrigues, "Shared Memory", Introduction to Reliable Distributed Programming: Springer Berlin Heidelberg, pp. 135–188, 2006.
Vasconcelos, V. T., L. Aceto, and , "Sessions, from types to programming languages", Bulletin of the EATCS, no. 103, pp. 53–73, 2011.
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.
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.
Mostrous, D., and V. T. Vasconcelos, "Session typing for a featherweight Erlang", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 95–109, 2011.
Mostrous, D., Session Types in Concurrent Calculi: Higher-Order Processes and Objects, : Imperial College London (University of London), 2010.
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.
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.
Correia, M., Serviços Distribu{ídos Tolerantes a Intrusões: resultados recentes e problemas abertos, : Department of Informatics, University of Lisbon, 2005.
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.
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.
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.
Verissimo, P., and N. Ferreira Neves, "Service and Protocol Architecture for the MAFTIA Middleware", Deliverable D23, Project MAFTIA IST-1999-11583, 2001.
Cachin, C., M. Correia, T. McCutcheon, N. Ferreira Neves, B. Pfitzmann, B. Randell, M. Schunter, R. J. Stroud, P. Verissimo, M. Waidner, et al., Service and Protocol Architecture for the MAFTIA Middleware, : Department of Informatics, University of Lisbon, 2001.
Charro, N., B. L. Hood, D. Faria, P. Pacheco, P. Azevedo, C. Lopes, A. Bugalho de Almeida, F. Couto, T. P. Conrads, and D. Penque, "Serum proteomics signature of Cystic Fibrosis patients: A complementary 2-DE and LC–MS/MS approach", Journal of proteomics, vol. 74, no. 1: Elsevier, pp. 110–126, 2011.
Hijón-Neira, R., Á. Velázquez-Iturbide, C. Pizarro-Romero, and L. Carriço, "Serious games for motivating into programming", Frontiers in Education Conference (FIE), 2014 IEEE: IEEE, pp. 1–8, 2014.
Antunes, M., A. Rito Silva, J. Martins, H. Miranda, and L. Rodrigues, "Separating replication from distributed communication: Problems and solutions", 2013 IEEE 33rd International Conference on Distributed Computing Systems Workshops: IEEE Computer Society, pp. 0103–0103, 2001.
Fiadeiro, J., A. Lopes, L. Bocchi, and J. Abreu, "The Sensoria reference modelling language", Rigorous software engineering for service-oriented systems: Springer Berlin Heidelberg, pp. 61–114, 2011.
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.
Fernandes, M., J. Decouchant, M. Voelp, F. M. Couto, and P. Esteves-Verissimo, "Sensitivity Levels: Optimizing the Performance of Privacy Preserving DNA Alignment", bioRxiv: Cold Spring Harbor Laboratory, pp. 292227, 2018.
Lopes, R., K. Votis, L. Carriço, D. Tzovaras, and L. Spiridon, "The semantics of personalised web accessibility assessment", Proceedings of the 2010 ACM Symposium on Applied Computing: ACM, pp. 1440–1441, 2010.
Lopes, L., and F. Martins, "A semantically robust framework for programming wireless sensor networks", DCC/FCUP, TR, vol. 1, 2010.
Pereira, J., L. Rodrigues, and R. Oliveira, "Semantically reliable multicast protocols", Reliable Distributed Systems, 2000. SRDS-2000. Proceedings The 19th IEEE Symposium on: IEEE, pp. 60–69, 2000.
Orlando, J., L. Rodrigues, and R. Oliveira, "Semantically reliable multicast protocols", Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems (SRDS 2000), 2000.
Pereira, J., L. Rodrigues, and R. Oliveira, "Semantically reliable multicast: Definition, implementation, and performance evaluation", Computers, IEEE Transactions on, vol. 52, no. 2: IEEE, pp. 150–165, 2003.
Pereira, J., L. Rodrigues, and R. Oliveira, "Semantically Reliable Broadcast", Concurrency in Dependable Computing: Springer US, pp. 189–207, 2002.
Machado, C. M., D. Rebholz-Schuhmann, A. T. Freitas, and F. Couto, "The semantic web in translational medicine: current applications and future directions", Briefings in bioinformatics, vol. 16, no. 1: Oxford University Press, pp. 89–103, 2015.
Couto, F., M. J. Silva, and P. M. Coutinho, "Semantic similarity over the gene ontology: family correlation and selecting disjunctive ancestors", Proceedings of the 14th ACM international conference on Information and knowledge management: ACM, pp. 343–344, 2005.
Martins, F., A. O. Falcao, and F. Couto, Semantic Similarity Match for Data Quality, : Department of Informatics, University of Lisbon, 2007.
Pesquita, C., "Semantic similarity in the gene ontology", The Gene Ontology Handbook: Springer, pp. 161–173, 2017.
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.
Ferreira, J., and F. Couto, "Semantic similarity for automatic classification of chemical compounds", PLoS computational biology, vol. 6, no. 9: Public Library of Science, pp. e1000937, 2010.
Pesquita, C., D. Faria, A. O. Falcao, P. Lord, F. Couto, and , "Semantic Similarities in Biomedical Ontologies", IMIA Yearbook, vol. 5, pp. 84–84, 2010.
Soliman, T. H., and M. H. Abdel Reheim, "Semantic Data Integration", Handbook of Big Data Technologies , First Online: 26 February 2017, pp. pp 263-305, 2017.
Cheatham, M., and C. Pesquita, "Semantic Data Integration", Handbook of Big Data Technologies: Springer, pp. 263–305, 2017.
Duarte, C., I. Matos, and L. Carriço, "Semantic Content Analysis Supporting Web Accessibility Evaluation", Proceedings of the Internet of Accessible Things: ACM, pp. 22, 2018.
Machado, C. M., F. Couto, A. R. Fernandes, S. Santos, N. Cardim, and A. T. Freitas, "Semantic characterization of hypertrophic cardiomyopathy disease", Bioinformatics and Biomedicine Workshops (BIBMW), 2010 IEEE International Conference on: IEEE, pp. 432–439, 2010.
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.
Ruano, AE., PM. Ferreira, H. Duarte, S. Silva, and MG. Ruano, "Self-Powered Wireless Sensor Network Designed for Energy Saving in HVAC Systems", Proceedings of the International Conference on Wireless Networks (ICWN): The Steering Committee of The World Congress in Computer Science, Computer Engineering and Applied Computing (WorldComp), pp. 36, 2016.
Rosa, L., L. Rodrigues, and A. Lopes, "Self-management of Distributed Systems Using High-Level Goal Policies", Software Engineering for Self-Adaptive Systems II: Springer Berlin Heidelberg, pp. 162–190, 2013.
Rosa, L., L. Rodrigues, A. Lopes, M. Hiltunen, and R. Schlichting, "Self-management of adaptable component-based applications", Software Engineering, IEEE Transactions on, vol. 39, no. 3: IEEE, pp. 403–421, 2013.
Costa, D., and C. Duarte, "Self-adapting TV based applications", Universal Access in Human-Computer Interaction. Design for All and eInclusion: Springer, pp. 357–364, 2011.
Rodrigues, L., J. Pereira, U. Minho, and U. Lisboa, "Self-adapting epidemic broadcast algorithms", FuDiCo II: SOS Survivability: Obstacles and Solutions 2nd Bertinoro Workshop on Future Directions in Distributed Computing, 2004.
Donaldson, A. F., and V. T. Vasconcelos, Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014), , 2015.
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.
Ruano, A. E., G. Madureira, O. Barros, HR. Khosravani, G. M Ruano, and P. Ferreira, "Seismic detection using support vector machines", Neurocomputing, vol. 135: Elsevier, pp. 273–283, 2014.
Sousa, P., Segurança e Disponibilidade através de Resiliência Proactiva, : Department of Informatics, University of Lisbon, 2008.
Verissimo, P., "SEGURAN{\c{C}}A e CONFIABILIDADE: na ordem do dia dos sistemas distribu{ídos", Jornadas do Colégio de Engenharia Electrotécnica, Ordem dos Engenheiros, vol. 12, 1996.