CITI - Centro de Informática e Tecnologias da Informação

Research Output

Filter
Chapter
2015

Transactional Memory. Foundations, Algorithms, Tools, and Applications: Framework Support for the Efficient Implementation of Multi-version Algorithms

Dias, R. J., Vale, T. M. & Lourenço, J. M., 2015, Transactional Memory. Foundations, Algorithms, Tools, and Applications: Framework Support for the Efficient Implementation of Multi-version Algorithms. Guerraoui, R. & Romano, P. (eds.). SPRINGER INTERNATIONAL PUBLISHING AG, Vol. 8913. p. 166-191 26 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

2014

An Approach for Characterizing Group-Based Interactive Environments

Morgado, C. P., Leitão, T. & Cunha, J. A. C. E., 2014, Distributed Systems and Applications of Information Filtering and Retrieval: DART 2012: Revised and Invited Papers. Lai, C., Giuliani, A. & Semeraro, G. (eds.). Heidelberg: Springer Berlin Heidelberg, p. 79-100 (Studies in Computational Intelligence; vol. 515).

Research output: Chapter in Book/Report/Conference proceedingChapter

Classification of model transformation tools: Pattern matching techniques

Gomes, C., Barroca, B. & Amaral, V., 2014, Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings. Dingel, J., Schulte, W., Ramos, I., Abrahão, S. & Insfran, E. (eds.). Cham: Springer International Publishing, Vol. 8767. p. 619-635 17 p. (Lecture Notes in Computer Science; vol. 8767).

Research output: Chapter in Book/Report/Conference proceedingChapter

7 Citations (Scopus)

Entertaining the Whole World

Cheok, A. D., Romão, T. I. L., Nijholt, A. & Yu, G., 2014, Entertaining the Whole World. Cheok, A. D., Nijholt, A. & Romão, T. (eds.). London: Springer, p. 1-3 3 p. (Human–Computer Interaction Series).

Research output: Chapter in Book/Report/Conference proceedingChapter

Fostering Learning and Behavior Change Through Computer Entertainment

Romão, T. I. L., 13 Sep 2014, Entertaining the Whole World. Cheok, A. D., Nijholt, A. & Romão, T. (eds.). London: Springer London, p. 41-62 (Human–Computer Interaction series).

Research output: Chapter in Book/Report/Conference proceedingChapter

Playing with the Environment

Centieiro, P., Romão, T. I. L. & Dias, A. E. C. P. B., 2014, Playful User Interfaces - Interfaces that Invite Social and Physical Interaction. Nijholt, A. (ed.). Singapure: Springer, p. 47-69 (Gaming Media and Social Effects).

Research output: Chapter in Book/Report/Conference proceedingChapter

Using GPS logs to identify agronomical activities

Rodrigues, A., Damásio, C. & Cunha, J. E., Jan 2014, Connecting a Digital Europe Through Location and Place. Huerta, J., Schade, S. & Granell, C. (eds.). Cham: Springer International Publishing, Vol. 2. p. 105-121 17 p. (Lecture Notes in Geoinformation and Cartography).

Research output: Chapter in Book/Report/Conference proceedingChapter

6 Citations (Scopus)
2013

Aspect-Oriented Compositions for Dynamic Behavior Models

Júnior, J. B. D. S. A., 1 Jan 2013, Aspect-Oriented Requirements Engineering. Ana, M., Ruzanna, C., João, A. & Awais, R. (eds.). Berlin: Springer-Verlag, p. 45-60

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

Aspects Composition in Problem Frames

Júnior, J. B. D. S. A. & Moreira, A. M. D., 1 Jan 2013, Aspect-Oriented Requirements Engineering. Berlin: Springer Berlin Heidelberg, p. 121-141

Research output: Chapter in Book/Report/Conference proceedingChapter

Automatic Extraction of Explicit and Implicit Keywords to Build Document Descriptors

Silva, J. F. F., 1 Jan 2013, Progress in Artificial Intelligence. Correia, L., Reis, L. P. & Cascalho, J. (eds.). Heidelberg: Springer Berlin Heidelberg, p. 492-503 (Lecture Notes in Computer Science; no. 8154).

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

Conflict Identification with EA-Analyser

Júnior, J. B. D. S. A. & Moreira, A. M. D., 1 Jan 2013, Aspect-Oriented Requirements Engineering. Ana, M., Ruzanna, C., João, A. & Awais, R. (eds.). Berlin: Springer Berlin Heidelberg, p. 209-224

Research output: Chapter in Book/Report/Conference proceedingChapter

Conflict identification with EA-analyzer

Sardinha, A., Chitchyan, R., Araújo, J., Moreira, A. & Rashid, A., 1 Nov 2013, Aspect-Oriented Requirements Engineering. Springer-Verlag Berlin and Heidelberg GmbH, Vol. 9783642386404. p. 209-224 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

