Export 2488 results:
Sort by: Author Title Type [ Year  (Desc)]
2011
Gonçalves, Ricardo, and José Júlio Alferes. "Parametrized Equilibrium Logic." Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011. Springer, 2011. 236-241. Abstractlpnmr11.pdf

n/a

Gomes, Ana Sofia, and José Júlio Alferes. "A Proposal for Transactions in the Semantic Web." Progress in Artificial Intelligence, 15th Portuguese Conference on Artificial Intelligence, EPIA 2011. Springer, 2011. 690-703. Abstractepia11.pdf

n/a

Knorr, Matthias, and José Júlio Alferes. "Querying OWL 2 QL and Non-monotonic Rules." The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference Science. Springer, 2011. 338-353. Abstractiswc11.pdf

n/a

Gomes, Ana Sofia, and José Júlio Alferes. "Transaction Logic with External Actions." Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011. Springer, 2011. 272-277. Abstractlpnmr11b.pdf

n/a

P. Espada, M. Goulão, and J. Araújo. "Measuring complexity and completeness of KAOS goal models." Proceedings of the International Workshop on Empirical Requirements Engineering (EmpiRE 2011), at the 19th International Requirements Engineering Conference (RE 2011). IEEE Computer Society, 2011. 29-32. Abstract

n/a

M. Goulão, A. Moreira, J. Araújo, and J. Santos. "Streamlining scenario modeling with Model-Driven Development: A case study." Proceedings of the Model-Driven Requirements Engineering Workshop (MoDRE 2011), at the 19th International Requirements Engineering Conference (RE 2011). IEEE Computer Society, 2011. 55-63. Abstract

n/a

P. Varela, J. Araújo, I. Brito, and A. Moreira. "Aspect-Oriented Analysis for Software Product Lines Requirements Engineering." 26th Symposium On Applied Computing, ACM SAC 2011. ACM Press, 2011. 654-671. Abstract

n/a

Freitas, F., V. D. Alves, and M. A. M. Reis. "Advances in bacterial exopolysaccharides: from production to biotechnological applications." Trends in Biotechnology . 29.8 (2011): 388-398.freitas_2011_trends_biotechnol_298_388-398.pdf
Azevedo, S. G., H. Carvalho, and V. Cruz-Machado. "Agile Index: Automotive Supply Chain." World Academy of Science, Engineering and Technology. 79 (2011): 784-790. AbstractWebsite

The supply chains (SCs) have to appeal to new management paradigms to improve their ability to respond rapidly and cost effectively to unpredictable changes in markets and increasing levels of environmental turbulence, both in terms of volume and variety. In this highly demanded context, the Agile paradigm provides the capabilities to SC quickly adapt to changes in the market requirements. The purpose of this paper is to suggest an Agile Index to assess the agility of the automotive companies and corresponding SCs.The proposed integrated assessment model incorporates Agile practices weighted according to their importance to the automotive SC competitiveness and obtained from the Delphi technique.

Micaelo, Rui, Jaime Ribeiro, Maria Azevedo, and Nuno Azevedo. "Asphalt compaction study: micromechanical modelling of a simplified lab compaction procedure." Road Materials and Pavement Design. 12.3 (2011): 461-491.Website
Araújo, João, Vítor H. Fernandes, Manuel M. Jesus, Victor Maltcev, and James D. Mitchell. "Automorphisms of partial endomorphism semigroups." Publicationes Mathematicae Debrecen. 79.1-2 (2011): 23-39.
Araújo, João, Vítor H. Fernandes, Manuel M. Jesus, Victor Maltcev, and James D. Mitchell. "Automorphisms of partial endomorphism semigroups." Publ. Math.. 79 (2011): 23-39. Abstract

n/a

