Publications

Export 2272 results:
2006
Araujo, F., and L. Rodrigues, Survey on Distributed Hash Tables, : University of Lisbon, 2006.
Araujo, F., and L. Rodrigues, Survey on Position-Based Routing1, , 2006.
Antunes, P., and , A Technique for Evaluating Shared Workspaces Efficiency, : 10th International Conference Computer Supported Cooperative Work in Design 3, 2006.
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.
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.
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.
Verissimo, P., "Travelling through wormholes: a new look at distributed systems models", ACM SIGACT News, vol. 37, no. 1: ACM, pp. 66–81, 2006.
Miranda, H., and L. Rodrigues, "A two-side perspective on cooperation in mobile ad hoc networks", Proceedings of the conference on mobile and ubiquitous systems. Escola de Engenharia-Universidade do Minho, Guimaraes, Portugal: Citeseer, pp. 109–118, 2006.
Rodrigues, C., M. Chaves, and M. J. Silva, "Uma representação ontológica da geografia f{ísica de Portugal", IX Encontro de Utilizadores de Informação Geográfica, ESIG-Oeiras, Portugal, 2006.
Radimirsch, M., E. V. Matthiesen, G. Huszerl, M. Reitenspieß, M. Kaaniche, I. Einar Svinnset, A. Casimiro, L. Falai, HIDENETS. Consortium, and , "Use case scenarios and preliminary reference model", EU FP6 IST project HIDENETS, deliverable D, vol. 1, 2006.
Antunes, P., C. J. Costa, and J. Alberto Pi Urtubia, The use of genre analysis in the design of electronic meeting systems, : UNIV SHEFFIELD DEPT INFORMATION STUDIES, 2006.
Neves, N. Ferreira, J. Antunes, M. Correia, P. Verissimo, and R. Neves, "Using attack injection to discover new vulnerabilities", Dependable Systems and Networks, 2006. DSN 2006. International Conference on: IEEE, pp. 457–466, 2006.
Couto, F., M. J. Silva, and P. M. Coutinho, "Validating associations in biological databases", Proceedings of the 15th ACM international conference on Information and knowledge management: ACM, pp. 142–151, 2006.
Coutinho, M., C. Almeida, and J. Rufino, "VITRAL-A text mode window manager for real-time embedded kernels.", ETFA, pp. 1254–1260, 2006.
Gomes, D., and M. J. Silva, The Viuva Negra crawler, : Department of Informatics, University of Lisbon, 2006.
Pereira, J., R. Oliveira, and L. Rodrigues, "Workshop on Reliability in Decentralized Distributed Systems (RDDS)-Distributed Algorithms-Efficient Epidemic Multicast in Heterogeneous Networks", Lecture Notes in Computer Science, vol. 4278: Berlin: Springer-Verlag, 1973-, pp. 1520–1529, 2006.
Ramalho, J. Carlos, J. Correia Lopes, A. Simões, and , XATA 2006: XML: aplicações e tecnologias associadas, , 2006.
Cardoso, N., B. Martins, M. Chaves, L. Andrade, and M. J. Silva, "The XLDB group at GeoCLEF 2005", Accessing Multilingual Information Repositories: Springer Berlin Heidelberg, pp. 997–1006, 2006.
Cardoso, N., L. Andrade, A. Simões, and M. J. Silva, "The XLDB group at the CLEF 2005 ad-hoc task", Accessing Multilingual Information Repositories: Springer Berlin Heidelberg, pp. 54–60, 2006.
2007
Rufino, J., and S. Filipe, AIR Project final report, : Department of Informatics, University of Lisbon, 2007.
Rufino, J., and S. Filipe, AIR Project Summary Report, : Department of Informatics, University of Lisbon, 2007.
Fiadeiro, J. Luiz, and A. Lopes, "An algebraic semantics of event-based architectures", Mathematical Structures in Computer Science, vol. 17, no. 05: Cambridge University Press, pp. 1029–1073, 2007.
Fiadeiro, J. Luiz, A. Lopes, and L. Bocchi, "Algebraic semantics of service component modules", Recent Trends in Algebraic Development Techniques: Springer Berlin Heidelberg, pp. 37–55, 2007.
Miranda, H., S. Leggio, L. Rodrigues, and K. Raatikainen, "An algorithm for dissemination and retrieval of information in wireless ad hoc networks", Euro-Par 2007 Parallel Processing: Springer Berlin Heidelberg, pp. 891–900, 2007.
Antunes, P., S. Relvas, and M. Borges, "Alternative dispute resolution based on the storytelling technique", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 15–31, 2007.
Oliveira, I., L. Carriço, N. Guimarães, T. Chambel, and C. Teixeira, Análise dos Estados de Atenção Visual e Auditiva com Base na Análise de Electroencefalogramas, : Department of Informatics, University of Lisbon, 2007.
Rosa, L., L. Rodrigues, and A. Lopes, Appia to R-Appia: Refactoring a Protocol Composition Framework for Dynamic Reconfiguration, : Department of Informatics, University of Lisbon, 2007.
Zurita, G., N. Baloian, P. Antunes, and F. Baytelman, "Applying Sensemaking in a Mobile Learning Scenario.", EC-TEL (Posters), 2007.
Ortiz, H., A. Casimiro, and P. Verissimo, "Architecture and Implementation of an Embedded Wormhole", Industrial Embedded Systems, 2007. SIES'07. International Symposium on: IEEE, pp. 341–344, 2007.
Rufino, J., S. Filipe, M. Coutinho, S. Santos, and J. Windsor, "ARINC 653 interface in RTEMS", Proc. DASIA, 2007.
Verissimo, P., "Assumptions: The Trojan Horses of Secure Protocols", Computer Network Security: Springer Berlin Heidelberg, pp. 34–41, 2007.
Gay, S., and V. T. Vasconcelos, "Asynchronous functional session types", Journal article, University of Glasgow, 2007.
Ferreira, A., and P. Antunes, Attentive Devices for Groupware Systems, , 2007.
Ferreira, A., and P. Antunes, Attentive Groupware Systems: A Framework and a Prototype Tool, : Department of Informatics, University of Lisbon, 2007.
Khanna, G., M. Yu Cheng, P. Varadharajan, S. Bagchi, M. Correia, and P. Verissimo, "Automated rule-based diagnosis through a distributed monitor system", Dependable and Secure Computing, IEEE Transactions on, vol. 4, no. 4: IEEE, pp. 266–279, 2007.
Santos, A. L., "Automatic support for model-driven specialization of object-oriented frameworks", Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion: ACM, pp. 923–924, 2007.
Lopes, R., and L. Carriço, "Automating XML pipelines through rules", XATA2007, XML: Aplicaçoes e Tecnologias Associadas, 2007.
Cruz-Filipe, L., F. Martins, and V. T. Vasconcelos, The Automotive Case Study in the Sensoria Core Calculi, : June, 2007.
Teixeira, E., J. Antunes, and N. Ferreira Neves, "Avaliação de Ferramentas de Análise Estática de Código para Detecção de Vulnerabilidades", Actas da 3ª Conferência Nacional Sobre Segurança Informática nas Organizações, Lisboa, Portugal, 2007.
Schmidt, H., R. Kapitza, F. J. Hauck, and H. P. Reiser, "AWSM: infrastructure for adaptive web service migration", On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops: Springer Berlin Heidelberg, pp. 3–4, 2007.
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, Bisimulations in SSCC, : Technical Report 37/2007, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007. To appear, 2007.
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, Bisimulations in SSCC. DI, : FCUL TR 07–37, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007.
Lopes, R., and L. Carriço, "Browsing a Structured Multimedia Repository.", WEBIST (2), pp. 429–432, 2007.
Rosa, L., L. Rodrigues, and A. Lopes, Building adaptive services for distributed systems, : Department of Informatics, University of Lisbon, 2007.
Rosa, L., L. Rodrigues, and A. Lopes, "Building adaptive systems with service composition frameworks", On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS: Springer Berlin Heidelberg, pp. 754–771, 2007.
Martins, F., A Calculus for Programming Wireless Sensor Networks, , 2007.
Hammouda, I., M. Jokinen, A. L. Santos, and K. Koskimies, "Concern-based learning of complex software platforms", Advanced Learning Technologies, 2007. ICALT 2007. Seventh IEEE International Conference on: IEEE, pp. 335–337, 2007.
Caires, L., and V. T. Vasconcelos, CONCUR 2007-Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings, , vol. 4703: Springer Science & Business Media, 2007.
Silva, S., P. Macedo, P. Antunes, and , CONFLICT RESOLUTION IN COLLABORATIVE NETWORK ENTERPRISES, , 2007.
Abreu, J., A. Caldeira, A. Lopes, I. Nunes, L. S. Reis, and V. T. Vasconcelos, Congu, Checking Java Classes Against Property-Driven Algebraic Specifications, : Department of Informatics, University of Lisbon, 2007.
Abreu, J., L. S. Reis, and V. T. Vasconcelos, ConGu v. 1.50 Implementation Guide, , 2007.
Duarte, C., and L. Carriço, "Conveying browsing context through audio on digital talking books", Universal Access in Human-Computer Interaction. Applications and Services: Springer, pp. 259–268, 2007.
Chambel, T., L. Correia, J. Manzolli, G. Dias Miguel, N. A. C. Henriques, and N. Correia, "Creating video art with evolutionary algorithms", Computers & Graphics, vol. 31, no. 6: Elsevier, pp. 837–847, 2007.
Bocchi, L., L. Ferrari, J. Fiadeiro, A. Lopes, C. Start Date, DSIUF. PISA, ISTI. UNIBO, UEDIN. FFCUL, and TIL. ATX, "D1. 1. c: Prototype language for service modelling: primitives for service description", SENSORIA Deliverables Month, vol. 18, 2007.
Chaves, M., C. Rodrigues, and M. J. Silva, Data model for geographic ontologies generation, : XATA2007-XML: Aplicações e Tecnologias Associadas, 2007.
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, "Decoupled quorum-based Byzantine-resilient coordination in open distributed systems", Network Computing and Applications, 2007. NCA 2007. Sixth IEEE International Symposium on: IEEE, pp. 231–238, 2007.
de Sá, M., L. Carriço, and P. Antunes, "Defining personalized therapies for handheld devices", Proceedings of the 2007 ACM symposium on Applied computing: ACM, pp. 163–164, 2007.
Bessani, A. Neves, E. Adilio Pel Alchieri, M. Correia, J. da Silva Fraga, and C. L Lung, "DEPSPACE: Um Middleware para Coordenaç ao em Ambientes Dinâmicos e Nao Confiaveis", Salao de Ferramentas do XXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuıdos, SBC, 2007.
Bessani, A. Neves, E. Adılio Pe Alchieri, J. da Silva Fraga, and C. L Lung, "Design and implementation of an intrusion-tolerant tuple space", Proceedings of the International Workshop on Recent Advances on Intrusion-Tolerant Systems (with EuroSys 2007), 2007.
Antunes, P., "A design framework for mobile collaboration", Encyclopedia of E-Collaboration: IGI Global, 2007.
de Sá, M., and L. Carriço, Designing for Mobile Devices, : HCI International Conference, 2007.
de Sá, M., and L. Carriço, "Designing for mobile devices: Requirements, low-fi prototyping and evaluation", Human-Computer Interaction. Interaction Platforms and Techniques: Springer Berlin Heidelberg, pp. 260–269, 2007.
de Sá, M., and L. Carriço, "Detecting learning difficulties on ubiquitous scenarios", Human-Computer Interaction. HCI Applications and Services: Springer Berlin Heidelberg, pp. 235–244, 2007.
Duarte, C., and L. Carriço, "Developing an Adaptive Digital Talking Book Player with FAME", Journal of Digital Information, vol. 8, no. 3, 2007.
Carriço, L., and C. Duarte, "Developing an adaptive digital talking book player with FAME", JoDI: Journal of Digital Information, vol. 8, no. 3: Texas A&M University Libraries, pp. 4, 2007.
Lanese, I., V. T. Vasconcelos, F. Martins, and C. Gr, "Disciplining Orchestration and Conversation", in Service-Oriented Computing. In 5th IEEE International Conference on Software Engineering and Formal Methods, 2007.
Lanese, I., V. T. Vasconcelos, F. Martins, and A. Ravara, "Disciplining orchestration and conversation in service-oriented computing", Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on: IEEE, pp. 305–314, 2007.
Abreu, J., A. Caldeira, A. Lopes, I. Nunes, L. S. Reis, and V. T. Vasconcelos, DI–FCUL TR–07–7, : Citeseer, 2007.
Rodrigues, L., "DSN 2007 Tutorials", Dependable Systems and Networks, 2007. DSN'07. 37th Annual IEEE/IFIP International Conference on: IEEE, pp. 801–801, 2007.
Veronese, G. Santos, M. Correia, C. L Lung, and P. Verissimo, "On the effects of finite memory on intrusion-tolerant systems", Dependable Computing, 2007. PRDC 2007. 13th Pacific Rim International Symposium on: IEEE, pp. 401–404, 2007.
Veronese, G. Santos, V. Miguel, C. Lau, C. L Lung, and P. Verissimo, On the Effects of Finite Memory on Intrusion-Tolerant Systems*, , 2007.
Prata, A., T. Chambel, and N. Guimarães, e-iTV: Cross-Media Personalized Learning Environments via Interactive TV, : International Workshop on Personalization in iTV, 2007.
Carvalho, N., J. Pereira, R. Oliveira, and L. Rodrigues, "Emergent structure in unstructured epidemic multicast", Dependable Systems and Networks, 2007. DSN'07. 37th Annual IEEE/IFIP International Conference on: IEEE, pp. 481–490, 2007.
Leitao, J., J. Pereira, and L. Rodrigues, "Epidemic broadcast trees", Reliable Distributed Systems, 2007. SRDS 2007. 26th IEEE International Symposium on: IEEE, pp. 301–310, 2007.
Barbosa, M. Prestes, JM. Moraes Neto, MF. Fernandes, and MJ. Silva, "Estudo da degradação das terras-munic{ípio de Picos–PI", SIMPÓSIO BRASILEIRO DE SENSORIAMENTO REMOTO, vol. 13, pp. 4357–4363, 2007.
Dantas, W. Saback, A. Neves Bessani, J. da Silva Fraga, and M. Correia, "Evaluating Byzantine quorum systems", Reliable Distributed Systems, 2007. SRDS 2007. 26th IEEE International Symposium on: IEEE, pp. 253–264, 2007.
Pesquita, C., D. Faria, H. Bastos, A. O. Falcao, and F. Couto, "Evaluating go-based semantic similarity measures", Proc. 10th Annual Bio-Ontologies Meeting, vol. 37, no. 40, pp. 38, 2007.
Pesquita, C., D. Faria, H. Bastos, A. O. Falcao, and F. Couto, "Evaluating gobased semantic similarity measures", Proc. 10th Annual Bio-Ontologies Meeting, vol. 2007, pp. 37–40, 2007.
Pesquita, C., D. Faria, H. Bastos, A. O. Falcao, and F. Couto, "Evaluating GO-based Semantic Similarity Measures. ISMB/ECCB 2007 SIG Meeting Program Materials", International Society for Computational Biology, 2007.
Duarte, C., L. Carriço, and N. Guimarães, "Evaluating usability improvements by combining visual and audio modalities in the interface", Human-Computer Interaction. Interaction Design and Usability: Springer Berlin Heidelberg, pp. 428–437, 2007.
Herskovic, V., J. A. Pino, S. F. Ochoa, and P. Antunes, "Evaluation methods for groupware systems", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 328–336, 2007.
Favarim, F., J. da Silva Fraga, C. L Lung, M. Correia, and J. Felipe Santos, "Exploiting tuple spaces to provide fault-tolerant scheduling on computational grids", Object and Component-Oriented Real-Time Distributed Computing, 2007. ISORC'07. 10th IEEE International Symposium on: IEEE, pp. 403–411, 2007.
Santos, A. L., K. Koskimies, and A. Lopes, Extending Object-Oriented Frameworks with Aspects for Enabling Automatic Support for Domain-Specic Modeling, : Department of Informatics, University of Lisbon, 2007.
Couto, F., T. Grego, R. Torres, P. Sánchez, L. Pascual, and C. Blaschke, "Filtering bioentity recognition errors in bioliterature using a case-based approach", BioLINK SIG, ISMB/ECCB, 2007.
Antunes, J., N. Ferreira Neves, and P. Verissimo, Finding Local Resource Exhaustion Vulnerabilities, : International Symposium on Software Reliability Engineering, 2007.
Pilowsky, F. Bruno Bayt, P. Antunes, G. Zurita Alarcón, and N. Baloian Tataryan, A Flexible, Lightweight Middleware Supporting the Development of Distributed Applications across Platforms, , 2007.
Martinho, R., D. Domingos, and J. Varajao, A flexible perspective for software processes-Supporting Flexibility in the Software Process Engineering Metamodel, : 9th International Conference on Enterprise Information Systems, 2007.
Martinho, R., D. Domingos, and J. Varajao, "FlexUML: A UML Profile for Flexible Process Modeling.", SEKE, pp. 215–220, 2007.
Lopes, L., F. Martins, M. S. Silva, and J. Barros, "A formal model for programming wireless sensor networks", arXiv preprint cs/0702042, 2007.
Martins, F., A Formal Model for Programming Wireless Sensor Networks, , 2007.
Rufino, J., R. Pinto, and C. Almeida, "A FPGA-based solution for enforcing dependability and timeliness in CAN", Proceedings of the 2007 IP Based Electronic System (IP'07), Grenoble, France, 2007.
Casimiro, A., P. Lolinni, M. Dixit, A. Bondavalli, and P. Verissimo, A framework for dependable adaptation in probabilistic environments, : Department of Informatics, University of Lisbon, 2007.
Zurita, G., N. Baloian, F. Baytelman, A. Farias, and P. Antunes, "A Framework like a tool for specify motivating Collaborative Learning Participatory Simulations", Computer Supported Cooperative Work in Design, 2007. CSCWD 2007. 11th International Conference on: IEEE, pp. 1016–1021, 2007.
Pilowsky, F. Bruno Bayt, P. Antunes, N. Baloian Tataryan, A. Farias, and G. Zurita Alarcón, A Framework like a tool for specify motivating Collaborative Learning Participatory Simulations, , 2007.
Alarcón, G. Zurita, N. Baloian, F. Baytelman, A. Farias, P. Antunes, and , A Framework like a tool for specify motivating Collaborative Learning Participatory Simulations, , 2007.
Santos, A. L., A. Lopes, and K. Koskimies, "Framework specialization aspects", Proceedings of the 6th international conference on Aspect-oriented software development: ACM, pp. 14–24, 2007.
Rosa, L., L. Rodrigues, and A. Lopes, "A framework to support multiple reconfiguration strategies", Proceedings of the 1st international conference on Autonomic computing and communication systems: ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), pp. 15, 2007.
Dwyer, M. B., and A. Lopes, Fundamental Approaches to Software Engineering: 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007: Proceedings, : Springer, 2007.
Casimiro, A., J. Kaiser, and P. Verissimo, "Generic-Events Architecture: Integrating real-world aspects in event-based systems", Architecting dependable systems IV: Springer Berlin Heidelberg, pp. 287–315, 2007.

Pages