Publications

Export 2272 results:
Conference Paper
Rodrigues, L., H. Fonseca, and P. Verissimo, "Reliable computing over mobile networks", Distributed Computing Systems, 1995., Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, Cheju Island, Korea, August 1995: IEEE, pp. 488–494, 1995.
Alarcão, S. Meneses, "Reminiscence Therapy Improvement using Emotional Information", 2017 Seventh International Conference on Affective Computing and Intelligent Interaction (ACII), San Antonio, Texas, USA, 2017.
Neves, N. Ferreira, and K. W Fuchs, "RENEW: A tool for fast and efficient implementation of checkpoint protocols", Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on: IEEE, pp. 58–67, 1998.
Araujo, F., R. Barbosa, and A. Casimiro, "Replication for dependability on virtualized cloud environments", Proceedings of the 10th International Workshop on Middleware for Grids, Clouds and e-Science: ACM, pp. 2, 2012.
Rodrigues, L., E. Siegel, and P. Verissimo, "A replication-transparent remote invocation protocol", Reliable Distributed Systems, 1994. Proceedings., 13th Symposium on: IEEE, pp. 160–169, 1994.
Vogels, W., P. Verissimo, and L. Rodrigues, "Requirements for high performance group support in distributed systems", Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring: ACM, pp. 1–5, 1992.
Sousa, P., N. Ferreira Neves, A. Lopes, and P. Verissimo, "On the resilience of intrusion-tolerant distributed systems", DI/FCUL TR 06–14, DEP. OF INFORMATICS, UNIV. OF LISBON, SEPTEMBER 2006.–PRELIMINARY ARCHITECTURE SPECIFICATION PAGE 100, 2006.
Sousa, P., A. Neves Bessani, M. Correia, N. Ferreira Neves, and P. Verissimo, "Resilient intrusion tolerance through proactive and reactive recovery", Dependable Computing, 2007. PRDC 2007. 13th Pacific Rim International Symposium on: IEEE, pp. 373–380, 2007.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Resilient state machine replication", Dependable Computing, 2005. Proceedings. 11th Pacific Rim International Symposium on: IEEE, pp. 5–pp, 2005.
Verissimo, P., KT. Timenetsky, T. Figueiredo, ASY. Yang, TJ. Andre, MK. Nagano, C. Alexandre, C. Garcia, RA. Caserta, and E. Silva, "Respiratory Muscle Weakness In Acute Heart Failure Patients", AMERICAN JOURNAL OF RESPIRATORY AND CRITICAL CARE MEDICINE, vol. 183: AMER THORACIC SOC 61 BROADWAY, FL 4, NEW YORK, NY 10006 USA, 2011.
Coutinho, M., J. Rufino, and C. Almeida, "Response time analysis of asynchronous periodic and sporadic tasks sheduled by a fixed priority preemptive algorithm", Real-Time Systems, 2008. ECRTS'08. Euromicro Conference on: IEEE, pp. 156–167, 2008.
Ventura, J., J. Rodrigues, and L. Rodrigues, "Response time analysis of composable micro-protocols", Object-Oriented Real-Time Distributed Computing, 2001. ISORC-2001. Proceedings. Fourth IEEE International Symposium on: IEEE, pp. 335–342, 2001.
Achichi, M., M. Cheatham, Z. Dragisic, J. Euzenat, D. Faria, A. Ferrara, G. Flouris, I. Fundulaki, I. Harrow, V. Ivanova, et al., "Results of the ontology alignment evaluation initiative 2016", CEUR workshop proceedings, vol. 1766: RWTH, pp. 73–129, 2016.
Dragisic, Z., K. Eckert, J. Euzenat, D. Faria, A. Ferrara, R. Granada, V. Ivanova, E. Jiménez-Ruiz, A. Kempf, P. Lambrix, et al., "Results of theOntology Alignment Evaluation Initiative 2014", International Workshop on Ontology Matching, pp. 61–104, 2014.
Antunes, J., N. Ferreira Neves, and P. Verissimo, "Reverse engineering of protocols from network traces", Reverse Engineering (WCRE), 2011 18th Working Conference on: IEEE, pp. 169–178, 2011.
Domaschka, J., A. I. Schmied, H. P. Reiser, and F. J. Hauck, "Revisiting deterministic multithreading strategies", Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International: IEEE, pp. 1–8, 2007.
Lopes, R., H. Simoes, C. Duarte, and L. Carriço, "Rich Digital Books for the Web.", WEBIST (2), pp. 248–253, 2007.
Pereira, J., M. Alba, A. Cardoso, R. Correia, M. J. Silva, J. Paiva, C. Sousa-Dias, L. Aguiar, S. Barbosa, J. Gomes, et al., "Risk factors for ICU-acquired pneumonia caused by methicillin-resistant Staphylococcus aureus", INTENSIVE CARE MEDICINE, vol. 29: SPRINGER-VERLAG 175 FIFTH AVE, NEW YORK, NY 10010 USA, pp. S192–S192, 2003.
Rodrigues, L., "The road to a more configurable and adaptive communication and coordination support", Distributed Computing Systems, 2003. FTDCS 2003. Proceedings. The Ninth IEEE Workshop on Future Trends of: IEEE, pp. 16–22, 2003.
Vavala, B., and N. Ferreira Neves, "Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions.", SRDS, pp. 161–170, 2012.
Mendonca, M., and N. Ferreira Neves, "Robustness testing of the Windows DDK", Dependable Systems and Networks, 2007. DSN'07. 37th Annual IEEE/IFIP International Conference on: IEEE, pp. 554–564, 2007.
Chambel, T., and N. Guimarães, "The Role of Hypervideo in Learning Environments", WebNet World Conference on the WWW and Internet, vol. 1999, no. 1, pp. 1672–1672, 1999.
Verissimo, P., "On the role of time in distributed systems", Distributed Computing Systems, 1997., Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of: IEEE, pp. 316–321, 1997.
Silva, H., A. Constantino, D. Freitas, M. Coutinho, S. Faustino, M. Mota, P. Colaço, J. Sousa, L. Dias, B. Damjanovic, et al., "RTEMS Centre-Support and Maintenance Centre to RTEMS Operating System", ESA Special Publication, vol. 669, pp. 10, 2009.
Silva, P., P. Pombinho, A. Paula Afonso, , and , "Rubi: An Open Source Android Platform for Mobile Augmented Reality Applications", International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2011, Workshop on Mobile Augmented Reality: Design Issues and Opportunities,: ACM, 2011.
Maria, N., P. Gaspar, A. Ferreira, and M. J. Silva, "SACAz - Um sistema de agentes para carregamento de um armazém de dados de acessos Web", CRC: 2ª conferência sobre Redes de computadores, 1999.
Rosa, J., J. Craveiro, and J. Rufino, "Safe online reconfiguration of time-and space-partitioned systems", Industrial Informatics (INDIN), 2011 9th IEEE International Conference on: IEEE, pp. 510–515, 2011.
da Silva, F., and H. Senger, "Scalability analysis of embarassingly parallel applications on large clusters", Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW), 2010 IEEE International Symposium on: IEEE, pp. 1–8, 2010.
Rodrigues, L., "Scalability issues in MOOs: the role of object migration and replication", ECOOP Workshops, pp. 90–91, 1999.
Rodrigues, L., R. Guerraoui, and A. Schiper, "Scalable atomic multicast", Computer Communications and Networks, 1998. Proceedings. 7th International Conference on: IEEE, pp. 840–847, 1998.
Carvalho, N., F. Araujo, and L. Rodrigues, "Scalable QoS-based event routing in publish-subscribe systems", Network Computing and Applications, Fourth IEEE International Symposium on: IEEE, pp. 101–108, 2005.
Craveiro, J., and J. Rufino, "Schedulability analysis in partitioned systems for aerospace avionics", Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on: IEEE, pp. 1–4, 2010.
Rodrigues, J., J. Ventura, and L. Rodrigues, "Schedulability analysis of an event-based real-time protocol framework", Object-Oriented Real-Time Dependable Systems, 2002.(WORDS 2002). Proceedings of the Seventh International Workshop on: IEEE, pp. 319–325, 2002.
Craveiro, J., J. L. R. Souza, J. Rufino, V. Gaudel, L. Lemarchand, A. Plantec, S. Rubini, and F. Singhoff, "Scheduling Analysis Principles and Tool for Time-and Space-Partitioned Systems", Simposio de informatica, pp. 582–585, 2012.
Gonçalves, D., L. Carriço, and C. Magnusson, "Second mobile accessibility workshop", Proceedings of the 14th international conference on Human-computer interaction with mobile devices and services companion: ACM, pp. 229–232, 2012.
Alaluna, M., E. Vial, N. Neves, and F. M. V. Ramos, "Secure and Dependable Multi-Cloud Network Virtualization", Proceedings of the 1st International Workshop on Security and Dependability of Multi-Domain Infrastructures: ACM, pp. 2, 2017.
Mendonca, M., and N. Ferreira Neves, "Secure Application Updates on Point of Sale Devices.", ICETE (2), pp. 38–45, 2004.
Vavala, B., N. Neves, and P. Steenkiste, "Secure Identification of Actively Executed Code on a Generic Trusted Component", Dependable Systems and Networks (DSN), 2016 46th Annual IEEE/IFIP International Conference on: IEEE, pp. 419–430, 2016.
Pereira, F., N. Ferreira Neves, and F. M. V. Ramos, "Secure Network Monitoring Using Programmable Data Planes", Third International Workshop on Security in NFV-SDN (IEEE NFV-SDN 2017), 2017.
Vavala, B., N. Neves, and P. Steenkiste, "Secure tera-scale data crunching with a small TCB", Dependable Systems and Networks (DSN), 2017 47th Annual IEEE/IFIP International Conference on: IEEE, pp. 169–180, 2017.
Medeiros, I., N. Ferreira Neves, and M. Correia, "Securing energy metering software with automatic source code correction", Industrial Informatics (INDIN), 2013 11th IEEE International Conference on: IEEE, pp. 701–706, 2013.
Vavala, B., N. Ferreira Neves, and P. Steenkiste, "Securing Passive Replication Through Verification", Proceedings of the 34th Symposium on Reliable Distributed Systems (SRDS), Montreal, Canada, 2015.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Shapiro, M., and N. Guimarães, "Software integration in SOMIW: Goals, accomplishments, and problems", Esprit'89, 6th Annual Esprit Conf.: North-Holland, 1989.
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.
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.
Distler, T., I. Popov, W. Schröder-Preikschat, H. P. Reiser, and R. Kapitza, "SPARE: Replicas on Hold.", NDSS, 2011.
Jieke, P., J. Redol, and M. Correia, "Specification-based Intrusion Detection System for Carrier Ethernet.", WEBIST (1), pp. 426–429, 2007.
Veronese, G. Santos, M. Correia, A. Neves Bessani, and C. L Lung, "Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary", Reliable Distributed Systems, 2009. SRDS'09. 28th IEEE International Symposium on: IEEE, pp. 135–144, 2009.
Trancoso, I., C. Duarte, A. Joaquim Serralheiro, D. Caseiro, L. Carriço, and C. Viana, "Spoken language technologies applied to digital talking books.", INTERSPEECH, 2006.
Cunha, J. Carlos, K. Branco, A. Casimiro, and U. Nunes, "SSIV 2017 Welcome", Dependable Systems and Networks Workshop (DSN-W), 2017 47th Annual IEEE/IFIP International Conference on: IEEE, pp. 1–1, 2017.
Bessani, A. Neves, J. Sousa, and E. E. P. Alchieri, "State machine replication for the masses with BFT-SMaRt", Dependable Systems and Networks (DSN), 2014 44th Annual IEEE/IFIP International Conference on: IEEE, pp. 355–362, 2014.
Distler, T., R. Kapitza, and H. P. Reiser, "State Transfer for Hypervisor-Based Proactive Recovery of Heterogeneous Replicated Services.", Sicherheit, pp. 61–72, 2010.
Mocito, J., A. Respicio, and L. Rodrigues, "On statistically estimated optimistic delivery in wide-area total order protocols", Dependable Computing, 2006. PRDC'06. 12th Pacific Rim International Symposium on: IEEE, pp. 202–209, 2006.
Lopes, J., and N. Ferreira Neves, "Stopping a Rapid Tornado with a Puff", Security and Privacy (SP), 2014 IEEE Symposium on: IEEE, pp. 509–523, 2014.
Gonçalves, T., A. Paula Afonso, B. Martins, and D. Gonçalves, "ST-TrajVis: interacting with trajectory data", Proceedings of the 27th International BCS Human Computer Interaction Conference: British Computer Society, pp. 48, 2013.
Neves, N. Ferreira, A-T. Nguyen, and E. L. Torres, "A study of a non-linear optimization problem using a distributed genetic algorithm", Parallel Processing, 1996. Vol. 3. Software., Proceedings of the 1996 International Conference on, vol. 2: IEEE, pp. 29–36, 1996.
Rufino, J., and P. Verissimo, "A study on the inaccessibility characteristics of ISO 8802/4 Token-Bus LANs", INFOCOM'92. Eleventh Annual Joint Conference of the IEEE Computer and Communications Societies, IEEE: IEEE, pp. 958–967, 1992.
Rufino, J., and P. Verissimo, "A study on the inaccessibility characteristics of ISO 8802/5 Token-Ring LANs", In Proceedings of the IEEE INFOCOM'92 Conference on Computer Communications, 1992.
Ruano, A. E., G. Madureira, O. Barros, HR. Khosravani, M. G. Ruano, and P. M. Ferreira, "A Support Vector Machine Seismic Detector for Early-Warning Applications", ICONS'2013 - 3rd IFAC International Conference on Intelligent Control, pp. 400–405, 2013.
Duarte, C., L. Carriço, T. Guerreiro, C. Almeida, S. Nobre, and A. Margarida Campos, "Supporting autism therapists: co-designing interventions", CHI'14 Extended Abstracts on Human Factors in Computing Systems: ACM, pp. 1213–1218, 2014.
Sapateiro, C., P. Antunes, G. Zurita, N. Baloian, and R. Vogt, "Supporting Crisis Management Processes by Wirelessly Interconnected Tablet-PCs", e-Business Engineering, 2008. ICEBE'08. IEEE International Conference on: IEEE, pp. 87–93, 2008.
Mourão, H., and P. Antunes, "Supporting effective unexpected exceptions handling in workflow management systems", Proceedings of the 2007 ACM symposium on Applied computing: ACM, pp. 1242–1249, 2007.
Sapateiro, C., P. Antunes, and J. A. Pino, "Supporting experimental collaborative systems evaluation", Computer Supported Cooperative Work in Design (CSCWD), 2011 15th International Conference on: IEEE, pp. 215–221, 2011.
Pedro, C. Costa, P. Antunes, and J. Ferreira Dias, "Supporting the Meeting Report Process", Technology, University of Trollahattan Uddevalla: Citeseer, 2000.
Carmo, M. Beatriz, A. Paula Afonso, A. Ferreira, A. Claudio, and E. Montez, "Symbol adaptation assessment in outdoor augmented reality", GRAPP: 9th international joint conference on Computer vision, imaging and computer graphics theory and applications, pp. 387–396, 2014.
Chambel, T., S. Neves, C. Sousa, and R. Francisco, "Synesthetic video: hearing colors, seeing sounds", Proceedings of the 14th International Academic MindTrek Conference: Envisioning Future Media Environments: ACM, pp. 130–133, 2010.
Antunes, P., "A system for supporting and managing same-time/different-place group interactions", Proceedings of the working conference on Advanced visual interfaces: ACM, pp. 216–225, 1998.
Guerreiro, J., A. Rodrigues, K. Montague, T. Guerreiro, H. Nicolau, and D. Gonçalves, "TabLETS Get Physical: Non-Visual Text Entry on Tablet Devices", Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, New York, NY, USA, ACM, 2015.
Vieira, M., A. Casimiro Costa, and H. Madeira, "TACID transactions", Proceedings of the First conference on Hot topics in system dependability: USENIX Association, pp. 10–10, 2005.
Carriço, L., L. Duarte, M. de Sá, R. Bandeira, and P. Antunes, "Tackling collaborative-design of mobile prototypes", Computer Supported Cooperative Work in Design, 2009. CSCWD 2009. 13th International Conference on: IEEE, pp. 710–715, 2009.
Ferreira, A., and P. Antunes, "Tackling information overload in electronic brainstorming", GDN: 9th meeting on Group decision and negotiation, pp. 83–89, 2008.
Nunes, R., F. Rito, and C. Duarte, "TACTIC: An API for Touch and Tangible Interaction", Proceedings of the Ninth International Conference on Tangible, Embedded, and Embodied Interaction: ACM, pp. 125–132, 2015.
Ellis, C., H. Miranda, and F. Ta\"ıani, "Tailoring a broadcast algorithm to particular network conditions", Proceedings of the 6th workshop on Middleware for network eccentric and mobile applications: ACM, pp. 18–20, 2008.
Verissimo, P., A. Neves Bessani, and M. Pasin, "The TClouds architecture: Open and resilient cloud-of-clouds computing", Dependable Systems and Networks Workshops (DSN-W), 2012 IEEE/IFIP 42nd International Conference on: IEEE, pp. 1–6, 2012.
Bessani, A. Neves, L. A. Cutillo, G. Ramunno, N. Schirmer, and P. Smiraglia, "The TClouds platform: concept, architecture and instantiations", Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing: ACM, pp. 1, 2013.
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.
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.
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.
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.
Marques, G., M. Aurélio Domingues, T. Langlois, and F. Gouyon, "Three Current Issues In Music Autotagging.", ISMIR, pp. 795–800, 2011.
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.
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.
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.

Pages