Publications

Export 2364 results:
2011
Chambel, T., E. Oliveira, and P. Martins, "Being happy, healthy and whole watching movies that affect our emotions", Affective Computing and Intelligent Interaction: Springer Berlin Heidelberg, pp. 35–45, 2011.
Cruz, I. F., C. Stroe, C. Pesquita, F. Couto, and V. Cross, "Biomedical Ontology Matching Using the AgreementMaker System.", ICBO, 2011.
Antunes, P., "BPM and exception handling: Focus on organizational resilience", IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews, vol. 41, no. 3: Institute of Electrical and Electronics Engineers, Inc., 3 Park Avenue, 17 th Fl New York NY 10016-5997 USA, pp. 383–392, 2011.
Coelho, J., and C. Duarte, "Building Supportive Multimodal User Interfaces", Supportive User Interfaces: SUI 2011, pp. 8, 2011.
Correia, M., G. Santos Veronese, N. Ferreira Neves, and P. Verissimo, "Byzantine consensus in asynchronous message-passing systems: a survey", International Journal of Critical Computer-Based Systems, vol. 2, no. 2: Inderscience Publishers, pp. 141–161, 2011.
Costa, P., M. Pasin, A. Neves Bessani, and M. Correia, "Byzantine fault-tolerant MapReduce: Faults are not just crashes", Cloud Computing Technology and Science (CloudCom), 2011 IEEE Third International Conference on: IEEE, pp. 32–39, 2011.
Luiz, A. Fernando, C. L Lung, and M. Correia, "Byzantine fault-tolerant transaction processing for replicated databases", Network Computing and Applications (NCA), 2011 10th IEEE International Symposium on: IEEE, pp. 83–90, 2011.
Pombinho, P., A. Paula Afonso, and M. Beatriz Carmo, "Chameleon–A Context Adaptive Visualization Framework for a Mobile Environment", Information Visualisation (IV), 2011 15th International Conference on: IEEE, pp. 151–157, 2011.
Campos, J., and V. T. Vasconcelos, "Channels as objects in concurrent object-oriented programming", arXiv preprint arXiv:1110.4157, 2011.
Bessani, A. Neves, IMAD. M. ABBADI, SVEN. BUGIEL, EMANUELE. CESENA, MICHAEL. G. R. Ö. N. E. MINADENG, NINJA. MARNAU, STEFAN. NÜRNBERGER, M. Pasin, and N. Schirmer, "CHAPTER SIX TCLOUDS: PRIVACY AND RESILIENCE FOR INTERNET-SCALE CRITICAL INFRASTRUCTURES", European Research Activities in Cloud Computing: Cambridge Scholars Publishing, pp. 151, 2011.
Costa, M., and M. J. Silva, "Characterizing Search Behavior in Web Archives.", TWAW, pp. 33–40, 2011.
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.
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.
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.
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.
Carriço, L., R. Lopes, and R. Bandeira, "Crosschecking the mobile web for people with visual impairments", Proceedings of the International Cross-Disciplinary Conference on Web Accessibility: ACM, pp. 12, 2011.
Elia, I. Alessandro, V. Formicola, L. Romano, S. D'Antonio, N. Ferreira Neves, R. Rieke, J. Blasco Bermejo, and A. Román, D2. 1.1–Scenario Requirements (Public version), , 2011.
Costa, A., A. Neves Bessani, and P. Verissimo, D5. 1.1-Preliminary Resilient Framework Architecture, , 2011.
Di Sarno, C., N. Kuntze, P. Verissimo, R. Fonseca, and R. Rieke, D5. 1.2-Preliminary Defense Services and Protocols, , 2011.
Di Sarno, C., A. Mazzeo, N. Mazzocca, R. Rieke, P. Rodrigues, L. Romano, P. Verissimo, and E. Vial, D5. 1.4-Resilient SIEM Framework Architecture, Services and Protocols, , 2011.
Couto, F., and E. Santos, Desenvolvimento de Sistemas de Informação baseados em PHP e MySQL, e Java e Oracle, : DI-FCUL, 2011.
de Sá, M., and L. Carriço, "Designing and evaluating mobile interaction: challenges and trends", Foundations and Trends in Human-Computer Interaction, vol. 4, no. 3: Now Publishers Inc., pp. 175–243, 2011.
Ferreira, R., M. Dias, J. Vermelhudo, and A. Ferreira, "Developing a controller pilot data link communication simulator", CISTI: 6th iberian conference on Information systems and technologies: IEEE, pp. 579–583, 2011.
Sapateiro, C., N. Baloian, P. Antunes, and G. Zurita, "Developing a Mobile Collaborative Tool for Business Continuity Management.", J. UCS, vol. 17, no. 2, pp. 164–182, 2011.
Tataryan, N. Baloian, G. Zurita Alarcón, P. Antunes, and C. Sapateiro, Developing a Mobile Collaborative Tool for Business Continuity Management, : GRAZ UNIV TECHNOLGOY, 2011.
Coelho, J., C. Duarte, P. Biswas, and P. Langdon, "Developing accessible TV applications", The proceedings of the 13th international ACM SIGACCESS conference on Computers and accessibility: ACM, pp. 131–138, 2011.
Antunes, P., and A. Ferreira, "Developing collaboration awareness support from a cognitive perspective", HICSS: 44th Hawaii international conference on System sciences: IEEE, 2011.
Duarte, C., and A. Paula Afonso, "Developing once, deploying everywhere: A case study using JIL", Procedia Computer Science, vol. 5: Elsevier, pp. 641–644, 2011.
Antunes, P., C. Sapateiro, G. Zurita, and N. Baloian, "Development of a mobile situation awareness tool supporting disaster recovery of business operations", Supporting Real Time Decision-Making: Springer US, pp. 337–360, 2011.
Couto, F., M. J. Silva, and , "Disjunctive shared information between ontology concepts: application to Gene Ontology.", J. Biomedical Semantics, vol. 2, pp. 5, 2011.
Antunes, J., and N. Ferreira Neves, "Diveinto: Supporting diversity in intrusion-tolerant systems", Reliable Distributed Systems (SRDS), 2011 30th IEEE Symposium on: IEEE, pp. 137–146, 2011.
Garcia, M., A. Neves Bessani, and N. Ferreira Neves, "Diverse OS Rejuvenation for Intrusion Tolerance", Supplement of the International Conference on Dependable Systems and Networks (DSN), 2011.
Duarte, C., J. Coelho, P. Feiteira, D. Costa, and D. Costa, "Eliciting interaction requirements for adaptive multimodal TV based applications", Universal Access in Human-Computer Interaction. Design for All and eInclusion: Springer, pp. 42–50, 2011.
Arantes, L., J. Lejeune, M. Piffaretti, O. Marin, P. Sens, J. Sopena, A. N. Bessani, V. V. Cogo, M. Correia, P. Costa, et al., "Étude d'une architecture MapReduce tolérant les fautes byzantines.", Actes des 20éme Rencontres francophones du parallélisme (RENPAR'11), 2011.
Sapateiro, C., A. Ferreira, and P. Antunes, "Evaluating the use of mobile devices in critical incidents response: A microworld approach", WETICE: 20th IEEE international conference on Enabling technologies and infrastructure for collaborative enterprises: IEEE, pp. 327–333, 2011.
Neca, J., and C. Duarte, "Evaluation of gestural interaction with and without voice commands", Proceedings of IHCI 2011-IADIS Conference on Interfaces and Human Computer Interaction, 2011.
Gonçalves, T., A. Paula Afonso, M. Beatriz Carmo, and P. Pombinho, "Evaluation of halodot: visualization of relevance of off-screen objects with over cluttering prevention on mobile devices", Human-Computer Interaction–INTERACT 2011: Springer Berlin Heidelberg, pp. 300–308, 2011.
Galhardas, H., A. Lopes, and E. Santos, "Extending data cleaning graphs for supporting user involvement", Information Systems and Technologies (CISTI), 2011 6th Iberian Conference on: IEEE, pp. 1–6, 2011.
Rocha, F., S. Abreu, and M. Correia, "The final frontier: Confidentiality and privacy in the cloud", Computer, vol. 44, no. 9: IEEE Computer Society, pp. 44–50, 2011.
Lopes, A., "Formal modelling of service-oriented systems", Model and Data Engineering: Springer Berlin Heidelberg, pp. 3–3, 2011.
Reis, D., and H. Miranda, "A Framework for Transparent Active Replication in Remote Method Invocation", Network Computing and Applications (NCA), 2011 10th IEEE International Symposium on: IEEE, pp. 281–284, 2011.
Bessani, A. Neves, "From Byzantine fault tolerance to intrusion tolerance (a position paper)", Dependable Systems and Networks Workshops (DSN-W), 2011 IEEE/IFIP 41st International Conference on: IEEE, pp. 15–18, 2011.
Casimiro, A., and M. Dixit, "From static to dynamic protocols: adapting timeouts for improved performance", Proceedings of the 1st Workshop on Autonomic Distributed Systems, pp. 17–20, 2011.
Briggs, R. O., and P. Antunes, "GDN Special Issue on Advances in Collaboration Technology", Group Decision and Negotiation, vol. 20, no. 5: Springer, pp. 531–533, 2011.
Ferreira, J., and F. Couto, "Generic Semantic Relatedness Measure for Biomedical Ontologies.", ICBO, vol. 833, 2011.
Rosa, L., L. Rodrigues, and A. Lopes, "Goal-oriented self-management of in-memory distributed data grid platforms", Cloud Computing Technology and Science (CloudCom), 2011 IEEE Third International Conference on: IEEE, pp. 587–591, 2011.
Prata, A. Narciso, and T. Chambel, "Going beyond iTV: designing flexible video-based crossmedia interactive services as informal learning contexts", Proceddings of the 9th international interactive conference on Interactive television: ACM, pp. 65–74, 2011.
Duarte, C., P. Langdon, C. Jung, J. Coelho, P. Biswas, and P. Hamisu, "GUIDE: creating accessible TV applications", Everyday Technology for Independence and Care, AAATE, pp. 905–912, 2011.
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.
Oliveira, E., P. Martins, and T. Chambel, "Ifelt: accessing movies through our emotions", Proceddings of the 9th international interactive conference on Interactive television: ACM, pp. 105–114, 2011.
Ferreira, A., P. Antunes, and V. Herskovic, "Improving group attention: An experiment with synchronous brainstorming", Group Decision and Negotiation, vol. 20, no. 5: Springer, pp. 643–666, 2011.
Duarte, L., and L. Carriço, "The influence of performance-oriented widgets on interactive behavior while playing videogames", Proceedings of the 8th International Conference on Advances in Computer Entertainment Technology: ACM, pp. 54, 2011.
Vieira, D., and F. Martins, "Integrating WSN simulation into workflow testing and execution", Sensor Systems and Software: Springer Berlin Heidelberg, pp. 205–218, 2011.
Fiadeiro, J. Luiz, and A. Lopes, "An interface theory for service-oriented design", Fundamental Approaches to Software Engineering: Springer Berlin Heidelberg, pp. 18–33, 2011.
Carvalho, P., L. Sarmento, J. Teixeira, and M. J. Silva, "Liars and saviors in a sentiment annotated corpus of comments to political debates", 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Portland, Oregon, USA, 2011.
Marques, L., and A. Casimiro, "Lightweight dependable adaptation for wireless sensor networks", Reliable Distributed Systems Workshops (SRDSW), 2011 30th IEEE Symposium on: IEEE, pp. 26–35, 2011.
Giunti, M., and V. T. Vasconcelos, "Linearity, session types and the pi calculus", UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE, 2011.
Pombinho, P., M. Beatriz Carmo, A. Paula Afonso, and H. Aguiar, "Location and Orientation Based Queries on Mobile Environments", International Journal of Computer Information Systems and Industrial Management Applications, vol. 3, pp. 788–795, 2011.
Rocha, F., and M. Correia, "Lucy in the sky without diamonds: Stealing confidential data in the cloud", Dependable Systems and Networks Workshops (DSN-W), 2011 IEEE/IFIP 41st International Conference on: IEEE, pp. 129–134, 2011.
Zamite, J., F. Silva, F. Couto, and M. J. Silva, "MEDCollector: Multisource epidemic data collector", Transactions on large-scale data-and knowledge-centered systems IV: Springer Berlin Heidelberg, pp. 40–72, 2011.
Valente, B., and F. Martins, "A middleware framework for the Internet of Things", AFIN 2011, The Third International Conference on Advances in Future Internet, pp. 139–144, 2011.
Gonçalves, D., L. Carriço, and M. Vigo, "Mobile accessibility workshop", Human-Computer Interaction–INTERACT 2011: Springer Berlin Heidelberg, pp. 734–735, 2011.
Prata, A., and T. Chambel, "Mobility in a Personalized and Flexible Video-based Transmedia Environment", UBICOMM 2011, The Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, pp. 314–320, 2011.
Zhang, H., M. Constantino, and A. O. Falcao, "Modeling forest core area with integer programming", Annals of Operations Research, vol. 190, no. 1: Springer US, pp. 41–55, 2011.
Simões, T., N. Charro, J. Blonder, D. Faria, F. Couto, K. C. Chan, T. Waybright, H. J. Isaaq, T. D. Veenstra, and D. Penque, "Molecular profiling of the human nasal epithelium: A proteomics approach", Journal of proteomics, vol. 75, no. 1: Elsevier, pp. 56–69, 2011.
Martins, P., T. Langlois, and T. Chambel, "MovieClouds: content-based overviews and exploratory browsing of movies", Proceedings of the 15th International Academic MindTrek Conference: Envisioning Future Media Environments: ACM, pp. 133–140, 2011.
Biswas, P., P. Langdon, C. Duarte, and J. Coelho, "Multimodal adaptation through simulation for digital TV interface", Proceddings of the 9th international interactive conference on Interactive television: ACM, pp. 231–234, 2011.
Leitao, J., M. Correia, L. Rodrigues, and , "N-party BAR transfer", Proceedings of the 15th international conference on Principles of Distributed Systems: Springer-Verlag, pp. 392–408, 2011.
Vilaça, X., J. Leitao, M. Correia, and L. Rodrigues, "N-party BAR transfer", Principles of Distributed Systems: Springer Berlin Heidelberg, pp. 392–408, 2011.
Mota, C., and P. Carvalho, "O passar do TEMPO no HAREM", Linguamática, vol. 3, no. 1, pp. 45–58, 2011.
Garcia, M., A. Neves Bessani, I. Gashi, N. Ferreira Neves, and R. Obelheiro, "OS diversity for intrusion tolerance: Myth or reality?", Dependable Systems & Networks (DSN), 2011 IEEE/IFIP 41st International Conference on: IEEE, pp. 383–394, 2011.
Bettinger, P., C. J. Cieszewski, and A. O. Falcao, "Perspectives on New Developments of Decision Support Systems for Sustainable Forest Management", Mathematical and Computational Forestry & Natural-Resource Sciences (MCFNS), vol. 3, no. 1, pp. Pages–15, 2011.
Pombinho, P., A. Paula Afonso, and M. Beatriz Carmo, "Point of interest awareness using indoor positioning with a mobile phone", Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systesm, 2011.
Moreira, S., D. S. Batista, P. Carvalho, F. Couto, and M. J. Silva, "POWER-Politics Ontology for Web Entity Retrieval", Advanced Information Systems Engineering Workshops: Springer Berlin Heidelberg, pp. 489–500, 2011.
Nogueira, A., M. Calha, and , "Predictability and efficiency in contemporary Hard RTOS for multiprocessor systems", Embedded and Real-Time Computing Systems and Applications (RTCSA), 2011 IEEE 17th International Conference on, vol. 2: IEEE, pp. 3–8, 2011.
Luiz, A. Fernando, C. L Lung, and M. Correia, "Protocolo tolerante a faltas bizantinas para bases de dados transacionais", Anais do XXIX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuıdos, pp. 559–572, 2011.
Moniz, H., N. Ferreira Neves, M. Correia, and P. Verissimo, "Randomization can be a healer: consensus with dynamic omission failures", Distributed Computing, vol. 24, no. 3-4: Springer-Verlag, pp. 165–175, 2011.
Vavala, B., N. Ferreira Neves, H. Moniz, and P. Verissimo, "Randomized Consensus in Wireless Environments", International Journal On Advances in Intelligent Systems, vol. 4, no. 1 and 2, pp. 1–12, 2011.
Kauer, B., P. Verissimo, and A. Neves Bessani, "Recursive virtual machines for advanced security mechanisms", Dependable Systems and Networks Workshops (DSN-W), 2011 IEEE/IFIP 41st International Conference on: IEEE, pp. 117–122, 2011.
Brandão, L. T. A. N., and A. Neves Bessani, "On the reliability and availability of systems tolerant to stealth intrusion", Dependable Computing (LADC), 2011 5th Latin-American Symposium on: IEEE, pp. 35–44, 2011.
Antunes, P., and H. Mourão, "Resilient business process management: Framework and services", Expert Systems with Applications, vol. 38, no. 2: Pergamon, pp. 1241–1254, 2011.
Goncalves, LHR., P. Verissimo, K. Timenetsky, T. Figueiredo, A. Yang, T. Andre, M. Nagano, C. Alexandre, A. Goedert, R. Caserta, et al., "Respiratory muscle weakness in acute heart failure patients", Critical Care, vol. 15, no. Suppl 2: BioMed Central Ltd, pp. P24, 2011.
Timenetsky, KT., T. Figueiredo, AS. Yang, TJ. Andre, MK. Nagano, C. Alexandre, C. Garcia, RA. Caserta, P. Verissimo, and E. Silva, "Respiratory Muscle Weakness In Acute Heart Failure Patients", Am J Respir Crit Care Med, vol. 183, pp. A4246, 2011.
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.
Bandeira, R., R. Lopes, and L. Carriço, "Results from multi-dimensional accessibility assessment", Universal Access in Human-Computer Interaction. Design for All and eInclusion: Springer Berlin Heidelberg, pp. 187–196, 2011.
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.
Antunes, J., N. Ferreira Neves, and P. Verissimo, ReverX: Reverse engineering of protocols, , 2011.
Moniz, H., N. Ferreira Neves, M. Correia, and P. Verissimo, "RITAS: Services for randomized intrusion tolerance", Dependable and Secure Computing, IEEE Transactions on, vol. 8, no. 1: IEEE, pp. 122–136, 2011.
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.
Crispim, P., A. Lopes, and V. T. Vasconcelos, "Runtime Verification for Generic Classes with ConGu 2", Formal Methods: Foundations and Applications: Springer Berlin Heidelberg, pp. 33–48, 2011.
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.
Costa, D., and C. Duarte, "Self-adapting TV based applications", Universal Access in Human-Computer Interaction. Design for All and eInclusion: Springer, pp. 357–364, 2011.
Fiadeiro, J., A. Lopes, L. Bocchi, and J. Abreu, "The Sensoria reference modelling language", Rigorous software engineering for service-oriented systems: Springer Berlin Heidelberg, pp. 61–114, 2011.
Charro, N., B. L. Hood, D. Faria, P. Pacheco, P. Azevedo, C. Lopes, A. Bugalho de Almeida, F. Couto, T. P. Conrads, and D. Penque, "Serum proteomics signature of Cystic Fibrosis patients: A complementary 2-DE and LC–MS/MS approach", Journal of proteomics, vol. 74, no. 1: Elsevier, pp. 110–126, 2011.
Mostrous, D., and V. T. Vasconcelos, "Session typing for a featherweight Erlang", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 95–109, 2011.
Vasconcelos, V. T., L. Aceto, and , "Sessions, from types to programming languages", Bulletin of the EATCS, no. 103, pp. 53–73, 2011.
Marques, G., T. Langlois, F. Gouyon, M. Lopes, and M. Sordo, "Short-term feature space and music genre classification", Journal of New Music Research, vol. 40, no. 2: Routledge, pp. 127–137, 2011.

Pages