Publications

Export 2364 results:
2007
Chadha, R., L. Cruz-Filipe, P. Mateus, and A. Sernadas, "Reasoning about probabilistic sequential programs", Theoretical Computer Science, vol. 379, no. 1: Elsevier, pp. 142–165, 2007.
Miranda, H., S. Leggio, L. Rodrigues, and K. Raatikainen, "Removing probabilities to improve efficiency in broadcast algorithms", 5 th MiNEMA Workshop, pp. 20, 2007.
Strigini, L., N. Ferreira Neves, M. Raynal, M. Harrison, M. Kaaniche, F. Von Henke, and , Resilience-building technologies: State of knowledge, , 2007.
Strigini, L., N. Ferreira Neves, M. Raynal, M. Harrison, M. Kaaniche, and F. Von Henke, Resilience-Building Technologies: State of Knowledge–ReSIST NoE Deliverable D12, : Department of Informatics, University of Lisbon, 2007.
Casimiro, A., A. Bondavalli, A. Ceccarelli, A. Daidone, L. Falai, P. Frejek, A. Kövi, EV. Matthiesen, O. Mendizabal, H. Moniz, et al., Resilient architecture, , 2007.
Casimiro, A., A. Bondavalli, A. Ceccarelli, A. Daidone, L. Falai, P. Frejek, F. Giandomenico, G. Huszerl, MO. Killijian, A. Kövi, et al., Resilient architecture (preliminary version), : Department of Informatics, University of Lisbon, 2007.
Simoncini, L., J-C. Laprie, K. Kanoun, JC. Fabre, H. Waeselynck, I. Majzik, A. Pataricza, R. Bloomfield, L. Strigini, N. Suri, et al., Resilient Computing Curriculum Draft–ReSIST NoE Deliverable D16, : Department of Informatics, University of Lisbon, 2007.
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.
Arlat, J., M. Kaaniche, A. Bondavalli, M. Calha, A. Casimiro, A. Daidone, L. Falai, G. Huszerl, MO. Killijian, A. Kövi, et al., Revised reference model, : Department of Informatics, University of Lisbon, 2007.
Arlat, J., M. Kaaniche, H-P. Schwefel, Y. Liu, E. Vestergaar Matthiesen, A. Bondavalli, M. Calha, A. Casimiro, A. Daidone, L. Falai, et al., Revised reference model: HIDENETS D1. 2, : Aalborg Universitetsforlag, 2007.
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.
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.
Martins, F., A. O. Falcao, and F. Couto, Semantic Similarity Match for Data Quality, : Department of Informatics, University of Lisbon, 2007.
Antunes, P., A Social-Technical Perspective Over Business Process Management and Resilience, : 2nd ESFORS Workshop, 2007.
de Bruin, I., A. Casimiro, M. Calha, G. Egeland, L. Falai, P. Frejek, L. Jesper Grønbæk, S. Heemstra de Groot, A. Fosselie Hansen, G. Huszerl, et al., Specification HIDENETS laboratory set-up scenario and components (Refined specification HIDENETS proof-of-concept set up): HIDENETS D6. 2, : Aalborg Universitetsforlag, 2007.
de Bruin, I., A. Casimiro, L. Falai, P. Frejek, S. Heemstra de Groot, G. Huszerl, M. Kaaniche, MO. Killijian, R. Lippman, EV. Matthiesen, et al., "Specification HIDENETS laboratory set-up scenario and components", EU FP6 IST project HIDENETS, deliverable D, vol. 6, 2007.
Jieke, P., J. Redol, and M. Correia, "Specification-based Intrusion Detection System for Carrier Ethernet.", WEBIST (1), pp. 426–429, 2007.
Abreu, J., L. Bocchi, J. Luiz Fiadeiro, and A. Lopes, "Specifying and composing interaction protocols for service-oriented system modelling", Formal Techniques for Networked and Distributed Systems–FORTE 2007: Springer Berlin Heidelberg, pp. 358–373, 2007.
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.
Afonso, A. Paula, Teaching Quality of Software at FCUL, : The Teaching of Quality in Information and Communication Technology Education Programs Workshop, 2007.
Ferreira, A., and P. Antunes, "A technique for evaluating shared workspaces efficiency", Computer Supported Cooperative Work in Design III: Springer, pp. 82–91, 2007.
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.
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.
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.
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.
Freitas, F., R. Rodrigues, C. Ribeiro, P. Ferreira, and L. Rodrigues, "Tverme: Worm containment in peer-topeer overlays", in Proceedings of the 6th International Workshop on Peer-to-Peer Systems, Sellevae, 2007.
de Sá, M., L. Carriço, and P. Antunes, "Ubiquitous psychotherapy", IEEE Pervasive Computing, vol. 6, no. 1: IEEE Educational Activities Department, pp. 20–27, 2007.
de Sá, M., L. Carriço, and P. Antunes, "Ubiquitous psychotherapy", IEEE Pervasive Computing: IEEE Computer Society, pp. 20–27, 2007.
Dantas, W. Saback, A. Neves Bessani, and J. da Silva Fraga, Um Arcabouço de Simulação e Avaliação de Sistemas de Quóruns Bizantinos, : VIII Workshop de Testes e Tolerância a Falhas, 2007.
Cardoso, N., M. J. Silva, and B. Martins, "The University of Lisbon at CLEF 2006 ad-hoc task", Evaluation of multilingual and multi-modal information retrieval: Springer Berlin Heidelberg, pp. 51–56, 2007.
Martins, B., N. Cardoso, M. Chaves, L. Andrade, and M. J. Silva, "The university of lisbon at geoclef 2006", Evaluation of Multilingual and Multi-modal Information Retrieval: Springer Berlin Heidelberg, pp. 986–994, 2007.
Matthiesen, E. Vestergaar, M. Radimirsch, G. Huszerl, M. Reitenspieß, M. Kaaniche, I. Einar Svinnset, A. Casimiro, and L. Falai, Use case scenarios and preliminary reference model, : Department of Informatics, University of Lisbon, 2007.
Carvalho, N., A. Correia Jr, J. Pereira, L. Rodrigues, R. Oliveira, and S. Guedes, "On the Use of a Reflective Architecture to Augment Database Management Systems.", J. UCS, vol. 13, no. 8, pp. 1110–1135, 2007.
Duarte, L., L. Carriço, and M. de Sá, Using an XML Based System in Group Psychotherapy, : XML: Aplica{\=e}ões e Tecnologias Associadas, 2007.
Bastos, H., D. Faria, C. Pesquita, and A. O. Falcao, "Using GO terms to evaluate protein clustering", BioOntologies SIG at ISMB/ECCB-15th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB), 2007.
Cardoso, N., M. J. Silva, and M. Antunes, "Validação estat{ística dos resultados do Primeiro HAREM", Reconhecimento de entidades mencionadas em português: Documentação e atas do HAREM, a primeira avaliação conjunta na área, Cap{ítulo, vol. 5, pp. 59–77, 2007.
Cunha, S., L. Rodrigues, A. Silva, R. Gonçalves, and S. Silva, Verified File-System v1. 0, , vol. 27: Department of Informatics-University of Minho, Braga, September, 2007.
Freitas, F., R. Rodrigues, C. Ribeiro, P. Ferreira, and L. Rodrigues, "Verme: Worm Containment in Peer-to-Peer Overlays.", IPTPS, vol. 7, pp. 1, 2007.
Pombinho, P., M. Beatriz Carmo, and A. Paula Afonso, "Visualização de informação georeferenciada em dispositivos móveis", Actas do 15º Encontro Português de Computação Gráfica, pp. 183–188, 2007.
Carmo, M. Beatriz, A. Paula Afonso, and P. Pombinho Matos, "Visualization of geographic query results for small screen devices", Proceedings of the 4th ACM workshop on Geographical information retrieval: ACM, pp. 63–64, 2007.
Reiser, H. P., and R. Kapitza, "VM-FIT: supporting intrusion tolerance with virtualisation technology", Proceedings of the Workshop on Recent Advances on Intrusion-Tolerant Systems, 2007.
Bessani, A. Neves, M. Correia, H. Moniz, N. Ferreira Neves, and P. Verissimo, "When 3 f+ 1 Is Not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus", Brief Announcement, Proceedings of 21st International Symposium on Distributed Computing (DISC 07), Lemesos, Cyprus: Springer Berlin/Heidelberg, pp. 480–481, 2007.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "Worm-IT–a wormhole-based intrusion-tolerant group communication system", Journal of Systems and Software, vol. 80, no. 2: Elsevier, pp. 178–197, 2007.
Cardoso, N., B. Martins, D. Gomes, and M. J. Silva, WPT 03: a primeira colecção pública proveniente de uma recolha da web portuguesa, : Avaliação Conjunta: um novo paradigma no processamento computacional da l{íngua portuguesa, 2007.
Langlois, T., "XAI: une méthode incrémentale pour l'approximation de la fonction de valeur", Revue d'intelligence artificielle, vol. 21, no. 1: Lavoisier, pp. 35–52, 2007.
2006
Chambel, T., N. Jardim Nunes, T. Romão, and J. Creissac Campos, Actas da 2ª Conferência Nacional em Interacção Pessoa-Máquina, : Grupo Português de Computação Gráfica, 2006.
Silva, M. J., B. Martins, M. Chaves, A. Paula Afonso, and N. Cardoso, "Adding geographic scopes to web resources", Computers, Environment and Urban Systems, vol. 30, no. 4: Elsevier, pp. 378–399, 2006.
Falcao, A. O., Addressing the computational complexity of harvest scheduling problems for short rotation species: Heuristics or Integer Programming?, : International Conference of Interdisciplinary Mathematical & Statistical Techniques, 2006.
Couto, F., and M. J. Silva, "Advanced Data Mining Techonologies in Bioinformatics, chapter Mining the BioLiterature: towards automatic annotation of genes and proteins", Idea Group Inc, 2006.
Miranda, H., S. Leggio, L. Rodrigues, and K. Raatikainen, "An algorithm for distributing and retrieving information in sensor networks", 10th International Conference Principles of Distributed Systems (OPODIS'06), pp. 31–45, 2006.
Bessani, A. Neves, W. Saback Dantas, E. Adılio Pe Alchieri, and J. da Silva Fraga, "Analisando o Custo do Armazenamento Tolerante a Faltas Bizantinas: PAXOS$\times$ Sistemas de Quóruns", Anais do 7o Workshop de Testes e Tolerância a Faltas-WTF, 2006.
Relvas, S., and P. Antunes, "Análise da aplicabilidade dos modelos de argumentação na resolução alternativa de conflitos", 1ª Conferência Ibérica de Sistemas e Tecnologias de Informação, Portugal, 2006.
Antunes, P., and , Análise da Aplicabilidade dos Modelos de Argumentação na Resolução Alternativa de Conflitos, : 1ª Conferência Ibérica de Sistemas e Tecnologias de Informação, 2006.
Ligeiro, R., and H. Miranda, Análisea Disposiçao de Pontos de Acesso Utilizando Algoritmos Genéticos, : Conference on Mobile and Ubiquitous Systems, 2006.
Antunes, P., M. R. S. Borges, J. A. Pino, and L. Carriço, "Analytic evaluation of groupware design", Computer Supported Cooperative Work in Design II: Springer Berlin Heidelberg, pp. 31–40, 2006.
Antunes, P., A. Ferreira, and J. Pino, "Analyzing shared workspaces design with human-performance models", CRIWG: 12th international workshop on Groupware: Springer, pp. 62–77, 2006.
Zurita, G., P. Antunes, L. Carriço, F. Baytelman, M. de Sá, and N. Baloian, "Analyzing the roles of PDA in meeting scenarios", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 364–380, 2006.
Dondossola, G., G. Deconinck, F. Di Giandomenico, S. Donatelli, M. Kaaniche, and P. Verissimo, "An approach to modelling and mitigating infrastructure interdependencies", Proceedings of (CRIS) The International Institute for Critical Infrastructures-3rd International Conference on Critical Infrastructures, pp. 4, 2006.
Santos, A. L., and K. Koskimies, "Aspects as specialization units for framework-based SPLs", BPAOSD'06: Workshop on Best Practices in Applying Aspect-Oriented Software Development (AOSD'06), 2006.
Ferreira, A., and P. Antunes, Attentive Groupware, : Department of Informatics, University of Lisbon, 2006.
Simões, F., and P. Antunes, "Auditoria de sistemas de votação electrónica: uma proposta de arquitectura e protótipo de simulação", 2º Workshop sobre Voto pela Internet, 2006.
Cardoso, N., D. Santos, M. J. Silva, and S. Doutoral da Linguateca, "Automatic Query Reformulation using Contextual Information", quot; III Simpósio Doutoral da Linguateca 2006 (Faculdade de Ciências-Universidade de Lisboa 3-4 de Outubro de 2006), 2006.
Duarte, C., T. Chambel, H. Simões, L. Carriço, E. Santos, G. Francisco, S. Neves, AC. Rua, J. Robalo, and T. Fernandes, Avaliação de Interfaces Multimodais para Livros Falados Digitais com foco Não Visual, : 2nd National Conference in Human Computer Interaction, 2006.
Guerraoui, R., and L. Rodrigues, "Basic Abstractions", Introduction to Reliable Distributed Programming: Springer Berlin Heidelberg, pp. 25–68, 2006.
Berman, E., E. Hajdu, GR. da S. Muricy, HP. Lavrado, IA. Cardoso, I. Verissimo, de. C. L Monteiro, LM. de S. Gestinari, de. L. L Loiola, MS. de Medeiros, et al., "Benthic biodiversity of the central region of the Brazilian Economic Exclusion Zone.", Biodiversidade bentônica da região central da Zona Econômica Exclusiva brasileira: Museo Nacional, Rio de Janeiro, 2006.
Azevedo, NF., N. Guimarães, CW. Keevil, and MJ. Vieira, Biofilms as possible microenvironments for H. pylori subsistence in water-exposed environments, , 2006.
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, "Brief announcement: Decoupled quorum-based Byzantine-resilient coordination in open distributed systems", Distributed Computing: Springer Berlin Heidelberg, pp. 554–556, 2006.
PASIC, A., P. SORIA-RODRIGUEZ, J. Paul MOORE, J. CLARKE, Z. D. O. O. L. Y. Will DONNELLY, W. FITZGERALD, S. JOHNSTONE, S. SHIU, V. LOTZ, M. MELIDEO, et al., "Bringing Together the European Stakeholders for Security and Dependability", Exploiting the Knowledge Economy: Issues, Applications and Case Studies, vol. 3: IOS Press, pp. 128, 2006.
Bessani, A. Neves, J. da Silva Fraga, and C. L Lung, "BTS: A Byzantine fault-tolerant tuple space", Proceedings of the 2006 ACM symposium on Applied computing: ACM, pp. 429–433, 2006.
Lopes, R., and L. Carriço, "Building reusable XML pipelines with APP", XATA2006, XML: Aplicaçoes e Tecnologias Associadas, 2006.
Duarte, P., I. Nunes, JP. Neto, and T. Chambel, "CATS-Computer Assessable Task System", WebALT 2006 Proceedings: Citeseer, pp. 149, 2006.
Reis, J., L. Travado, H. Lucas, L. Carriço, and M. de Sá, Cognitive-behavioral therapy with an oncological patient via handheld computing, : 8th world congress of psycho-oncology, 2006.
Reis, JC., HM. Lucas, LS. Travado, LM. Carrico, and M. de Sá, "Cognitive-behavioural therapy with a cancer patient via handheld computing", PSYCHO-ONCOLOGY, vol. 15, no. 2: WILEY-BLACKWELL COMMERCE PLACE, 350 MAIN ST, MALDEN 02148, MA USA, pp. S379–S380, 2006.
Duarte, C., and L. Carriço, "A conceptual framework for developing adaptive multimodal applications", Proceedings of the 11th international conference on Intelligent user interfaces: ACM, pp. 132–139, 2006.
Antunes, P., and P. André, "A conceptual framework for the design of geo-collaborative systems", Group Decision and Negotiation, vol. 15, no. 3: Springer, pp. 273–295, 2006.
Guerraoui, R., and L. Rodrigues, "Consensus", Introduction to Reliable Distributed Programming: Springer Berlin Heidelberg, pp. 189–232, 2006.
Guerraoui, R., and L. Rodrigues, "Consensus Variants", Introduction to Reliable Distributed Programming: Springer Berlin Heidelberg, pp. 233–286, 2006.
Mocito, J., L. Rosa, N. Almeida, H. Miranda, L. Rodrigues, and A. Lopes, Context adaptation of the communication stack, : Taylor & Francis Group, 2006.
Rufino, J., P. Verissimo, G. Arroz, and C. Almeida, "Control of inaccessibility in CANELy", Proceedings of the 6th. International Workshop on Factory Communication Systems, pp. 35–44, 2006.
Bessani, A. Neves, and , Coordenaçao desacoplada tolerante a faltas bizantinas, : Florianópolis, SC, 2006.
Chambel, T., GD. Miguel, L. Correia, NAC. Henriques, N. Correia, and J. Manzolli, Creative video editing through evolutionary algorithms, : Third International Conference on Digital and Electronic Art, 2006.
Verissimo, P., N. Ferreira Neves, and M. Correia, "CRUTIAL: The blueprint of a reference critical information infrastructure architecture", Critical Information Infrastructures Security: Springer Berlin Heidelberg, pp. 1–14, 2006.
Gomes, D., S. Freitas, and M. J. Silva, "Design and selection criteria for a national web archive", Research and Advanced Technology for Digital Libraries: Springer Berlin Heidelberg, pp. 196–207, 2006.
Guimarães, N., NF. Azevedo, C. Figueiredo, CW. Keevil, and MJ. Vieira, Development and application of a novel peptide nucleic acid (PNA) probe for the specific detection of Helicobacter pylori, : Blackwell, 2006.
Casimiro, A., O. Mendizabal, and P. Verissimo, On the development of dependable embedded applications using specialized wormholes, : 3rd International Workshop on Dependable Embedded Systems, 2006.
Ferreira, A., and P. Antunes, Dispositivos de gestao da atençao em sistemas colaborativos, : 2nd National Conference in Human Computer Interaction, 2006.
Ferreira, A., and P. Antunes, "Dispositivos de gestão da atenção em sistemas colaborativos", INTERAC{\c{C}}ÃO: 2ª conferência nacional em Interacção pessoa-máquina, pp. 57–60, 2006.
Carvalho, N., J. Pereira, and L. Rodrigues, "Distributed Objects and Applications (DOA) 2006 International Conference-Communications-Towards a Generic Group Communication Service", Lecture Notes in Computer Science, vol. 4276: Berlin: Springer-Verlag, 1973-, pp. 1485–1502, 2006.
Lopes, R., L. Carriço, and C. Duarte, "DiTaBBu: automating the production of time-based hypermedia content", Proceedings of the 15th international conference on World Wide Web: ACM, pp. 905–906, 2006.
Pereira, J., R. Oliveira, and L. Rodrigues, "Efficient epidemic multicast in heterogeneous networks", On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops: Springer Berlin Heidelberg, pp. 1520–1529, 2006.
Rufino, J., C. Almeida, P. Verissimo, and G. Arroz, "Enforcing dependability and timeliness in Controller Area Networks", IEEE Industrial Electronics, IECON 2006-32nd Annual Conference on: IEEE, pp. 3755–3760, 2006.
Duarte, P., I. Nunes, JP. Neto, and T. Chambel, "Enhancing modularity and feedback in computer aided assessment", Computing, 2006. CIC'06. 15th International Conference on: IEEE, pp. 240–246, 2006.
Miranda, H., S. Leggio, L. Rodrigues, and K. Raatikainen, "Epidemic dissemination for probabilistic data storage", Emerging Communication: Studies on New Technologies and Practices in Communication, vol. 8, 2006.
Moniz, H., N. Ferreira Neves, M. Correia, and P. Verissimo, "Experimental comparison of local and shared coin randomized consensus protocols", Reliable Distributed Systems, 2006. SRDS'06. 25th IEEE Symposium on: IEEE, pp. 235–244, 2006.
Favarim, F., C. L Lung, J. da Silva Fraga, and M. Correia, "Fault-tolerant multiuser computational grids based on tuple spaces", International Workshop on Dependability in Service-oriented Grids (WODSOG), 2006.
Falcao, A. O., T. Langlois, and A. Wichert, "Flexible kernels for RBF networks", Neurocomputing, vol. 69, no. 16: Elsevier, pp. 2356–2359, 2006.
Miranda, H., and L. Rodrigues, "A framework to provide anonymity in reputation systems", Mobile and Ubiquitous Systems: Networking & Services, 2006 Third Annual International Conference on: IEEE, pp. 1–4, 2006.
Correia, M., N. Ferreira Neves, and P. Verissimo, "From consensus to atomic broadcast: Time-free Byzantine-resistant protocols without signatures", The Computer Journal, vol. 49, no. 1: Br Computer Soc, pp. 82–96, 2006.
Rodrigues, L., J. Mocito, and N. Carvalho, "From spontaneous total order to uniform total order: different degrees of optimistic delivery", Proceedings of the 2006 ACM symposium on Applied computing: ACM, pp. 723–727, 2006.

Pages