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

Research Output 1998 2018

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

Metadata
Data storage equipment
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

Mobile computing
Internet
7 Citations (Scopus)

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

Pattern matching
Model Transformation
Pattern Matching
Syntactics
Optimization Techniques

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

Entertainment
Creativity
Developing world
Nepal
Emerging markets

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

Sustainable development

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

Display devices
Smartphones
Bins
Natural resources
Planets
6 Citations (Scopus)

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

2013
2 Citations (Scopus)

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

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

2 Citations (Scopus)

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

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

3 Citations (Scopus)

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

Requirements engineering
Software engineering
Formal specification
6 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
User interfaces
DSL
1 Citation (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

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

4 Citations (Scopus)

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
16 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

User interfaces
DSL

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

2 Citations (Scopus)

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

7 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

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

2 Citations (Scopus)

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

5 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

3 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

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
2 Citations (Scopus)

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

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
4 Citations (Scopus)

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

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

13 Citations (Scopus)

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
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