4 Citations (Scopus)

Evaluating the usability of domain-specific languages

Barišić, A., Goulão, M., Amaral, V. & Barroca, B., 31 Jul 2013, Software Design and Development: Concepts, Methodologies, Tools, and Applications. IGI Global, Vol. 4-4. p. 2120-2141 22 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
8 Citations (Scopus)

Handling Conflicts in Aspect-Oriented Requirements Engineering

Júnior, J. B. D. S. A., Moreira, A. M. D., Ribeiro, M. R. S. D. A. & DEE Group Author, 1 Jan 2013, Aspect-Oriented Requirements Engineering. Ana, M., Ruzanna, C., João, A. & Awais, R. (eds.). Heidelberg: Springer Berlin Heidelberg, p. 225-241

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Mapping aspects from requirements to architecture

Júnior, J. B. D. S. A. & Moreira, A. M. D., 1 Jan 2013, Aspect-Oriented Requirements Engineering. Berlin: Springer-Verlag, p. 145-166

Research output: Chapter in Book/Report/Conference proceedingChapter

Using Aspects to Model Volatile Concerns

Moreira, A. M. D., Goulão, M. C. P. A. & Júnior, J. B. D. S. A., 1 Jan 2013, Aspect-Oriented Requirements Engineering. Berlin: Springer Berlin Heidelberg, p. 183-205

Research output: Chapter in Book/Report/Conference proceedingChapter

Using Clusters of Concepts to Extract Semantic Relations from Standalone Documents

Silva, J. F. F., 1 Jan 2013, Progress in Artificial Intelligence. Correia, L., Reis, L. P. & Cascalho, J. (eds.). Heidelberg: Springer Berlin Heidelberg, p. 516-527 (Lecture Notes in Computer Science; no. 8154).

Research output: Chapter in Book/Report/Conference proceedingChapter

2012

Advanced Mechanisms for Service Combination and Transactions

Ravara, A. M. L. C. A., Ferreira, C. M. G. & Vieira, H. F. M. T., 1 Jan 2012, Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Martin, W. & Matthias, H. (eds.). Berlin / Heidelberg: Springer, p. 302-325 (Lecture Notes in Computer Science; no. 6582).

Research output: Chapter in Book/Report/Conference proceedingChapter

A Gesture Interface Game for Energy Consumption Awareness

Romão, T. I. L., 1 Jan 2012, Advances in Computer Entertainment: Proceedings of the 9th International Conference, ACE 2012, Kathmandu, Nepal, November 3-5, 2012. Nijholt, A., Romão, T. & Reidsma, D. (eds.). Heidelberg, Berlin: Springer Berlin Heidelberg, p. 352-367 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); no. 7624).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
4 Citations (Scopus)

Evaluating the Usability of Domain-Specific Languages

Goulão, M. C. P. A. & Amaral, V. M. M. D., 2012, Formal and Practical Aspects of Domain-Specific Languages: Recent Developments. Mernik, M. (ed.). 1 ed. United States of America: IGI Global, p. 386-407 22 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

16 Citations (Scopus)

Mining Causality from Non-categorical Numerical Data

Lopes, J. G. P. & Silva, J. F. F., 1 Jan 2012, Behavior Computing. Analysis, Mining and Decision. London: Springer London, p. 215-227

Research output: Chapter in Book/Report/Conference proceedingChapter

2011

Aspect-oriented Refactoring of Java Programs

Monteiro, M. J. T. P., 1 Jan 2011, Java in Academia and Research. Cai, K. (ed.). online: iConcept, p. 3:1-3:18

Research output: Chapter in Book/Report/Conference proceedingChapter

Behavioral Theory for Session-Oriented Calculi

Vieira, H. F. M. T. & Ravara, A. M. L. C. A., 1 Jan 2011, Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Martin, W. & Matthias, H. (eds.). Berlin / Heidelberg: Springer, p. 189-213 (Lecture Notes in Computer Science; no. 6582).

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

Core Calculi for Service-Oriented Computing

Caires, L. M. M. D. C., 1 Jan 2011, Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing.. Wirsing, M. & Hölzl, M. M. (eds.). Berlin Heidelberg: Springer Berlin Heidelberg, p. 153-188 (Lecture Notes in Computer Science; no. 6582).

Research output: Chapter in Book/Report/Conference proceedingChapter

7 Citations (Scopus)

Hybrid Assessment Method for SPL

Júnior, J. B. D. S. A., Moreira, A. M. D. & Ribeiro, M. R. S. D. A., 1 Jan 2011, Aspect-Oriented, Model-Driven Software Product Lines: The AMPLE Way. Rashid, A., Royer, J-C. & Rummler, A. (eds.). US: Cambridge University Press, p. 125-158

