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 
T
Kreutz, D., A. Casimiro, and M. Pasin, "A trustworthy and resilient event broker for monitoring cloud infrastructures", Distributed Applications and Interoperable Systems: Springer Berlin Heidelberg, pp. 87–95, 2012.
Verissimo, P., "Trustworthiness of open information systems: how should it be achieved?", Reliable Distributed Systems, 2003. Proceedings. 22nd International Symposium on: IEEE, pp. 315–315, 2003.
Casimiro, A., P. Verissimo, D. Kreutz, F. Araujo, R. Barbosa, S. Neves, B. Sousa, M. Curado, C. Silva, R. Gandhi, et al., "TRONE: Trustworthy and resilient operations in a network environment", Dependable Systems and Networks Workshops (DSN-W), 2012 IEEE/IFIP 42nd International Conference on: IEEE, pp. 1–6, 2012.
Henriques, R., and S. C. Madeira, "Triclustering Algorithms for Three-Dimensional Data Analysis: A Comprehensive Survey", ACM Computing Surveys (CSUR), vol. 51, no. 5: ACM, pp. 95, 2018.
Verissimo, P., "Travelling through wormholes: a new look at distributed systems models", ACM SIGACT News, vol. 37, no. 1: ACM, pp. 66–81, 2006.
Reis, D., and H. Miranda, "Transparently increasing RMI fault tolerance", ACM SIGAPP Applied Computing Review, vol. 12, no. 2: ACM, pp. 18–26, 2012.
Rodrigues, L., K. Guo, A. Sargento, R. van Renesse, B. Glade, P. Verissimo, and K. Birman, "A transparent light-weight group service", Reliable Distributed Systems, 1996. Proceedings., 15th Symposium on: IEEE, pp. 130–139, 1996.
Vieira, F., P. Sousa, and A. Neves Bessani, "Transparent Byzantine Fault-Tolerant Directory Service using COTS components", Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009)-Fast Abstract, Estoril, Portugal, 2009.
Asif, M., H. F. Martiniano, C. Rasga, A. R. Marques, J. X. Santos, F. M. Couto, and AM. Vicente, "Translating the complex ASD genetic architecture into clinical phenotype using an integrative system biology approach", European Society of Human Genetics, 16-19 june, 2018: Instituto Nacional de Saúde Doutor Ricardo Jorge, IP, 2018.
Antunes, P., and N. Guimarães, "Transforming Formal and Informal Work Processes.", CRIWG, pp. 1–8, 1997.
Clarke, L. A., H. M. Botelho, L. Sousa, A. O. Falcao, and M. D. Amaral, "Transcriptome meta-analysis reveals common differential and global gene expression profiles in cystic fibrosis and other respiratory disorders and identifies CFTR regulators", GENOMICS, vol. 106, pp. 268-277, NOV, 2015.
Favarim, F., J. da Silva Fraga, E. Adilio Pel Alchieri, A. Neves Bessani, and C. L Lung, "Transações em Espaços de Tuplas com Segurança de Funcionamento", Anais do XXVI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribu{ídos (SBRC'2008), pp. 847–860, 2008.
Gonçalves, T., A. Paula Afonso, A. Ferreira, and A. Rita Vieira, "Trajectory data visualization on mobile devices with animated maps", Proceedings of the 37th Annual Conference of the European Association for Computer Graphics: Short Papers: Eurographics Association, pp. 9–12, 2016.
Moreira, S., D. S. Batista, P. Carvalho, F. Couto, and M. J. Silva, "Tracking politics with POWER", Program, vol. 47, no. 2: Emerald Group Publishing Limited, pp. 120–135, 2013.
Vaz, R., M. Carreira, A. Ferreira, and A. Paula Afonso, "Track analysis system with wind roses", Information Systems and Technologies (CISTI), 2017 12th Iberian Conference on: IEEE, pp. 1–5, 2017.
Pesquita, C., D. Faria, E. Santos, J-M. Neefs, and F. Couto, "Towards visualizing the alignment of large biomedical ontologies", Data Integration in the Life Sciences (DILS), 2014.
Rafael, I., L. Duarte, L. Carriço, and T. Guerreiro, "Towards ubiquitous awareness tools for blind people", Proceedings of the 27th International BCS Human Computer Interaction Conference: British Computer Society, pp. 38, 2013.
Lopes, R., K. Votis, L. Carriço, D. Tzovaras, and S. Likothanassis, "Towards the universal semantic assessment of accessibility", Proceedings of the 2009 ACM symposium on Applied Computing: ACM, pp. 147–151, 2009.
Martins, F., L. Lopes, and J. Barros, "Towards the safe programming of wireless sensor networks", arXiv preprint arXiv:1002.0937, 2010.
Craveiro, J., J. Rosa, and J. Rufino, "Towards self-adaptive scheduling in time-and space-partitioned systems", The 32nd IEEE Real-Time Systems Symposium WiP session, Vienna, Austria, 2011.
Kreutz, D., F. M. V. Ramos, and P. Verissimo, "Towards secure and dependable software-defined networks", Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking: ACM, pp. 55–60, 2013.
Kreutz, D., A. Neves Bessani, E. Feitosa, and H. Cunha, "Towards Secure and Dependable Authentication and Authorization Infrastructures", Dependable Computing (PRDC), 2014 IEEE 20th Pacific Rim International Symposium on: IEEE, pp. 43–52, 2014.
Souza, J. L. R., and J. Rufino, "Towards resilient real-time wireless communications", Work-in-Progress Session, pp. 29, 2013.
Reiser, H. P., and R. Kapitza, Towards Recoverable Hybrid Byzantine Consensus, , 2009.
Marques, E. R. B., M. Ribeiro, J. Pinto, J. B. Sousa, and F. Martins, "Towards Programmable Coordination of Unmanned Vehicle Networks", IFAC NGCUV'15 (to appear), 2015.
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.
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.
Bernardino, C., H. Alexandre Ferreira, and T. Chambel, "Towards Media for Wellbeing", Proceedings of the ACM International Conference on Interactive Experiences for TV and Online Video: ACM, pp. 171–177, 2016.
Montague, K., J. Guerreiro, H. Nicolau, T. Guerreiro, A. Rodrigues, and D. Gonçalves, "Towards Inviscid Text-Entry for Blind People through Non-Visual Word Prediction Interfaces", CHI Workshop on Inviscid Text-Entry and Beyond, 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.
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.
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.
Chambel, T., M. N. Chhaganlal, and L. A. R. Neng, "Towards immersive interactive video through 360 hypervideo", Proceedings of the 8th International Conference on Advances in Computer Entertainment Technology: ACM, pp. 78, 2011.
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.
Domaschka, J., H. P. Reiser, and F. J. Hauck, "Towards generic and middleware-independent support for replicated, distributed objects", Proceedings of the 1st workshop on Middleware-application interaction: in conjunction with Euro-Sys 2007: ACM, pp. 43–48, 2007.
Oliveira, E., M. Benovoy, N. Ribeiro, and T. Chambel, "Towards emotional interaction: using movies to automatically learn users' emotional states", Human-Computer Interaction–INTERACT 2011: Springer Berlin Heidelberg, pp. 152–161, 2011.
Jesus, G. Joao Vitor, A. Casimiro, and A. Oliveira, "Towards Dependable Measurements in Coastal Sensors Networks", Dependable Computing: Springer Berlin Heidelberg, pp. 190–193, 2013.
Marques, L., and A. Casimiro, "Towards dependable and stable perception in smart environments with timing and value faults", Computer Safety, Reliability, and Security: Springer Berlin Heidelberg, pp. 151–161, 2012.
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.
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.
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.
Craveiro, J., and J. Rufino, Towards Compositional Hierarchical Scheduling Frameworks on Uniform Multiprocessors, , 2012.
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., 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.
Serralheiro, A. Joaquim, I. Trancoso, D. Caseiro, T. Chambel, L. Carriço, and N. Guimarães, "Towards a repository of digital talking books.", INTERSPEECH, 2003.
Pereira, T., A. Mendon, F. Ferreira, S. Madeira, M. Guerreiro, and , "Towards a reliable prediction of conversion from Mild Cognitive Impairment to Alzheimer’s Disease: stepwise learning using time windows", Medical Informatics and Healthcare, pp. 19–26, 2017.
Azevedo, C., C. Chesta, J. Coelho, D. Dimola, C. Duarte, M. Manca, J. Nordvik, F. Paterno, A-M. Sanders, and C. Santoro, "Towards a Platform for Persuading Older Adults to Adopt Healthy Behaviors", Proceedings of the Second International Workshop on Personalization in Persuasive Technology co-located with the 12th International Conference on Persuasive Technology, 2017.
Lima, D., H. Miranda, and F. Taïani, "Towards a new model for cyber foraging", The 13th Workshop on Adaptive and Reflective Middleware (ARM 2014), in conjunction with ACM/IFIP/USENIX ACM International Middleware Conference 2014, Bordeaux, France, 2014.
Carvalho, N., J. Pereira, and L. Rodrigues, "Towards a generic group communication service", On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE: Springer Berlin Heidelberg, pp. 1485–1502, 2006.
Pereira, J., N. Carvalho, and L. Rodrigues, Towards a generic group communication service, : Springer, 2006.
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.
Sousa, P., and P. Verissimo, "Towards a cooperating autonomous car", Proceedings of the 7th CaberNet Radicals Workshop, 2002.
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.
Ilahi, L., R. Martinho, S. Ayachi Ghannouchi, D. Domingos, and R. Rijo, "Towards a Business Process Management Governance approach using process model templates and flexibility", Services (SERVICES), 2016 IEEE World Congress on: IEEE, pp. 27–34, 2016.
Machado, C. M., F. Couto, A. R. Fernandes, S. Santos, and A. T. Freitas, "Toward a translational medicine approach for hypertrophic cardiomyopathy", Information Technology in Bio-and Medical Informatics: Springer Berlin Heidelberg, pp. 151–165, 2012.
Rodrigues, L., H. Fonseca, and P. Verissimo, "Totally ordered multicast in large-scale systems", Distributed Computing Systems, 1996., Proceedings of the 16th International Conference on: IEEE, pp. 503–510, 1996.
Batista, D. S., J. Ferreira, F. Couto, and M. J. Silva, "Toponym disambiguation using ontology-based semantic similarity", Computational Processing of the Portuguese Language: Springer Berlin Heidelberg, pp. 179–185, 2012.
Rodrigues, L., and P. Verissimo, "Topology-aware algorithms for large-scale communication", Advances in Distributed Systems: Springer Berlin Heidelberg, pp. 127–156, 2000.
Mocito, J., O. Denysyuk, L. Rodrigues, and H. Miranda, "Topology Stability-Aware Multicast Protocol for MANETs", Local Computer Networks (LCN), 2011 IEEE 36th Conference on: IEEE, pp. 287–290, 2011.
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.
Rodrigues, L., A. Mostéfaoui, C. Fetzer, and P. Tsigas, "Topic 8 Distributed Systems and Algorithms", Euro-Par 2007 Parallel Processing: Springer Berlin Heidelberg, pp. 549–549, 2007.
Shapiro, M., I. Keidar, F. Freiling, and L. Rodrigues, "Topic 8 distributed systems and algorithms", Proceedings of the 11th international Euro-Par conference on Parallel Processing: Springer-Verlag, pp. 593–593, 2005.
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.
Puttress, JJ., and N. Guimarães, "The toolkit approach to hypermedia", Hypertext: concepts, systems and applications: Cambridge University Press, pp. 25–37, 1992.
Caldeira, R., J. Souza, R. Pinto, and J. Rufino, "A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection", Proceedings of the 7th Simposio de Informatica (INFORUM), Covilha, Portugal, 2015.
Oliveira, I., and N. Guimarães, "A tool for mental workload evaluation and adaptation", Proceedings of the 4th Augmented Human International Conference: ACM, pp. 138–141, 2013.
Sardinha, L., N. Ferreira Neves, and P. Verissimo, "Tolerating Intrusions in Grid Systems.", Security and Management, pp. 207–220, 2004.
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.
Neves, N. Ferreira, Tolerância a Intrusões em Sistemas Informáticos, : Department of Informatics, University of Lisbon, 2005.
Guerreiro, J., D. Gonçalves, D. H. Marques, T. Guerreiro, H. Nicolau, and K. Montague, "The Today and Tomorrow of Braille Learning", ASSETS 2013 - The 15th ACM SIGACCESS International Conference on Computers and Accessibility, 2013.
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.
Pesquita, C., D. Faria, E. Santos, and F. Couto, "To repair or not to repair: reconciling correctness and coherence in ontology reference alignments.", OM, pp. 13–24, 2013.
Montague, K., A. Rodrigues, H. Nicolau, and T. Guerreiro, "TinyBlackBox: Supporting Mobile In-The-Wild Studies", Proceedings of the 17th International ACM SIGACCESS Conference on Computers &\#38; Accessibility, New York, NY, USA, ACM, 2015.
Casimiro, A., and P. Verissimo, Timing failure detection with a timely computing base, : Department of Informatics, University of Lisbon, 1999.
Almeida, C., and P. Verissimo, "Timing failure detection and real-time group communication in quasi-synchronous systems", Real-Time Systems, 1996., Proceedings of the Eighth Euromicro Workshop on: IEEE, pp. 230–235, 1996.
Dixit, M., H. Moniz, and A. Casimiro, "Timeout-based adaptive consensus: improving performance through adaptation", Proceedings of the 27th Annual ACM Symposium on Applied Computing: ACM, pp. 492–497, 2012.
Dixit, M., H. Moniz, and A. Casimiro, Timeout adaptive consensus: Improving performance through adaptation, , 2010.
Verissimo, P., A. Casimiro, and C. Fetzer, "The timely computing base: Timely actions in the presence of uncertain timeliness", Dependable Systems and Networks, 2000. DSN 2000. Proceedings International Conference on: IEEE, pp. 533–542, 2000.
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.
Verissimo, P., and A. Casimiro, The timely computing base. DI, : FCUL TR 99–2, Department of Computer Science, University of Lisboa, Apr. 1999. Short version appeared in the Digest of Fast Abstracts, The 29th IEEE Intl. Symposium on Fault-Tolerant Computing, Madison, USA, 1999.
Martins, P., and P. Verissimo, The Timely Computing Base and its Future Trends, , 2002.
Casimiro, A., Timely Actions in the Presence of Uncertain Timeliness, : Department of Informatics, University of Lisbon, 2003.
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.
Rufino, J., and I. Gouveia, "Timeliness runtime verification and adaptation in avionic systems", OSPERT 2016, pp. 37, 2016.
Delahaye, B\^ıt., J. Luiz Fiadeiro, A. Legay, and A. Lopes, "A timed component algebra for services", Formal Techniques for Distributed Systems: Springer Berlin Heidelberg, pp. 242–257, 2013.
Neves, N. Ferreira, Time-based coordinated checkpointing, : University of Illinois at Urbana-Champaign, 1998.
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.
Jorge, A., N. Gil, and T. Chambel, "Time for a New Look at the Movies through Visualization", Proceedings of Artech, pp. 269–278, 2012.
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.
Fernandes, N., A. Sofia Batista, D. Costa, C. Duarte, and L. Carriço, "Three web accessibility evaluation perspectives for RIA", Proceedings of the 10th International cross-disciplinary conference on web accessibility: ACM, pp. 12, 2013.
Marques, G., M. Aurélio Domingues, T. Langlois, and F. Gouyon, "Three Current Issues In Music Autotagging.", ISMIR, pp. 795–800, 2011.
Verissimo, P., "Thou shalt not trust non-trustworthy systems", Distributed Computing Systems Workshops, 2006. ICDCS Workshops 2006. 26th IEEE International Conference on: IEEE, pp. xxxviii–xxxviii, 2006.
Guerreiro, T., J. Bigham, L. Carriço, D. Gonçalves, Y. Yesilada, and S. Abou-Zahra, "Third mobile accessibility workshop", CHI'13 Extended Abstracts on Human Factors in Computing Systems: ACM, pp. 3287–3290, 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.
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.
Teixeira, A. L., R. C. Santos, and F. Couto, "ThermInfo: Collecting and Presenting Thermochemical Properties", methods, vol. 1, pp. 3, 2009.
Carriço, L., M. de Sá, L. Duarte, and T. Antunes, "Therapy: location-aware assessment and tasks", Proceedings of the 3rd Augmented Human International Conference: ACM, pp. 2, 2012.
Gay, S., V. T. Vasconcelos, P. Wadler, and N. Yoshida, "Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)", Dagstuhl Reports, vol. 7, no. 1: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017.
Maria, N., and M. J. Silva, "Theme-based retrieval of Web news", The World Wide Web and Databases: Springer Berlin Heidelberg, pp. 26–37, 2001.
De Nicola, R., L. Bocchi, R. Bruni, L. Caires, R. Heckel, I. Lanese, A. Lapadula, M. Loreti, L. Semini, C. Montangero, et al., Th0. 1. a: SENSORIA languages and calculi for modelling services, : Technical report, SENSORIA, 2007.

Pages