Publications

Export 2364 results:
Book Chapter
Duarte, C., D. Costa, P. Feiteira, and D. Costa, "Building an Adaptive Multimodal Framework for Resource Constrained Systems", A Multimodal End-2-End Approach to Accessible Computing: Springer London, pp. 155–173, 2013.
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.
Rufino, J., J. Craveiro, and P. Verissimo, "Building a time-and space-partitioned architecture for the next generation of space vehicle avionics", Software Technologies for Embedded and Ubiquitous Systems: Springer Berlin Heidelberg, pp. 179–190, 2010.
Maria, N., and M. J. Silva, "Building a digital library of web news", Research and Advanced Technology for Digital Libraries: Springer Berlin Heidelberg, pp. 344–347, 2000.
Casimiro, A., J. Kaiser, J. Karlsson, E. Michael Schiller, P. Tsigas, P. Costa, J. Parizi, R. Johansson, and R. Librino, "Brief announcement: Karyon: Towards safety kernels for cooperative vehicular systems", Stabilization, Safety, and Security of Distributed Systems: Springer Berlin Heidelberg, pp. 232–235, 2012.
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.
Alchieri, E., A. Neves Bessani, F. Greve, and J. da Silva Fraga, "Brief announcement: decoupled and consensus-free reconfiguration for fault-tolerant storage", Distributed Computing: Springer Berlin Heidelberg, pp. 443–444, 2012.
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.
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-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, "Behavioural theory at work: program transformations in a service-centred calculus", Formal Methods for Open Object-Based Distributed Systems: Springer Berlin Heidelberg, pp. 59–77, 2008.
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.
Antunes, P., C. Sapateiro, J. A. Pino, V. Herskovic, and S. F. Ochoa, "Awareness checklist: reviewing the quality of awareness support in collaborative applications", Collaboration and Technology: Springer Berlin Heidelberg, pp. 202–217, 2010.
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.
Domingos, D., A. Rito-Silva, and P. Veiga, "Authorization and access control in adaptive workflows", Computer Security–ESORICS 2003: Springer Berlin Heidelberg, pp. 23–38, 2003.
Verissimo, P., "Assumptions: The Trojan Horses of Secure Protocols", Computer Network Security: Springer Berlin Heidelberg, pp. 34–41, 2007.
Martins, B., M. Chaves, and M. J. Silva, "Assigning geographical scopes to web pages", Advances in Information Retrieval: Springer Berlin Heidelberg, pp. 564–567, 2005.
Fernandes, N., and L. Carriço, "Assessing the effort of repairing the accessibility of web sites", Computers Helping People with Special Needs: Springer Berlin Heidelberg, pp. 396–403, 2012.
Fernandes, N., R. Lopes, and L. Carriço, "An architecture for multiple web accessibility evaluation environments", Universal Access in Human-Computer Interaction. Design for All and eInclusion: Springer Berlin Heidelberg, pp. 206–214, 2011.
Rufino, J., J. Craveiro, and P. Verissimo, "Architecting robustness and timeliness in a new generation of aerospace systems", Architecting dependable systems VII: Springer Berlin Heidelberg, pp. 146–170, 2010.
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.
Bastos, H., B. Tavares, C. Pesquita, D. Faria, and F. Couto, "Application of Gene Ontology to gene identification", In Silico Tools for Gene Discovery: Humana Press, pp. 141–157, 2011.
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.
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.
Carvalho, J., L. Duarte, and L. Carriço, "An analysis of player strategies and performance in audio puzzles", Entertainment Computing-ICEC 2012: Springer Berlin Heidelberg, pp. 349–362, 2012.
Daidone, A., S. Chiaradonna, A. Bondavalli, and P. Verissimo, "Analysis of a redundant architecture for critical infrastructure protection", Architecting Dependable Systems V: Springer Berlin Heidelberg, pp. 78–100, 2008.
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.
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.
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.
Faria, D., C. Pesquita, E. Santos, M. Palmonari, I. F. Cruz, and F. Couto, "The agreementmakerlight ontology matching system", On the Move to Meaningful Internet Systems: OTM 2013 Conferences: Springer Berlin Heidelberg, pp. 527–541, 2013.
Schmidt, H., R. Kapitza, F. J. Hauck, and H. P. Reiser, "Adaptive web service migration", Distributed Applications and Interoperable Systems: Springer Berlin Heidelberg, pp. 182–195, 2008.
Araujo, F., and H. Miranda, "Ad Hoc Routing", Middleware for Network Eccentric and Mobile Applications: Springer Berlin Heidelberg, pp. 63–93, 2009.
Campos, J. P., and M. J. Silva, "ActiveXML: Compound documents for integration of heterogeneous data sources", Research and Advanced Technology for Digital Libraries: Springer Berlin Heidelberg, pp. 380–384, 2000.
Costa, D., N. Fernandes, C. Duarte, and L. Carriço, "Accessibility of dynamic adaptive web tv applications", Computers Helping People with Special Needs: Springer Berlin Heidelberg, pp. 343–350, 2012.
Campos, P., and T. Langlois, "Abalearn: A risk-sensitive approach to self-play learning in abalone", Machine Learning: ECML 2003: Springer Berlin Heidelberg, pp. 35–46, 2003.
Book
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.
Lopes, A., and R. de Lemos, Software Architecture: 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings, , vol. 10475: Springer, 2017.
Falcao, A. O., and JG. Borges, SAGfLOR 2.0-Simulador de Alternativas de Gestão. Manual de Utilização, : Grupo de Economia e Planeamento em Recursos Florestais, Documento nº5, DEF, Lisboa, 1999.
Oliveira, I., O. Grigore, N. Guimarães, NE. Mastorakis, V. Mladenov, Z. Bojkovic, S. Kartalopoulos, A. Varonides, M. Jha, and D. Simian, Reading detection based on electroencephalogram processing, , no. 13: WSEAS, 2009.
Lanese, I., A. Lluch Lafuente, A. Sokolova, and H. Torres Vieira, Proceedings of the 7th Interaction and Concurrency Experience (ICE 2014), , 2014.
Dixit, M., A. Casimiro, and P. Verissimo, Probabilistic Adaptive Time-Aware Consensus, : Eurosys, 2009.
Biswas, P., C. Duarte, P. Langdon, L. Almeida, and C. Jung, A Multimodal End-2-End Approach to Accessible Computing, : Springer, 2013.
Correia, N., T. Chambel, and G. Davenport, Multimedia '99: Proceedings of the Eurographics Workshop in Milano, Italy, September 7–8, 1999, : Springer, 1999.
de Sá, M., C. Duarte, and L. Carriço, Mobile interaction design: Techniques for early stage in-situ design, : INTECH Open Access Publisher, 2008.
Lopes, L., F. Martins, and J. Barros, Middleware for Network Eccentric and Mobile Applications, chapter 2, : Springer-Verlag, 2009.
Garbinato, B\^ıt., H. Miranda, and L. Rodrigues, Middleware for Network Eccentric and Mobile Applications, : Springer-Verlag New York Inc, 2009.
Guerraoui, R., and L. Rodrigues, Introduction to reliable distributed programming, : Springer Science & Business Media, 2006.
Guerraoui, R., and L. Rodrigues, Introduction to distributed algorithms, : Springer, Heidelberg, 2004.
Bidarra, J., N. Guimarães, and P. Kommers, Hypermedia complexity: Fractal hyperscapes and mind mapping, : IOS Press, Amesterdão, 2004.
Bidarra, J., N. Guimarães, and P. Antonius M. Kommers, Handling Hypermedia Complexity: Fractal Hyperscapes and Mind Mapping, : Centre for Telematics and Information Technology, University of Twente, 2001.
Briggs, R. O., P. Antunes, G-J. de Vreede, and A. S. Read, Groupware: Design, Implementation, and Use: 14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008, Revised Selected Papers, , vol. 5411: Springer Science & Business Media, 2008.
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.
Lee, D., A. Lopes, and A. Poetzsch-Heffter, Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings, , vol. 5522: Springer Science & Business Media, 2009.
Baptista, M., S. Graf, JL. Richier, L. Rodrigues, C. Rodriguez, P. Verissimo, and J. Voiron, Formal Specification and Verification of a Network Independent Atomic Multicast Protocol, : FORMAL DESCRIPTION TECHNIQUES, III. IFIP. North-Holland, 1991.
Neves, N. Ferreira, and P. Verissimo, First Specification of APIs and Protocols for the MAFTIA Middleware, : University of Newcastle upon Tyne, Computing Science, 2002.
Verissimo, P., and L. Rodrigues, Distributed systems for system architects, , vol. 1: Springer Science & Business Media, 2001.
Verissimo, P., N. Ferreira Neves, M. Correia, Y. Deswarte, A. Abou El Kalan, A. Bondavalli, and A. Daidone, The CRUTIAL Architecture for Critical Information Infrastructures, Architecting Dependable Systems V, : Springer-Verlag, Berlin, Heidelberg, 2008.
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.
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.
Rufino, J., P. Verissimo, and G. Arroz, CAN Bus Media Redundancy, : European Space Agency (ESA) ESTEC Spacecraft Control and Data Systems Division 1st. CAN in Space Workshop, Noordwijk, The Netherlands, 2002.
Wang, F., G. Luo, C. Weng, A. Khan, P. Mitra, and C. Yu, Biomedical Data Management and Graph Online Querying, : Springer, 2016.
Cruz-Filipe, L., F. Martins, and V. T. Vasconcelos, The Automotive Case Study in the Sensoria Core Calculi, : June, 2007.
Casimiro, A., and R. de Lemos, Architecting dependable systems VII, , vol. 6420: Springer, 2010.
Guerraoui, R., and L. Rodrigues, Abstractions for Distributed Programming, : preparation, 2003.
Rodrigues, L., and W-S. Eric Chen, 22nd International Conference on Distributed Computing Systems: ICDCS 2002: Proceedings: 2-5 July, 2002, Vienna, Austria, : IEEE Computer Society, 2002.

Pages