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 
Munir, K., M. Welzl, M. Pasin, and P. Primet Vicat-Blanc, "Combining explicit admission control and congestion control for predictable data transfers in grids", Future Generation Computer Systems, vol. 28, no. 7: North-Holland, pp. 1121–1132, 2012.
Nunes, R., N. Stanchenko, and C. Duarte, "Combining multi-touch surfaces and tangible interaction towards a continuous interaction space", Proceedings of the 3rd Workshop on Interacting with Smart Objects, vol. 1114, 2014.
Falcao, A. O., and J. Borges, "Combining random and systematic search heuristic procedures for solving spatially constrained forest management scheduling models", Forest Science, vol. 48, no. 3: Society of American Foresters, pp. 608–621, 2002.
Chambel, T., and N. Guimarães, "Communicating and learning mathematics with hypervideo", Multimedia tools for communicating mathematics: Springer Berlin Heidelberg, pp. 79–91, 2002.
Mocito, J., L. Rodrigues, and H. Miranda, "Communication and coordination support in ad hoc networks for emergency management scenarios", Proceedings of the 6th International Wireless Communications and Mobile Computing Conference: ACM, pp. 499–503, 2010.
Videira, I., P. Verissimo, and H. Sarmento, "Communication in a Distributed Environment", Electronic Design Automation Frameworks: Springer US, pp. 121–130, 1995.
Miranda, H., and L. Rodrigues, "Communication support for multiple QoS requirements", Proceedings of the 3rd European Research Seminar on Advances in Distributed Systems (ERSADS99), 1999.
Lima, R., C. Baquero, and H. Miranda, "Comparação de Mecanismos de Cancelamento de Difusão", Atas do 4o Simpósio de Informática (INForum 2012): Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, 2012.
Kock, N., and P. Antunes, "A Comparative Analysis of E-Collaboration Research Funding in the European Union and the United States", Virtual Team Leadership and Collaborative Engineering Advancements: Contemporary Issues and Implications: Contemporary Issues and Implications: IGI Global, 2009.
Neto, A., and C. Duarte, "Comparing gestures and traditional interaction modalities on large displays", Human-Computer Interaction–INTERACT 2009: Springer, pp. 58–61, 2009.
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.
Khosravani, H. R., M. Del Mar Castilla, M. Berenguel, A. E. Ruano, and P. M. Ferreira, "A Comparison of Energy Consumption Prediction Models Based on Neural Networks of a Bioclimatic Building", Energies, vol. 9, pp. 57, 2016.
Khosravani, H., A. Ruano, and P. Ferreira, "A Comparison of Four Data Selection Methods for Artificial Neural Networks and Support Vector Machines", IFAC-PapersOnLine, vol. 50, no. 1: Elsevier, pp. 11227–11232, 2017.
Falcao, A. O., and J. Guilherme Borges, "Comparison of Heuristics for Spatially Constrained Natural Resource Management Problems", Systems Analysis in Forest Resources: Springer Netherlands, pp. 269–277, 2003.
Li, B., Y. Lu, A. Godil, T. Schreck, B. Bustos, A. Ferreira, T. Furuya, M. J. Fonseca, H. Johan, T. Matsuda, et al., "A comparison of methods for sketch-based 3D shape retrieval", Computer Vision and Image Understanding, vol. 119: Academic Press, pp. 57–80, 2014.
Gonçalves, T., A. Paula Afonso, M. Beatriz Carmo, and P. Pombinho, "Comparison of off-screen visualization techniques with representation of relevance on mobile devices", Proceedings of the 27th International BCS Human Computer Interaction Conference: British Computer Society, pp. 9, 2013.
Cogumbreiro, T., F. Martins, and V. T. Vasconcelos, "Compiling the< i> $π$-calculus into a Multithreaded Typed Assembly Language", Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 57–84, 2009.
Cogumbreiro, T., F. Martins, and V. T. Vasconcelos, "Compiling the $π$-calculus into a Multithreaded Typed Assembly Language", Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 57–84, 2009.
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.
Neves, N. Ferreira, and , "Complete specification of APIs and protocols for the MAFTIA middleware", TECHNICAL REPORT SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE COMPUTING SCIENCE: University of Newcastle Upon Tyne., 2003.
Armstrong, J.., C.. Cachin, M. Correia, A.. Costa, H. Miranda, N. Ferreira Neves, N. M. Neves, J.. A. Poritz, B.. Randell, L.. C. Lung, et al., "Complete Specification of APIs and Protocols for the {MAFTIA} Middleware", DI/FCUL TR, no. 02-11, 2002.
Correia, N., and N. Guimarães, "Components for video processing applications", Multimedia'96: Springer Vienna, pp. 44–52, 1996.
Usié, A., F. Simões, P. Barbosa, B. Meireles, I. Chaves, S. Gonçalves, A. Folgado, M. H. Almeida, J. Matos, and A. M. Ramos, "Comprehensive analysis of the cork oak (Quercus suber) transcriptome involved in the regulation of bud sprouting", Forests, vol. 8, no. 12: Multidisciplinary Digital Publishing Institute, pp. 486, 2017.
Rufino, J., Computational system for real-time distributed control, : PhD thesis, Universidade Técnica de Lisboa Instito Superior Técnico, 2002.
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.
Freitas, S., A. Paula Afonso, and M. J. Silva, "Concepção e Desenvolvimento de Interfaces para o Motor de Busca Geográfico GeoTumba!", Encontro Nacional de Visualização Cient{ífica (ENVC 05), 2005.
Domingos, D., J. Varajao, and R. Martinho, On a Concept Map for the Modelling of Controlled Flexibility in Software Processes, , 2009.
Martinho, R., D. Domingos, and J. Varajao, "Concept maps for the modelling of controlled flexibility in software processes", IEICE TRANSACTIONS on Information and Systems, vol. 93, no. 8: The Institute of Electronics, Information and Communication Engineers, pp. 2190–2197, 2010.
Chambel, T., C. Moreno, P. Antunes, and , Concepts and architecture for loosely coupled integration of hyperbases, : University of Bologna, 1994.
Verissimo, P., N. Ferreira Neves, M. Correia, and I-T. Architectures, "Concepts and Design''", Architecting Dependable Systems TR-03-5, April, 2003.
Duarte, C., and L. Carriço, "A conceptual framework for developing adaptive multimodal applications", Proceedings of the 11th international conference on Intelligent user interfaces: ACM, pp. 132–139, 2006.
Antunes, P., and P. André, "A conceptual framework for the design of geo-collaborative systems", Group Decision and Negotiation, vol. 15, no. 3: Springer, pp. 273–295, 2006.
Adelsbach, A., C. Cachin, S. Creese, Y. Deswarte, K. Kursawe, J-C. Laprie, D. Powell, B. Randell, J. Riodan, P. Ryan, et al., Conceptual model and architecture of MAFTIA, : Department of Informatics, University of Lisbon, 2003.
Hammouda, I., M. Jokinen, A. L. Santos, and K. Koskimies, "Concern-based learning of complex software platforms", Advanced Learning Technologies, 2007. ICALT 2007. Seventh IEEE International Conference on: IEEE, pp. 335–337, 2007.
Cieszewski, C. J., P. Bettinger, and A. O. Falcao, "The Conclusion of Perspectives on New Developments of Decision Support Systems for Sustainable Forest Management", Mathematical and Computational Forestry & Natural-Resource Sciences (MCFNS), vol. 3, no. 2, pp. Pages–73, 2011.
Carvalho, N., J. Pereira, and L. Rodrigues, Concretizaçao de protocolos com fiabilidade semântica, : Department of Informatics, University of Lisbon, 2002.
Sousa, P., P. Martins, A. Casimiro, and P. Verissimo, Concretização de um cenário de carros cooperantes num ambiente móvel sem fios, : Department of Informatics, University of Lisbon, 2003.
Cardoso, S., and L. Rodrigues, Concretização de um protocolo de difusão atómica em sistemas com ligações intermitentes, : EPCM'99-Encontro Português de Computação Móvel, 1999.
Jorge, T., J. Pascoal, M. Correia, N. Ferreira Neves, and P. Verissimo, "Concretização de um Sistema de Comunicação em Grupo Tolerante a Intrusões", Actas da, vol. 27, pp. 111–122, 2004.
Caires, L., and V. T. Vasconcelos, CONCUR 2007-Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings, , vol. 4703: Springer Science & Business Media, 2007.
Franco, J., and V. T. Vasconcelos, "A concurrent programming language with refined session types", Software Engineering and Formal Methods: Springer International Publishing, pp. 15–28, 2014.
L Lourenço, M., J. Costa Seco, and F. Martins, "Concurrent typed intermediate language", Proceedings of the 28th Annual ACM Symposium on Applied Computing: ACM, pp. 1587–1588, 2013.
Verissimo, P., and R. de Lemos, "Confiança no funcionamento: Proposta para uma terminologia em português", Publicação conjunta INESC e LCMI/UFSC, 1989.
Teixeira, S., P. Vicente, A. Pinto, H. Miranda, L. Rodrigues, J. Martins, and R. Silva, Configuração do Suporte de Comunicação em Ambientes Multi-Utilizador Orientados aos Objectos, : Department of Informatics, University of Lisbon, 2002.
Teixeira, S., P. Vicente, A. Pinto, H. Miranda, L. Rodrigues, J. Martins, and A. Rita-Silva, "Configuring the communication middleware to support Multi-user Object-Oriented environments", On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE: Springer, pp. 965–980, 2002.
Abreu, J., A. Caldeira, A. Lopes, I. Nunes, L. S. Reis, and V. T. Vasconcelos, Congu, Checking Java Classes Against Property-Driven Algebraic Specifications, : Department of Informatics, University of Lisbon, 2007.
Abreu, J., L. S. Reis, and V. T. Vasconcelos, ConGu v. 1.50 Implementation Guide, , 2007.
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.
Guerraoui, R., and L. Rodrigues, "Consensus", Introduction to Reliable Distributed Programming: Springer Berlin Heidelberg, pp. 189–232, 2006.
Guerraoui, R., and L. Rodrigues, "Consensus Variants", Introduction to Reliable Distributed Programming: Springer Berlin Heidelberg, pp. 233–286, 2006.
Bessani, A. Neves, M. Correia, and N. Neves, Consistency Anchor Formalization and Correctness Proofs, : Technical Report DI-FCUL-2014-02, ULisboa, 2014.
Fiadeiro, J. Luiz, and A. Lopes, "Consistency of service composition", Fundamental Approaches to Software Engineering: Springer Berlin Heidelberg, pp. 63–77, 2012.
Mantas, A., and F. Ramos, "Consistent and fault-tolerant SDN with unmodified switches", arXiv preprint arXiv:1602.04211, 2016.
Schnitzer, S., H. Miranda, and B. Koldehofe, "Content routing algorithms to support Publish/Subscribe in Mobile Ad Hoc Networks.", LCN Workshops, pp. 1053–1060, 2012.
Chambel, T., T. Langlois, P. Martins, N. Gil, N. Silva, and E. Duarte, "Content-based search overviews and exploratory browsing of movies with MovieClouds", International Journal of Advanced Media and Communication, vol. 5, no. 1: Inderscience Publishers, pp. 58–79, 2013.
Mocito, J., L. Rosa, N. Almeida, H. Miranda, L. Rodrigues, and A. Lopes, Context adaptation of the communication stack, : Taylor & Francis Group, 2006.
Mocito, J., L. Rosa, N. Almeida, H. Miranda, L. Rodrigues, and A. Lopes, "Context Adaptation of the Communication Stack", Proceedings of the 3rd International Workshop on Mobile Distributed Computing (MDC'05), in conjunction with ICDCS'2005, Columbus, Ohio, 2005.
Pombinho, P., M. Beatriz Carmo, and A. Paula Afonso, "Context aware point of interest adaptive recommendation", Proceedings of the 2nd Workshop on Context-awareness in Retrieval and Recommendation: ACM, pp. 30–33, 2012.
Chambel, T., and N. Guimarães, "Context perception in video-based hypermedia spaces", Proceedings of the thirteenth ACM conference on Hypertext and hypermedia: ACM, pp. 85–94, 2002.
Thiemann, P., and V. T. Vasconcelos, "Context-free session types", Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming: ACM, pp. 462–475, 2016.
Pombinho, P., A. Paula Afonso, and M. Beatriz Carmo, "Contextos e Visualização Adaptativa em Ambientes Móveis", Relatório té, 1º INForum-Simpósio de Informática, 2009.
Afonso, A. Paula, Contribuições Metodológicas para o Desenvolvimento de Assistentes de Informação Personalizada, : Department of Informatics, University of Lisbon, 2004.
Matos, J., and H. Miranda, "Contribution of broadcast algorithms to reactive ad hoc routing", Next Generation Mobile Applications, Services and Technologies (NGMAST), 2011 5th International Conference on: IEEE, pp. 105–110, 2011.
Coelho, J., and C. Duarte, "The contribution of multimodal adaptation techniques to the GUIDE interface", Universal Access in Human-Computer Interaction. Design for All and eInclusion: Springer, pp. 337–346, 2011.
Coutinho, M., J. Rufino, and C. Almeida, "Control of Event Handling Timeliness in RTEMS.", IASTED PDCS, pp. 277–282, 2005.
Rufino, J., P. Verissimo, G. Arroz, and C. Almeida, "Control of inaccessibility in CANELy", Proceedings of the 6th. International Workshop on Factory Communication Systems, pp. 35–44, 2006.
Rufino, J., G. Arroz, and P. Verissimo, Control of Inaccessibility in CANELy, , 2001.
Langlois, T., and S. Canu, "Control of time-delay systems using reinforcement learning", Artificial Neural Networks, vol. 2, no. 1, 1992.
Maurício, T., G. Homem, and H. Miranda, "Controlador de Redes em Código Aberto", INForum 2018 - Atas do Décimo Simpósio de Informática, Coimbra, Portugal, Departamento de Engenharia Informática - Universidade de Coimbra, 2018.
Costa, M. do Socorro, O. Shigueo Ohashi, J. Natalino M. Silva, M. Fátima da da Silva, and , Controle da broca do mogno através da preferencia de ovoposição de Hypsipyla grandella Zeller sobre Toona ciliafa MJ Roem. plantado em consórcio com Swiefenia macrophylla King, : Embrapa Amazônia Oriental, 2000.
Domingos, D., R. Martinho, and J. Varajao, "Controlled Flexibility in Healthcare Processes: A BPMN-Extension Approach", Encyclopedia of E-Health and Telemedicine: IGI Global, pp. 521–535, 2016.
Fonseca, A., and B. Cabral, "Controlling the granularity of automatic parallel programs", Journal of Computational Science, vol. 17: Elsevier, pp. 620–629, 2016.
Domingos, D., Controlo de Acesso em Fluxos de Trabalho Adaptáveis, : Department of Informatics, University of Lisbon, 2005.
Khosravani, H.R.., A.E.. Ruano, and P. M. Ferreira, "A convex hull-based data selection method for data driven models", Applied Soft Computing, vol. 47, pp. 515 - 533, 2016.
Duarte, C., and L. Carriço, "Conveying browsing context through audio on digital talking books", Universal Access in Human-Computer Interaction. Applications and Services: Springer, pp. 259–268, 2007.
Marques, E. R. B., F. Martins, and M. Simões, "Cooperari: A Tool for Cooperative Testing of Multithreaded Java Programs", PPPJ'14: 2014 International Conference on Principles and Practices of Programming on the Java Platform: ACM, 2014.
Marques, E. R. B., F. Martins, and M. Simões, "Cooperari A tool for cooperative testing of multithreaded Java programs", Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools: ACM, pp. 200–206, 2014.
Mourão, H., and P. Antunes, "Cooperative Information Systems (CoopIS) 2004 International Conference-Workflow/Process/Web Services, I-Exception Handling Through a Workflow", Lecture Notes in Computer Science, vol. 3290: Berlin: Springer-Verlag, 1973-, pp. 37–54, 2004.
Silva, MJ., Coordenação de Colheita de Órgãos e Tecidos, : Gabinete Coordenador de Colheita e Transplantação do Centro Hospitalar de Lisboa Central, EPE, 2010.
Bessani, A. Neves, and , Coordenaçao desacoplada tolerante a faltas bizantinas, : Florianópolis, SC, 2006.
Neves, N. Ferreira, and K. W Fuchs, "Coordinated checkpointing without direct coordination", Computer Performance and Dependability Symposium, 1998. IPDS'98. Proceedings. IEEE International: IEEE, pp. 23–31, 1998.
Cogumbreiro, T., F. Martins, and V. T. Vasconcelos, "Coordinating phased activities while maintaining progress", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 31–44, 2013.
Field, J., and V. T. Vasconcelos, "Coordination Models and Languages", Lecture Notes in Computer Science, vol. 5521, 2009.
Field, J., and V. T. Vasconcelos, Coordination Models and Languages: 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings, , vol. 5521: Springer Science & Business Media, 2009.
Caires, L., R. De Nicola, R. Pugliese, V. T. Vasconcelos, and G. Zavattaro, "Core calculi for service-oriented computing", Rigorous software engineering for service-oriented systems: Springer Berlin Heidelberg, pp. 153–188, 2011.
Biegel, G., G. Blair, C. Brudna, V. Cahill, A. Casimiro, S. Clarke, H. Duran-Limon, A. Fitzpatrick, A. Friday, B. Hughes, et al., The CORTEX Programming Model, : Department of Informatics, University of Lisbon, 2003.
Verissimo, P., V. Cahill, A. Casimiro, K. Cheverst, A. Friday, and J. Kaiser, Cortex: Towards supporting autonomous and cooperating sentient entities, , 2002.
Verissimo, P., V. Cahill, A. Casimiro, K. Cheverst, A. Friday, and J. Kaiser, CORTEX: Towards Supporting Autonomous and Cooperating Sentient Objects, : Department of Informatics, University of Lisbon, 2002.
Ellis, C., H. Miranda, and F. Ta\"ıani, "Count on me: lightweight ad-hoc broadcasting in heterogeneous topologies", Proceedings of the International Workshop on Middleware for Pervasive Mobile and Embedded Computing: ACM, pp. 1, 2009.
Guimarães, N., Coupled Interaction in Augmented Environments, , 2008.
Duarte, L., and L. Carriço, "Coupling interaction and physiological metrics for interaction adaptation", Human-Computer Interaction–INTERACT 2011: Springer Berlin Heidelberg, pp. 499–502, 2011.
Bulterman, D. C. A., "Creating peer-level video annotations for web-based multimedia", Proceedings of the Seventh Eurographics conference on Multimedia: Eurographics Association, pp. 49–57, 2004.
Chambel, T., L. Correia, J. Manzolli, G. Dias Miguel, N. A. C. Henriques, and N. Correia, "Creating video art with evolutionary algorithms", Computers & Graphics, vol. 31, no. 6: Elsevier, pp. 837–847, 2007.
Chambel, T., GD. Miguel, L. Correia, NAC. Henriques, N. Correia, and J. Manzolli, Creative video editing through evolutionary algorithms, : Third International Conference on Digital and Electronic Art, 2006.
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.
Carvalho, P., C. Freitas, and D. Santos, Critérios de ALT no Segundo HAREM, , 2009.