Research output: Chapter in Book/Report/Conference proceedingChapter

Managing Information Flow in SPL Development Processes

Moreira, A. M. D., 1 Jan 2011, Aspect-Oriented, Model-Driven Software Product Lines. The AMPLE Way. Rashid, A. (ed.). Cambridge: Cambridge University Press, p. 222-262

Research output: Chapter in Book/Report/Conference proceedingChapter

Model-Driven Requirements Specification for Software Product Lines

Júnior, J. B. D. S. A., Moreira, A. M. D. & Amaral, V. M. M. D., 1 Jan 2011, Model-Driven Domain Analysis and Software Development: Architectures and Functions. US: IGI Global, p. 369-386

Research output: Chapter in Book/Report/Conference proceedingChapter

Static Analysis Techniques for Session-Oriented Calculi

Vieira, H. F. M. T., 1 Jan 2011, Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Martin, W. & Matthias, H. (eds.). Berlin / Heidelberg: Springer, p. 214-231 (Lecture Notes in Computer Science; no. 6582).

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

The Need for Early Aspects

Júnior, J. B. D. S. A. & Moreira, A. M. D., 1 Jan 2011, International Summer School on Generative and transformational techniques in software engineering III. Germany: Springer, p. 386-407

Research output: Chapter in Book/Report/Conference proceedingChapter

5 Citations (Scopus)

Tools and Verification

Vieira, H. F. M. T. & Caires, L. M. M. D. C., 1 Jan 2011, Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Martin, W. & Matthias, H. (eds.). Berlin / Heidelberg: Springer, p. 408-427 (Lecture Notes in Computer Science; no. 6582).

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)

Variability Management

Júnior, J. B. D. S. A. & Moreira, A. M. D., 1 Jan 2011, Aspect-Oriented, Model-Driven Software Product Lines The AMPLE Way. Rashid, A., Royer, J-C. & Rummler, A. (eds.). US: Cambridge University Press, p. 82-124

Research output: Chapter in Book/Report/Conference proceedingChapter

2010

SmART: An Application Reconfiguration Framework

Lourenço, J. M. D. S. & Paulino, H. M. C., 1 Jan 2010, Complex Systems Design & Management. Aiguier, M., Bretaudeau, F. & Krob, D. (eds.). Berlin, DE: Springer Berlin Heidelberg, p. 73-84 (Springer Realtime).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
2 Citations (Scopus)

Toward automatic performance tuning for numerical simulations in the SILC matrix computation framework

Kajiyama, T., 1 Jan 2010, Software Automatic Tuning: From Concepts to the State-of-the-Art Results. Naono, K., Teranishi, K., Cavazos, J. & Suda, R. (eds.). New York, USA: Springer, p. 175-192

Research output: Chapter in Book/Report/Conference proceedingChapter

2009

A language and a methodology for prototyping user interfaces for control systems

Amaral, V. M. M. D., 1 Jan 2009, Human Machine Interaction Research Results of the MMI Program. Lalanne, D. & Kohlas, J. (eds.). Switzerland: Springer-Verlag, p. 223-252 (Human Machine Interaction Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

4 Citations (Scopus)

Euromedia’2009

Correia, N. M. R. & Barbas, H. M. D. F. M., 1 Jan 2009, Fifteenth Annual Scientific Conference on Web Technology, New Media, Communications and Telematics Theory, Methods, Tools and Applications. Eurosis (ed.). Bruges, Bélgica: Eurosis, p. 33-41

Research output: Chapter in Book/Report/Conference proceedingChapter

Session-Based Compilation Framework for Multicore Programming

Paulino, H. M. C., 1 Jan 2009, Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures. Frank S. de Boer and Marcello M. Bonsangue and Eric Madelain ed. Germany: Springer Berlin Heidelberg, Vol. 5751. p. 226-246 (Lecture Notes in Computer Science; no. 5751).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
13 Citations (Scopus)
2008

Ubiquitous Gaming Interaction: Engaging Play Anywhere

Correia, N. M. R., 1 Jan 2008, The Art and Science of Interface and Interaction Design. Sommerer, C., Jain, L. C. & Mignonneau, L. (eds.). Germany: Springer-Verlag, p. 115-130 (Studies in Computational Intelligence).

Research output: Chapter in Book/Report/Conference proceedingChapter

2005

A pattern-based software engineering tool for grid environments

Gomes, MC., Cunha, J. C. & Rana, O. F., 2005, Concurrent Information Processing and Computing. Nicolau, A. & Grigoras, D. (eds.). IOS Press, p. 213-222 (NATO SCIENCE SERIES, SUB-SERIES III: COMPUTER AND SYSTEMS SCIENCES; vol. 195).

Research output: Chapter in Book/Report/Conference proceedingChapter