Lucas, V., and M. P. Amado Avaliação da Construção Sustentável. iiSBE. Lisboa, Portugal: iiSBE - UM, 2011.
Amado, M. P., T. Lopes, E. R. Moura, J. C. Freitas, and M. R. Ribeiro Avaliação da Sustentabilidade do PDM. 6º CLEM 2011. Maputo, Moçambique: INEGI, 2011.
Alves, V. D., A. R. Ferreira, N. Costa, F. Freitas, M. A. M. Reis, and I. M. Coelhoso. "Characterization of biodegradable films from the extracellular polysaccharide produced by Pseudomonas oleovorans grown on glycerol byproduct." Carbohydrate Polymers . 83 (2011): 1582-1590.alves_2011_carb_pol_83_1582-1590.pdf
Farias, P., and M. P. Amado Construção Sustentável - Processo de Ateração de Uso em Edifícios. iiSBE. Lisboa, Portugal: iiSBE - UM, 2011.
Gomes, M., and M. P. Amado Construção Sustentável – Contributo da Utilização da Parede de Trombe. 6º CLEM 2011. Maputo, Moçambique: INEGI, 2011.
Dinis, R., and M. P. Amado Contributos para a Reabilitação Sustentável de Edifícios. 6º CLEM 2011. Maputo, Moçambique: INEGI, 2011.
Almeida, G., F. Melicio, C. Chastre, and J. Fonseca Displacement measurements with ARPS in T-beams load tests. Vol. 349 AICT., 2011. Abstract

The measurement of deformations, displacements, strain fields and surface defects in many material tests in Civil Engineering is a very important issue. However, these measurements require complex and expensive equipment and the calibration process is difficult and time consuming. Image processing could be a major improvement, because a simple camera makes the data acquisition and the analysis of the entire area of the material under study without requiring any other equipment like in the traditional method. Digital image correlation (DIC) is a method that examines consecutive images, taken during the deformation period, and detects the movements based on a mathematical correlation algorithm. In this paper, block-matching algorithms are used in order to compare the results from image processing and the data obtained with linear voltage displacement transducer (LVDT) sensors during laboratorial load tests of T-beams. © 2011 IFIP International Federation for Information Processing.

Afonso, M. L. B., R. M. R. Cardoso, and A. D. Egídio dos Reis. "Dividend problems in the dual risk model." ASTIN Colloquium 2011. Madrid 2011.
Freitas, F., V. D. Alves, C. A. V. Torres, M. Cruz, I. Sousa, M. J. Melo, A. M. Ramos, and M. A. M. Reis. "Fucose-containing exopolysaccharide produced by the newly isolated Enterobacter strain A47 DSM 23139." Carbohydrate Polymers . 83 (2011): 159-165.freitas_2011_carb_pol_83_159-165.pdf
Amado, M. P., T. Lopes, and J. C. Freitas Green Building Process. World Congress of Sustainable Building. Helsinki, Finland: SB11, 2011.
Azevedo, S. G., K. Govindan, H. Carvalho, and V. Cruz-Machado GResilient index to assess the greenness and resilience of the automotive supply chain., 2011. Abstract

Purpose: The purpose of this paper is to suggest an Index entitled {GResilient} Index to assess the greenness and resilience of the automotive companies and corresponding supply chain. Design/methodology/approach: An integrated assessment model is proposed based on Green and Resilient practices. These practices are weighted according to their importance to the automotive supply chain competitiveness. The Delphi technique is used to obtain the weights for the focused supply chain paradigms and corresponding practices. The model is then tested using a case study approach in the automotive supply chain. Findings: The case study results confirmed the applicability of this Index in a real-world supply chain. The results show that the Resilient supply chain management paradigm is the one considered as the one that more contributes for the automotive supply chain competitiveness. Research limitations/implications: The proposed Index was developed in the automotive sector context therefore it could not be adjusted to a different one. Future research could consider other aggregation methods for the Index construction. Practical implications: Supply chain participants will be able to evaluate the performance of their companies or supply chain in terms of Green and Resilient paradigms. Also, the Index can be effectively employed for functional benchmarking among competing companies and supply chains.

Barišić, Ankica, Vasco Amaral, Miguel Goulão, and Bruno Barroca. "How to reach a usable DSL? Moving toward a Systematic Evaluation." Electronic Communications of the EASST (MPM) (2011). Abstract

Domain Specific Languages (DSLs) are claimed to increase productivity, while reducing the required maintenance and programming expertise. In this context, DSL usability by domain experts is a key factor for its successful adoption. Evidence that support those improvement claims is mostly anecdotal. Our systematic literature review showed that a usability evaluation was often skipped, relaxed, or at least omitted from papers reporting the development of DSLs. The few exceptions mostly take place at the end of the development process where fixing problems identified is too expensive. We argue that a systematic approach based on User Interface experimental validation techniques should be used to assess the impact of the new DSLs. The rationale is that assessing important and specially tailored usability attributes for DSLs early in language construction will ultimately foster a higher productivity of the DSL users. This paper, besides discussing the quality criteria, proposes a development and evaluation process that can be used to achieve usable DSLs in a better way.