Export 2364 results:
Journal Article
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.
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.
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.
Antunes, L., B. Bauwens, A. Souto, and A. Teixeira, "Sophistication vs Logical Depth", Theory of Computing Systems, vol. 60, pp. 280–298, Feb, 2017.
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.
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.
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.
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.
de Bruin, I., A. Casimiro, L. Falai, P. Frejek, S. Heemstra de Groot, G. Huszerl, M. Kaaniche, MO. Killijian, R. Lippman, EV. Matthiesen, et al., "Specification HIDENETS laboratory set-up scenario and components", EU FP6 IST project HIDENETS, deliverable D, vol. 6, 2007.
Lopes, A., I. Nunes, and V. T. Vasconcelos, Specifying and Monitoring Java Classes, : DI-FCUL, 2009.
Bessani, A. Neves, G. Santos Veronese, C. L Lung, and M. Correia, Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary, , 2009.
Grunberg, A., R. Carlier, F. Bekkali, M. J. Silva, P. Chemouilli, and D. Doyon, "[Spinal subdural hematoma. Presentation of 2 cases studied with MRI]", Journal de radiologie, vol. 74, no. 5, pp. 291–295, 1993.
Carriço, L., N. Guimarães, C. Duarte, T. Chambel, and H. Simoes, "Spoken books: Multimodal interaction and information repurposing", Proceedings of HCII, pp. 680–684, 2003.
Sousa, J., E. Alchieri, and A. Neves Bessani, State Machine Replication for the Masses with BFT-SMaRt, , 2013.
Miranda, H., S. Leggio, L. Rodrigues, and K. Raatikainen, A Stateless Neighbour-Aware Cooperative Caching Protocol for Ad-Hoc Networks, : Department of Informatics, University of Lisbon, 2005.
Martins, B., and M. J. Silva, A statistical study of the tumba! corpus, , 2004.
Batista, D. S., and M. J. Silva, "A statistical study of the WPT05 crawl of the Portuguese Web", FALA 2010 VI Jornadas en Tecnolog{ía del Habla and II Iberian SLTech Workshop, Vigo, Spain, 2010.
Mocito, J., A. Respicio, and L. Rodrigues, On statistically estimated optimistic delivery in large-scale total order protocols, : 12th IEEE International Symposium Pacific Rim Dependable, 2006.
Bermejo, C., and P. Hui, "Steal Your Life Using 5 Cents: Hacking Android Smartphones with NFC Tags", arXiv preprint arXiv:1705.02081, 2017.
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, "The stream-based service-centred calculus: a foundation for service-oriented programming", Formal Aspects of Computing, vol. 26, no. 5: Springer London, pp. 865–918, 2014.
Nicolau, H., J. Guerreiro, and T. Guerreiro, "Stressing the Boundaries of Mobile Accessibility", arXiv preprint arXiv:1402.1001, 2013.
Rodrigues, L., H. Miranda, R. Almeida, J. Martins, P. Vicente, and , "Strong replication in the GlobData middleware", Workshop on Dependable Middleware-Based Systems, pp. 503–510, 2002.
Teixeira, A. L., and A. O. Falcao, "Structural similarity based kriging for quantitative structure activity and property relationship modeling", Journal of chemical information and modeling, vol. 54, no. 7: American Chemical Society, pp. 1833–1849, 2014.
Antunes, P., V. Herskovic, S. F. Ochoa, and J. A. Pino, "Structuring dimensions for collaborative systems evaluation", ACM Computing Surveys (CSUR), vol. 44, no. 2: ACM, pp. 8, 2012.
Antunes, P., and N. Guimarães, "Structuring elements for group interaction", Second Conference on Concurrent Engineering, Research and Applications (CE95): Citeseer, 1995.
Rufino, J., and P. Verissimo, "A study on the inaccessibility characteristics of the Controller Area Network", Proc. of the 2nd International CAN Conference, vol. 95: Citeseer, 1995.
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.
Duarte, C., A. Ribeiro, and R. Nunes, "Studying Natural Interaction in Multimodal, Multi-Surface, Multiuser Scenarios", Emerging Research and Trends in Interactivity and the Human-Computer Interface: IGI Global, pp. 160, 2013.
Parlier-Cuau, C., RY. Carlier, P. David, M. J. Silva, and D. Doyon, "[Subdural abscess. Rare complication of epidural infiltration. Apropos of a case and review of the literature]", Journal de radiologie, vol. 74, no. 4, pp. 205–209, 1993.
P Umberto, C., J. Tiago M Silva, E. Alves S Silva, and L. Antônio D Araújo, "Subdural Hematoma In Childhood: Considerations About Twenty Cases And Review Of The Literature", The Internet Journal of Pediatrics and Neonatology, vol. 5, no. 1, 2004.
Mourão, H., and P. Antunes, "Suporte á Intervenção de Operadores no Tratamento de Excepções em Fluxos de Trabalho", 4ª Conferência da Associação Portuguesa de Sistemas de Informação, pp. 29–42, 2003.
Mourão, H., and P. Antunes, "Suporte à Intervenção de Operadores no Tratamento de Excepções em Fluxos de Trabalho", 4ª Conferência da Associação Portuguesa de Sistemas de Informação, pp. 29–42, 2003.
Duarte, C., D. Costa, D. Costa, and P. Feiteira, Support for inferring user abilities for multimodal applications, , 2010.
Carrigo, L., N. Guimarães, and P. Antunes, Support for Interactive Tools and Systems, , 1991.
Carriço, L., P. Antunes, N. Guimarães, P. Pereira, and M. Moreno, Support for open tools and systems, , 1992.
Martinho, R., D. Domingos, and A. Rito-Silva, Supporting authentication requirements in workflows, : 8th International Conference on Enterprise Information Systems, 2006.
Vogt, R., N. Baloian Tataryan, G. Zurita Alarcón, P. Antunes, and C. Sapateiro, Supporting Crisis Management Processes by Wirelessly Interconnected Tablet-PCs, , 2008.
Mourão, H. Raul, and P. Antunes, "Supporting direct user interventions in exception handling in workflow management systems", Workshop de Sistemas de Informacao Multimedia e Cooperativos, COOP-MEDIA, Portugal, 2003.
Carriço, L., M. de Sá, L. Duarte, and T. Reis, Supporting Group Analysis in Psychotherapy, : 2nd National Conference in Human Computer Interaction, 2006.
Carriço, L., L. Duarte, R. Pereira, M. de Sá, J. Faria, I. Sá, G. Zurita, and N. Baloyan, "Supporting Group Exposure Therapy", Proceedings of SBSC, 2011.
de Sá, M., and L. Carriço, "Supporting Psychological Therapy with PDAs", Proceeding of Interacção2004, pp. 139–149, 2004.
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.
Antunes, P., J. Ferreira Dias, and , Supporting the Meeting Report Process, : 23rd Information Systems Research Seminar in Scandinavia, IRIS 23, 2000.
Costa, C., P. Antunes, and J. Ferreira Dias, "Supporting the meeting report process", Proceedings of the 23rd Information Systems Research Seminar in Scandinavia, IRIS, vol. 23: Citeseer, pp. 1141–1150, 2000.
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.
Palma, C., and L. Rodrigues, Supporting views in network management systems, , 2001.
Cosquer, F. J. N., and P. Verissimo, Survey of selected groupware applications and supporting platforms, : University of Bologna, 1994.
Jesus, G., A. Casimiro, and A. Oliveira, "A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks", Sensors, vol. 17, no. 9: Multidisciplinary Digital Publishing Institute, pp. 2010, 2017.
Araujo, F., and L. Rodrigues, Survey on Distributed Hash Tables, : University of Lisbon, 2006.
Araujo, F., and L. Rodrigues, Survey on Position-Based Routing1, , 2006.
Rodrigues, A., and T. Guerreiro, "SWAT: Mobile System-Wide Assistive Technologies", 28th British Computer Society Human Computer Interaction Conference, 2014.
Rodrigues, L., H. Fonseca, and P. Verissimo, "A synamic hybrid protocol for total order in large-scale systems", Proceedings of the 16th International Conference on Distributed Computing Systems: Citeseer, 1996.
Asif, M., System medicine approach to improve diagnosis and prognosis in Autism Spectrum Disorders (ASD), based on extensive genomic, biochemical and clinical data, , 2014.
Costa, M., A. Zhitkovich, M. Gargas, D. Paustenbach, B. Finley, J. Kuykendall, R. Billings, TJ. Carlson, K. Wetterhahn, X. S. J Patierno, et al., "T. Kasamatsu, K. Kohda and Y. Kawazoe (Japan) Retrospective dose estimates in Estonian Chernobyl clean-up workers by means of FISH F. Granath, F. Darroudi, A. Auvinen, L. Ehrenberg, T. Hakulinen, AT Natarajan, M. Rahu, T. RytSmaa, M. Tekkel and T. Veideba", Mutation Research, vol. 369, pp. 253–254, 1996.
Faria, D., C. Pesquita, I. Mott, C. Martins, F. M. Couto, and I. F. Cruz, "Tackling the challenges of matching biomedical ontologies", Journal of biomedical semantics, vol. 9, no. 1: BioMed Central, pp. 4, 2018.
Ignatiev, A., A. Morgado, and J. Marques-Silva, "On Tackling the Limits of Resolution in SAT Solving", arXiv preprint arXiv:1705.01477, 2017.
Gomes, D., and M. J. Silva, "Tarântula-sistema de recolha de documentos da Web", CRC'01-4a conferência de Redes de Computadores, 2001.
Correia, N., and N. Guimarães, "TaX: a tool for building time dependent applications", The X Resource, no. 5: O'Reilly & Associates, Inc., pp. 193–202, 1993.
Bessani, A. Neves, L. A. Cutillo, G. Ramunno, N. Schirmer, and P. Smiraglia, "The TClouds Platform: From the Concept to the Implementation of Benchmark Scenarios", ACM SIGOPS Operating Systems Review, vol. 48, no. 2: ACM, pp. 13–22, 2014.
Chambel, T., P. Antunes, C. Duarte, L. Carriço, and N. Guimarães, "Teaching Human-Computer Interaction to Blind Students", tc, vol. 351: Citeseer, pp. 21–7500087, 2004.
Afonso, A. Paula, Teaching Quality of Software at FCUL, : The Teaching of Quality in Information and Communication Technology Education Programs Workshop, 2007.
Antunes, P., and , A Technique for Evaluating Shared Workspaces Efficiency, : 10th International Conference Computer Supported Cooperative Work in Design 3, 2006.
Faria, D., C. Pesquita, E. Santos, F. Couto, C. Stroe, and I. F. Cruz, "Testing the AgreementMaker System in the Anatomy Task of OAEI 2012", arXiv preprint arXiv:1212.1625, 2012.
Teixeira, A. L., R. C. Santos, and F. Couto, "ThermInfo: Collecting and Presenting Thermochemical Properties", methods, vol. 1, pp. 3, 2009.
Teixeira, A. L., R. C. Santos, J. P. Leal, J. A. Martinho Simões, and A. O. Falcao, "ThermInfo: Collecting, Retrieving, and Estimating Reliable Thermochemical Data", arXiv preprint arXiv:1302.0710, 2013.
Muppala, J. K., M. Hiltunen, R. Campbell, and P. Verissimo, The Third International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology, , 2013.
Correia, N., and N. Guimarães, "Time and synchronization objects for multimedia application construction", Proceedings of the Fourth Eurographics Workshop on Object-Oriented Graphics, Sintra, Portugal, pp. 45–52, 1994.
Jorge, A., N. Gil, and T. Chambel, "Time for a New Look at the Movies through Visualization", Proceedings of Artech, pp. 269–278, 2012.
Verissimo, P., and M. Raynal, "Time in distributed system models and algorithms", In Advances in Distributed Systems, S. Krakowiak and S. Shrivastava, editors., no. Chapter 1: Springer Berlin/Heidelberg LNCS 1752, pp. 1–32, 2000.
Rufino, J., and I. Gouveia, "Timeliness runtime verification and adaptation in avionic systems", OSPERT 2016, pp. 37, 2016.
Vieira, M., A. Casimiro, and H. Madeira, "Timely ACID Transactions in DBMS", Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks: IEEE Computer Society Press, pp. 102–103, 2004.
Casimiro, A., Timely Actions in the Presence of Uncertain Timeliness, : Department of Informatics, University of Lisbon, 2003.
Martins, P., and P. Verissimo, The Timely Computing Base and its Future Trends, , 2002.
Verissimo, P., and A. Casimiro, "The timely computing base model and architecture", Computers, IEEE Transactions on, vol. 51, no. 8: IEEE, pp. 916–930, 2002.
Dixit, M., H. Moniz, and A. Casimiro, Timeout adaptive consensus: Improving performance through adaptation, , 2010.
Casimiro, A., and P. Verissimo, Timing failure detection with a timely computing base, : Department of Informatics, University of Lisbon, 1999.
Pesquita, C., D. Faria, E. Santos, and F. Couto, "To repair or not to repair: reconciling correctness and coherence in ontology reference alignments", Ontology Matching, pp. 13, 2013.
Neves, N. Ferreira, Tolerância a Intrusões em Sistemas Informáticos, : Department of Informatics, University of Lisbon, 2005.
Sardinha, L., N. Ferreira Neves, and P. Verissimo, Tolerância a Intrusões num Sistema em Grid, : 7ª Conferência sobre Redes de Computadores (CRC 2004), 2004.
Rodrigues, L., and M. Raynal, "Topic 09-Quorum-Based Replication in Asynchronous Crash-Recovery Distributed Systems (Research Note)", Lecture Notes in Computer Science, vol. 1900: Berlin: Springer-Verlag, 1973-, pp. 605–608, 2000.
Rodrigues, L., A. Mostéfaoui, C. Fetzer, and P. Tsigas, "Topic 8-Distributed Systems and Algorithms-Introduction", Lecture Notes in Computer Science, vol. 4641: Berlin: Springer-Verlag, 1973-, pp. 549–550, 2007.
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.
Sousa, P., and P. Verissimo, "Towards a cooperating autonomous car", Proceedings of the 7th CaberNet Radicals Workshop, 2002.
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, Towards a dependable tuple space, : Department of Informatics, University of Lisbon, 2006.
Pereira, J., N. Carvalho, and L. Rodrigues, Towards a generic group communication service, : Springer, 2006.
Craveiro, J., F. M. V. Ramos, E. Kanjo, and N. El Mawass, Towards an early warning system: the effect of weather on mobile phone usage A case study in Abidjan, , 2013.
Faria, D., E. Jiménez-Ruiz, C. Pesquita, E. Santos, and F. Couto, "Towards annotating potential incoherences in BioPortal mappings", International Semantic Web Conference, 2014.
Craveiro, J., and J. Rufino, Towards Compositional Hierarchical Scheduling Frameworks on Uniform Multiprocessors, , 2012.
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.
Sathiaseelan, A., M. Selimi, C. Molina, A. Lertsinsrubtavee, L. Navarro, F. Freitag, F. Ramos, and R. Baig, "Towards Decentralised Resilient Community Cloud Infrastructures", arXiv preprint arXiv:1709.07688, 2017.
Marques, E. R. B., F. Martins, V. T. Vasconcelos, N. Ng, and N. Dias Martins, "Towards deductive verification of MPI programs against session types", arXiv preprint arXiv:1312.2705, 2013.
Chambel, T., N. Correia, and N. Guimarães, Towards Hypervideo on the Web, : Third IASTED International Conference on Internet and Multimedia Systems and Applications, 1999.
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.
Rufino, J., "Towards integration of adaptability and non-intrusive runtime verification in avionic systems", ACM SIGBED Review, vol. 13, no. 1: ACM, pp. 60–65, 2016.
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.
Bandeira, R., R. Lopes, and L. Carriço, "Towards mobile Web accessibility evaluation", Free and Open Source Software for Accessible Mainstream Applications (FOSS-AMA), colocated with ETAPS, pp. 27–28, 2010.
Lopes, R., R. Bandeira, L. Carriço, and K. Van Isacker, "Towards Mobile Web Accessibility: Vision And Challenges", Proceedings of the first International ÆGIS Conference, pp. 151–158, 2010.
Reiser, H. P., and R. Kapitza, Towards Recoverable Hybrid Byzantine Consensus, , 2009.