Publications

Export 2272 results:
2010
Barbosa, SB., ÂM. Batista, B. R Jatobá, MJ. Silva, and KR. Santoro, "Presence of Somatic Cells in Murrah Buffaloes in Northeast of Brazil.", Revista Veterinaria, vol. 21, no. 1, 2010.
Vavala, B., N. Ferreira Neves, H. Moniz, and P. Verissimo, "Randomized consensus in wireless environments: a case where more is better", Dependability (DEPEND), 2010 Third International Conference on: IEEE, pp. 7–12, 2010.
Silva, C., P. Sousa, and P. Verissimo, "Rave: Replicated antivirus engine", Dependable Systems and Networks Workshops (DSN-W), 2010 International Conference on: IEEE, pp. 170–175, 2010.
Lopes, R., K. Van Isacker, and L. Carriço, "Redefining assumptions: accessibility and its stakeholders", Computers Helping People with Special Needs: Springer Berlin Heidelberg, pp. 561–568, 2010.
Oliveira, I., O. Grigore, N. Guimarães, and L. Duarte, "Relevance of EEG input signals in the augmented human reader", Proceedings of the 1st Augmented Human International Conference: ACM, pp. 5, 2010.
Miranda, H., and L. Rodrigues, "Reputation in anonymous vehicular networks", International Journal of Autonomous and Adaptive Communications Systems, vol. 3, no. 2: Inderscience Publishers, pp. 178–197, 2010.
Gomes-Alves, P., F. Couto, C. Pesquita, A. V. Coelho, and D. Penque, "Rescue of F508del-CFTR by RXR motif inactivation triggers proteome modulation associated with the unfolded protein response", Biochimica et Biophysica Acta (BBA)-Proteins & Proteomics, vol. 1804, no. 4: Elsevier, pp. 856–865, 2010.
Antunes, P., and J. A. Pino, "A review of CRIWG research", Collaboration and Technology: Springer Berlin Heidelberg, pp. 1–15, 2010.
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.
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.
Costa, M., and M. J. Silva, "A search log analysis of a Portuguese web search engine", Proc. of the 2nd INForum-Simpósio de Informática, vol. 525, no. 536, pp. 5, 2010.
Freitas, C., C. Mota, D. Santos, H. Gonçalo Oliveira, and P. Carvalho, "Second HAREM: Advancing the State of the Art of Named Entity Recognition in Portuguese", Proceedings of the Seventh International Conference on Language Resources and Evaluation (LREC 2010), Valetta, Malta, 2010.
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.
Pesquita, C., D. Faria, A. O. Falcao, P. Lord, F. Couto, and , "Semantic Similarities in Biomedical Ontologies", IMIA Yearbook, vol. 5, pp. 84–84, 2010.
Ferreira, J., and F. Couto, "Semantic similarity for automatic classification of chemical compounds", PLoS computational biology, vol. 6, no. 9: Public Library of Science, pp. e1000937, 2010.
Lopes, L., and F. Martins, "A semantically robust framework for programming wireless sensor networks", DCC/FCUP, TR, vol. 1, 2010.
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.
Mostrous, D., Session Types in Concurrent Calculi: Higher-Order Processes and Objects, : Imperial College London (University of London), 2010.
Júnior, V. Stumm, C. L Lung, M. Correia, J. da Silva Fraga, and J. Lau, SMIT: Uma Arquitetura Tolerante a Intrusoes Baseada em Virtualizaç ao, , 2010.
Distler, T., R. Kapitza, and H. P. Reiser, "State Transfer for Hypervisor-Based Proactive Recovery of Heterogeneous Replicated Services.", Sicherheit, pp. 61–72, 2010.
Batista, D. S., and M. J. Silva, "A statistical study of the WPT05 crawl of the Portuguese Web", FALA 2010 VI Jornadas en Tecnolog{ía del Habla and II Iberian SLTech Workshop, Vigo, Spain, 2010.
Duarte, C., D. Costa, D. Costa, and P. Feiteira, Support for inferring user abilities for multimodal applications, , 2010.
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.
Dixit, M., H. Moniz, and A. Casimiro, Timeout adaptive consensus: Improving performance through adaptation, , 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.
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.
Martins, F., L. Lopes, and J. Barros, "Towards the safe programming of wireless sensor networks", arXiv preprint arXiv:1002.0937, 2010.
Moniz, H., N. Ferreira Neves, and M. Correia, "Turquois: Byzantine consensus in wireless ad hoc networks", Dependable Systems and Networks (DSN), 2010 IEEE/IFIP International Conference on: IEEE, pp. 537–546, 2010.
Moniz, H., N. Ferreira Neves, and M. Correia, Turquois: Byzantine Consensus in Wireless Ad hoc Networks (extended version), , 2010.
Vasconcelos, V. T., F. Martins, and T. Cogumbreiro, "Type inference for deadlock detection in a multithreaded polymorphic typed assembly language", arXiv preprint arXiv:1002.0942, 2010.
Vasconcelos, V. T., M. Giunti, N. Yoshida, and K. Honda, "Type safety without subject reduction for session types", UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE, 2010.
de Sá, M., L. Carriço, J. Neca, N. Fernandes, P. Feiteira, R. Pereira, P. Bernardo, J. Faria, and I. Sá, "Ubiquitous geo-referenced social skills therapy", Proceedings of the 12th ACM international conference adjunct papers on Ubiquitous computing-Adjunct: ACM, pp. 399–400, 2010.
Mascarenhas, R., and H. Miranda, "Um Sistema Publicador/subscritor com Subscrições Geograficamente Distribuídas para {RSSFs}", Actas do INFORUM - Simpósio de Informática, Braga, Portugal, Universidade do Minho, 2010.
Duarte, L., and L. Carriço, "The Unconventional Interaction Library: Tackling the Use of Physiological Interaction Modalities", Creating Connecting and Collaborating through Computing (C5), 2010 Eighth International Conference on: IEEE, pp. 61–67, 2010.
Costa, M., and M. J. Silva, "Understanding the information needs of web archive users", Proc. of the 10th International Web Archiving Workshop, vol. 9, no. 16, pp. 6, 2010.
Sapateiro, C., A. Ferreira, and P. Antunes, Using Microworlds to Study Teamwork at the Cognitive Level, , 2010.
Martinho, R., J. Varajao, and D. Domingos, "Using the semantic web to define a language for modelling controlled flexibility in software processes", IET software, vol. 4, no. 6: IET Digital Library, pp. 396–406, 2010.
Langlois, T., T. Chambel, E. Oliveira, P. Carvalho, G. Marques, and A. O. Falcao, "VIRUS: video information retrieval using subtitles", Proceedings of the 14th International Academic MindTrek Conference: Envisioning Future Media Environments: ACM, pp. 197–200, 2010.
Antunes, J., N. Ferreira Neves, M. Correia, P. Verissimo, and R. Neves, "Vulnerability discovery with attack injection", Software Engineering, IEEE Transactions on, vol. 36, no. 3: IEEE, pp. 357–370, 2010.
Lopes, R., D. Gomes, and L. Carriço, "Web not for all: a large scale study of web accessibility", Proceedings of the 2010 International Cross Disciplinary Conference on Web Accessibility (W4A): ACM, pp. 10, 2010.
Cardoso, N., D. S. Batista, F. J. Lopez-Pellicer, and M. J. Silva, "Where in the Wikipedia is that answer? the XLDB at the GikiCLEF 2009 task", Multilingual Information Access Evaluation I. Text Retrieval Experiments: Springer Berlin Heidelberg, pp. 305–309, 2010.
Hahn, V., P. Hamisu, C. Jung, G. Heinrich, C. Duarte, and P. Langdon, "Workshop AccessibleTV "Accessible User Interfaces for Future TV Applications"", Ambient Intelligence: Springer Berlin Heidelberg, pp. 346–348, 2010.
2009
Lopes, L. F., F. Silva, F. Couto, MJ. Silva, and D3. Epiwork, "1: Meta-model Initial Specification", Catalogue of Relevant Data, Platform Requirements. 30th September, 2009.
Agrawal, B., A. Aleta, J. Alonso, C. Kumar Anand, C. Anderson, S. Andrei, T. Aoki, A. Apostolakis, T. Austin, DR. Avresky, et al., "2009 Index IEEE Transactions on Computers Vol. 58", IEEE Transactions on Computers, vol. 58, no. 12, pp. 1, 2009.
Abbasi, A. A., D. P. Agrawal, I. Ahmad, K. Akkaya, H. Hamad E. AL-Mistarihi, I. Al-Oqily, F. J. Alfaro, S. Aluru, H. Amano, M. Ali Amer, et al., "2009 Index IEEE Transactions on Parallel and Distributed Systems Vol. 20", IEEE Transactions on Parallel and Distributed Systems, vol. 20, no. 12, pp. 1, 2009.
Bagchi, S., M. Correia, and P. Pal, "3rd Workshop on Recent Advances on Intrusion-Tolerant Systems WRAITS 2009", Dependable Systems & Networks, 2009. DSN'09. IEEE/IFIP International Conference on: IEEE, pp. 600–601, 2009.
Monteiro, H., and A. Neves Bessani, Actualização Coordenada de Pol{íticas de Segurança para Infra-estruturas Cr{íticas, : CRC 2009: 9a Conferência Portuguesa de Redes de Computadores, 2009.
Araujo, F., and H. Miranda, "Ad Hoc Routing", Middleware for Network Eccentric and Mobile Applications: Springer Berlin Heidelberg, pp. 63–93, 2009.
Antunes, P., and H. Mourão, "Adding a resilience-enhanced component to the WfMC reference architecture.", CSCWD, pp. 558–563, 2009.
Rufino, J., J. Craveiro, T. Schoofs, C. Tatibana, and J. Windsor, "AIR Technology: a step towards ARINC 653 in space", Proc. DASIA, 2009.
Miranda, H., S. Leggio, L. Rodrigues, and K. Raatikainen, "An algorithm for dissemination and retrieval of information in wireless ad hoc networks", Concurrency and Computation: Practice and Experience, vol. 21, no. 7: Wiley Online Library, pp. 889–904, 2009.
Matos, J., and H. Miranda, Algoritmos de difusão para protocolos de encaminhamento em redes ad hoc sem fios, : INForum-Simpósio de Informática 2009, 2009.
Ferreira, J., Anti-parkinsonian drugs and sleep disorders in Parkinson s disease, , 2009.
Carvalho, P., and H. Gonçalo Oliveira, Apêndice G: Manual de Utilização do Etiquet (H) AREM, : Desafios na avaliação conjunta do reconhecimento de entidades mencionadas: O Segundo HAREM, Linguateca, 2009.
Casimiro, A., J. Rufino, L. Marques, M. Calha, and P. Verissimo, "Applying architectural hybridization in networked embedded systems", Software Technologies for Embedded and Ubiquitous Systems: Springer Berlin Heidelberg, pp. 264–275, 2009.
Barth, D., O. Bournez, O. Boussaton, and J. Cohen, "Apprentissage distribué d'états stables pour le routage", ROADEF 2009, pp. 259, 2009.
Kalan, A. Abou El, A. Baina, H. Beitollahi, A. Neves Bessani, A. Bondavalli, M. Correia, A. Daidone, W. Dantas, G. Deconinck, Y. Deswarte, et al., Architecture, Services and Protocols for CRUTIAL, , 2009.
Silva, V. Filipe, P. Bartolomeu, J. Ferreira, and J. Alberto Fonseca, "Assessment of multi-bus fault-tolerant communications", Industrial Informatics, 2009. INDIN 2009. 7th IEEE International Conference on: IEEE, pp. 72–78, 2009.
Correia, M., G. Santos Veronese, and C. L Lung, Asynchronous Byzantine Consensus with 2f+ 1 Processes (extended version), , 2009.
Lopes, L. F., J. Zamite, B. Tavares, F. Couto, F. Silva, and M. J. Silva, "Automated social network epidemic data collector", INForum informatics symposium. Lisboa, 2009.
Sarmento, L., P. Carvalho, M. J. Silva, and E. de Oliveira, "Automatic creation of a reference corpus for political opinion mining in user-generated content", Proceeding of the 1st international CIKM workshop on Topic-sentiment analysis for mass opinion: ACM, pp. 29–36, 2009.
Langlois, T., and G. Marques, "Automatic music genre classification using a hierarchical clustering and a language model approach", Advances in Multimedia, 2009. MMEDIA'09. First International Conference on: IEEE, pp. 188–193, 2009.
Verchere, D., O. Audouin, B. Berde, A. Chiosi, R. Douville, H. Pouyllau, P. Primet, M. Pasin, S. Soudan, T. Marcot, et al., "Automatic network services aligned with grid application requirements in CARRIOCAS project", Networks for Grid Applications: Springer Berlin Heidelberg, pp. 196–205, 2009.
GEORGETTE, CS., de. O. C CARVALHO, J. FERREZINI, RS. KITAMURA, JA. da SILVA, ALF. SARRIA, CM. CAZAL, MFGF. SILVA, M. Cristina Oliveira, and AC. de S. CHAGAS, "Avaliação in vitro de extratos vegetais sobre fêmeas ingurgitadas de Rhipicephalus (Boophilus) microplus.", Embrapa Pecuária Sudeste-Resumo em anais de congresso (ALICE): In: SIMPÓSIO DE INICIA{\c{C}}ÃO CIENTÍFICA DA EMBRAPA PECUÁRIA SUDESTE, 2008, São Carlos, SP. Anais... São Carlos: Embrapa Pecuária Sudeste, 2008., 2009.
Aubry, F., A. Neves Bessani, and P. Sousa, "BFT Services Programming with a Dependable Tuple Space", Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009)-Fast Abstract, Estoril, Portugal, 2009.
Nunes, I., A. Lopes, and V. T. Vasconcelos, Bridging the Gap between Algebraic Specification and Generic Programming, : Runtime Verification, 9th International Workshop, 2009.
Nunes, I., A. Lopes, and V. T. Vasconcelos, "Bridging the gap between algebraic specification and object-oriented generic programming", Runtime Verification: Springer Berlin Heidelberg, pp. 115–131, 2009.
Antunes, J., and N. Ferreira Neves, "Building an automation towards reverse protocol engineering", 2012-10-10]. http://homepages. di. fc. ul. pt/\~{} nuno/PAPERS/INFORUM09. pdf, 2009.
Coutinho, P. M., C. Rancurel, M. Stam, T. Bernard, F. Couto, E. G. J. Danchin, and B. Henrissat, "Carbohydrate-Active Enzymes Database: Principles and Classification of Glycosyltransferases", Bioinformatics for Glycobiology and Glycomics: An Introduction: John Wiley & Sons, Ltd, pp. 89–118, 2009.
Pesquita, C., D. Pessoa, D. Faria, and F. Couto, "CESSM: collaborative evaluation of semantic similarity measures", JB2009: Challenges in Bioinformatics, 2009.
Souza, J. L. R., and J. Rufino, "Characterization of inaccessibility in wireless networks: a case study on IEEE 802.15. 4 standard", Analysis, Architectures and Modelling of Embedded Systems: Springer, pp. 290–301, 2009.
Correia, M., A. Neves Bessani, N. Ferreira Neves, P. Verissimo, and P. Sousa, Cheap Intrusion-Tolerant Protection for CRUTIAL Things, , 2009.
Bessani, A. Neves, P. Sousa, M. Correia, N. Ferreira Neves, and P. Verissimo, "Cheap intrusion-tolerant protection for crutial things", Technical Report DI-FCUL TR-2009-14, 2009.
Carvalho, P., L. Sarmento, M. J. Silva, and E. de Oliveira, "Clues for detecting irony in user-generated contents: oh...!! it's so easy;-)", Proceeding of the 1st international CIKM workshop on Topic-sentiment analysis for mass opinion: ACM, pp. 53–56, 2009.
Pesquita, C., D. Pessoa, D. Faria, and F. Couto, Collaborative Evaluation of GO-based Similarity Measures, : 12th Annual Bio-Ontologies Meeting at ISMB/ECCB 2009, 2009.
Antunes, P., and R. O. Briggs, "Collaborative Technology and Environments J. UCS Special Issue", Journal of Universal Computer Science, vol. 15, no. 16, pp. 3079–3080, 2009.
Martinho, J., and T. Chambel, "ColorsInMotion: interactive visualization and exploration of video spaces", Proceedings of the 13th International MindTrek Conference: Everyday Life in the Ubiquitous Era: ACM, pp. 190–197, 2009.
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.
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.
Domingos, D., J. Varajao, and R. Martinho, On a Concept Map for the Modelling of Controlled Flexibility in Software Processes, , 2009.
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.
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.
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.
Carvalho, P., C. Freitas, and D. Santos, Critérios de ALT no Segundo HAREM, , 2009.
Pimentel, J., J. Proenza, L. Almeida, G. Rodriguez-Navas, M. Barranco, and J. Ferreira, Dependable automotive CAN networks, : Automotive Embedded Systems Handbook, 2009.
Martinho, R., D. Domingos, and J. Varajao, Deriving goals for a Software Process Modelling Language to support controlled flexibility, : 1st Conference on Enterprise Information Systems (CENTERIS'2009),, 2009.
Marques, L., and A. Casimiro, "Design and Development of a COTS-based Real-time Executive for Safety-critical Vehicular Applications", Proceedings of Simpósio de Informática (Inforum 2009), WIP Session, 2009.
Marques, L., A. Casimiro, and M. Calha, "Design and development of a proof-of-concept platooning application using the hidenets architecture", Dependable Systems & Networks, 2009. DSN'09. IEEE/IFIP International Conference on: IEEE, pp. 223–228, 2009.
Alves, S., B. Koldehofe, H. Miranda, and F. Taiani, "Design of a backup network for catastrophe scenarios", Proceedings of the 2009 International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly: ACM, pp. 613–617, 2009.
Silva, M. J., P. Carvalho, L. Sarmento, E. de Oliveira, and P. Magalhães, "The Design of OPTIMISM, an Opinion Mining System for Portuguese Politics", New Trends in Artificial Intelligence: Proceedings of EPIA, pp. 12–15, 2009.
Hammouda, I., A. Ruokonen, M. Siikarla, A. L. Santos, K. Koskimies, and T. Systä, "Design profiles: toward unified tool support for design patterns and UML profiles", Software: Practice and Experience, vol. 39, no. 4: Wiley Online Library, pp. 331–354, 2009.
de Sá, M., C. Duarte, L. Carriço, and T. Reis, "Designing mobile multimodal applications", Multimodality in Mobile Computing and Mobile Devices: Methods for Adaptable Usability, pp. 106–136, 2009.
Verissimo, P., A. Neves Bessani, M. Correia, N. Ferreira Neves, and P. Sousa, "Designing modular and redundant cyber architectures for process control: Lessons learned", System Sciences, 2009. HICSS'09. 42nd Hawaii International Conference on: IEEE, pp. 1–8, 2009.
Reis, T., M. de Sá, and L. Carriço, "Designing Universally Accessible Mobile Multimodal Artefacts", Enterprise Information Systems: Springer Berlin Heidelberg, pp. 334–347, 2009.
Sapateiro, C., N. Baloian, P. Antunes, and G. Zurita, "Developing collaborative peer-to-peer applications on mobile devices", Computer Supported Cooperative Work in Design, 2009. CSCWD 2009. 13th International Conference on: IEEE, pp. 396–401, 2009.
Oliveira, I., R. Lopes, and N. Guimarães, "Development of a biosignals framework for usability analysis", Proceedings of the 2009 ACM symposium on Applied Computing: ACM, pp. 156–157, 2009.
Moniz, H., A. Tedeschi, N. Ferreira Neves, and M. Correia, "A distributed systems approach to airborne self-separation", Computational Models, Software Engineering, and Advanced Technologies in Air Transportation: Next Generation Applications: Next Generation Applications: IGI Global, pp. 215, 2009.

Pages