Export 58 results:
Filters: First Letter Of Title is H  [Clear All Filters]
Vasconcelos, V. T., A. Lopes, and F. Martins, "HeadREST: A Specification Language for RESTful APIs", TYPES 2018, pp. 80, 2018.
Melfe, G., A. Fonseca, and J. Paulo Fernandes, "Helping developers write energy efficient Haskell through a data-structure evaluation", 2018 IEEE/ACM 6th International Workshop on Green And Sustainable Software (GREENS): IEEE, pp. 9–15, 2018.
Melo, W., L. F. R. C. Carmo, A. Bessani, N. Neves, and A. Santin, "How blockchains can improve measuring instruments regulation and control", 2018 IEEE International Instrumentation and Measurement Technology Conference (I2MTC): IEEE, pp. 1–6, 2018.
Trindade, D., A. Rodrigues, T. Guerreiro, and H. Nicolau, "Hybrid-Brailler: Combining Physical and Gestural Interaction for Mobile Braille Input and Editing", Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems: ACM, pp. 27, 2018.
Fiadeiro, J. L., and A. Lopes, "Heterogeneous and asynchronous networks of timed systems", Theoretical Computer Science, vol. 663: Elsevier, pp. 1–33, 2017.
Marques-Silva, J., A. Ignatiev, and A. Morgado, "Horn Maximum Satisfiability: Reductions, Algorithms & Applications", arXiv preprint arXiv:1705.05335, 2017.
Jr, W. S. Melo, A. Bessani, and L. F. R. C. Carmo, How Blockchains can help Legal Metrology, , 2017.
Cogo, V. V., A. Bessani, F. M. Couto, M. Gama-Carvalho, M. Fernandes, and P. Esteves-Verissimo, "How Can Photo Sharing Inspire Sharing Genomes?", 11th International Conference on Practical Applications of Computational Biology & Bioinformatics, vol. 616: Springer, pp. 74, 2017.
Cogo, V. V., A. Bessani, F. M. Couto, M. Gama-Carvalho, M. Fernandes, and P. Esteves-Verissimo, "How can photo sharing inspire sharing genomes?", International Conference on Practical Applications of Computational Biology & Bioinformatics: Springer, pp. 74–82, 2017.
Medeiros, I., M. Beatriz, N. Neves, and M. Correia, "Hacking the DBMS to Prevent Injection Attacks", Proceedings of the Sixth ACM Conference on Data and Application Security and Privacy: ACM, pp. 295–306, 2016.
Rodolfo, I., N. Correia, M. Sousa, P. Sá, and C. Duarte, "How Far in the Future will We Start From?: Interacting with the Stakeholders of a Nation-wide Patient Portal", Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems: ACM, pp. 899–909, 2016.
Cogo, V., A. Bessani, F. Couto, and P. Verissimo, "A High-Throughput Method to Detect Privacy-Sensitive Human Genomic Data", Workshop on Privacy in the Electronic Society (WPES), 2015.
Nicolau, H., K. Montague, T. Guerreiro, A. Rodrigues, and V. L. Hanson, "HoliBraille: Multipoint Vibrotactile Feedback on Mobile Devices", Proceedings of the 12th Web for All Conference, New York, NY, USA, ACM, 2015.
Fiadeiro, J. Luis, and A. Lopes, "Heterogeneous and Asynchronous Networks of Timed Systems", Fundamental Approaches to Software Engineering: Springer Berlin Heidelberg, pp. 79–93, 2014.
Delahaye, B., J. Luiz Fiadeiro, A. Legay, and A. Lopes, "Heterogeneous timed machines", Theoretical Aspects of Computing–ICTAC 2014: Springer International Publishing, pp. 115–132, 2014.
Cruz, N., and H. Miranda, "A Hybrid Trust and Trade Service for Mobile Collaborative Computing", Next Generation Mobile Apps, Services and Technologies (NGMAST), 2013 Seventh International Conference on: IEEE, pp. 1–6, 2013.
Craveiro, J., and J. Rufino, "Heterogeneous multiprocessor compositional real-time scheduling", RTSOPS 2012, pp. 21, 2012.
Craveiro, J., R. Ormonde Silveira, and J. Rufino, "hsSim: an extensible interoperable object-oriented n-level hierarchical scheduling simulator", 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2012), Pisa, Italy, 2012.
Simões, D., P. Antunes, and J. A. Pino, "Humanistic approach to the representation of business processes", Computer Supported Cooperative Work in Design (CSCWD), 2012 IEEE 16th International Conference on: IEEE, pp. 655–665, 2012.
Costa, P., Hadoop MapReduce tolerante a faltas bizantinas, , 2011.
Gonçalves, T., A. Paula Afonso, M. Beatriz Carmo, and P. Pombinho, "HaloDot: Visualization of the Relevance of Off-Screen Objects", V Simpósio Ibero-Americano de Computação Gráfica, pp. pp–117, 2011.
Pinto, R., J. Rufino, and C. Almeida, "High availability in controller area networks", EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE: IEEE, pp. 1–4, 2011.
Sousa, P., A. Neves Bessani, M. Correia, N. Ferreira Neves, and P. Verissimo, "Highly available intrusion-tolerant services with proactive-reactive recovery", Parallel and Distributed Systems, IEEE Transactions on, vol. 21, no. 4: IEEE, pp. 452–465, 2010.
Tiellet, C. A. B., A. Grahl Pereira, E. Berni Reategui, J. Valdeni Lima, and T. Chambel, "HVet: a hypervideo environment to support veterinary surgery learning", Proceedings of the 21st ACM conference on Hypertext and hypermedia: ACM, pp. 313–314, 2010.
Couto, F., T. Grego, C. Pesquita, and P. Verissimo, Handling self-citations using Google Scholar, : International Journal of Scientometrics, Informetrics and Bibliometrics, 2009.
Veronese, G. Santos, M. Correia, A. Neves Bessani, and C. L Lung, "Highly-resilient services for critical infrastructures", Proceedings of the Embedded Systems and Communications Security Workshop, 2009.
Guimarães, N., and L. Carriço, "Hypermedia genes: an evolutionary perspective on concepts, models, and architectures", Synthesis Lectures on Information Concepts, Retrieval, and Services, vol. 4, no. 1: Morgan & Claypool Publishers, pp. 1–86, 2009.
Carriço, L., M. de Sá, and P. Antunes, "Handheld Tools for Personalized and Proactive Psychotherapy", Enterprise Information Systems: Springer Berlin Heidelberg, pp. 452–464, 2008.
Cardoso, N., M. J. Silva, and D. Santos, "Handling implicit geographic evidence for geographic ir", Proceedings of the 17th ACM conference on Information and knowledge management: ACM, pp. 1383–1384, 2008.
Casimiro, A., and P. Verissimo, HIDENETS–Highly Dependable IP-based Networks and Services, , 2008.
Saraiva, A. João, M. José Damásio, and T. Chambel, Hiperv{ídeo na Preservação e Partilha de Memória Cultural e Etnográfica, : Interacção'2008, 3ª Conferência Nacional em Interfaces Pessoa-Máquina, 2008.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Hidden problems of asynchronous proactive recovery", Proceedings of the Workshop on Hot Topics in System Dependability, 2007.
Leitao, J., J. Pereira, and L. Rodrigues, "HyParView: A membership protocol for reliable gossip-based broadcast", Dependable Systems and Networks, 2007. DSN'07. 37th Annual IEEE/IFIP International Conference on: IEEE, pp. 419–429, 2007.
Reiser, H. P., and R. Kapitza, "Hypervisor-based efficient proactive recovery", Reliable Distributed Systems, 2007. SRDS 2007. 26th IEEE International Symposium on: IEEE, pp. 83–92, 2007.
de Sá, M., and L. Carriço, "Handheld devices for cooperative educational activities", Proceedings of the 2006 ACM symposium on Applied computing: ACM, pp. 1145–1149, 2006.
Martins, B., M. J. Silva, S. Freitas, and A. Paula Afonso, "Handling Locations in Search Engine Queries.", GIR, vol. 6, pp. 1–6, 2006.
Wichert, A., and M. J. Silva, Hierarchical linear subspace indexing method, : Department of Informatics, University of Lisbon, 2006.
Obelheiro, R. R., A. Neves Bessani, C. L Lung, and M. Correia, How practical are intrusion-tolerant distributed systems?, : Department of Informatics, University of Lisbon, 2006.
Chambel, T., C. Zahn, and M. Finke, "Hypervideo and cognition: Designing video-based hypermedia for individual learning and collaborative knowledge building", Cognitively Informed Systems: Utilizing Practical Approaches to Enrich Information Presentation and Transfert, pp. 26–49, 2006.
Carriço, L., and M. de Sá, "Hand-held psychotherapy artifacts", Proceedings of the 11th Human Computer Interaction International Conference, HCII05, Las Vegas, USA, 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, How dependable are distributed f fault/intrusion-tolerant systems?, : Department of Informatics, University of Lisbon, 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, How dependable are distributed f fault/tolerant systems?, , 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "How resilient are distributed f fault/intrusion-tolerant systems?", Dependable Systems and Networks, 2005. DSN 2005. Proceedings. International Conference on: IEEE, pp. 98–107, 2005.
Correia, M., N. Ferreira Neves, and P. Verissimo, "How to tolerate half less one Byzantine nodes in practical distributed systems", Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004.: IEEE, pp. 174–183, 2004.
Bidarra, J., N. Guimarães, and P. Kommers, Hypermedia complexity: Fractal hyperscapes and mind mapping, : IOS Press, Amesterdão, 2004.
Chambel, T., C. Zahn, and M. Finke, "Hypervideo design and support for contextualized learning", Advanced Learning Technologies, 2004. Proceedings. IEEE International Conference on: IEEE, pp. 345–349, 2004.
Antunes, P., and C. J. Costa, "Handheld CSCW in the meeting environment", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 47–60, 2002.
Borges, J. G., H. M. Hoganson, and A. O. Falcao, "Heuristics in multi-objective forest management", Multi-objective forest planning: Springer Netherlands, pp. 119–151, 2002.
Bidarra, J., N. Guimarães, and P. Antonius M. Kommers, Handling Hypermedia Complexity: Fractal Hyperscapes and Mind Mapping, : Centre for Telematics and Information Technology, University of Twente, 2001.
Chambel, T., N. Correia, and N. Guimarães, "Hypervideo on the web: Models and techniques for video integration", International Journal of Computers & Applications, vol. 23, no. 2: Acta Press, pp. 90–98, 2001.
Bidarra, J., N. Guimarães, and P. Kommers, Handling hypermedia complexity: Fractal hyperscapes and mind mapping, , 2000.
Casimiro, A., P. Martins, and P. Verissimo, "How to build a timely computing base using real-time linux", Factory Communication Systems, 2000. Proceedings. 2000 IEEE International Workshop on: IEEE, pp. 127–134, 2000.
Rufino, J., N. Pedrosa, J. Monteiro, P. Verissimo, and G. Arroz, "Hardware support for CAN fault-tolerant communication", Electronics, Circuits and Systems, 1998 IEEE International Conference on, vol. 1: IEEE, pp. 263–266, 1998.
Rufino, J., and P. Verissimo, "Hard real-time operation of CAN", TechnicalReport CSTC RT-97-02, Centro de Sistemas Telematicos e Computacionais do Instituto Superior Tecnico, Lisboa, Portugal, 1997.
Verissimo, P., J. Rufino, and L. Ming, "How hard is hard real-time communication on field-buses?", Fault-Tolerant Computing, 1997. FTCS-27. Digest of Papers., Twenty-Seventh Annual International Symposium on: IEEE, pp. 112–121, 1997.
Rodrigues, L., and P. Verissimo, "How to avoid the cost of causal communication in large-scale systems", Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs: ACM, pp. 106–111, 1994.