Abstract
This paper aims at develop an evaluation of the functional polycentrism of Portuguese municipalities. For that purpose, we developed a critical assessment of the concepts of polycentrism and functional polycentrism whose assumptions guide most of the policies of regional planning, and present the main methodologies for its evaluation. We then proceed with the evaluation of polycentrism in Portugal, by using Social Network Analysis and Cluster Analysis. The study considers the variable "commuting flows home-to-work" and the results suggest that, from 1991 to 2001, the Portuguese urban system presents a network of commuting denser, less centralized, more dispersed and more clustered.

Abstract
The paper presents an proposal model for assessing the quality of educational collaborative virtual environments. This model is based on the Quantitative Evaluation framework developed by Escudeiro in 2008 and it consists in five phases. The purpose is to establish a theoretical model that highlights a number of relevant set of requirements in relation to the quality in educational collaborative virtual environments in order to facilitate the assessment of educational collaborative virtual environments. It is intended to apply the model during the lifecycle of product development and the selection of environment to support the learning/teaching process.

Abstract
This paper presents an approach to analyse the application of tactics in architectural patterns. We define and illustrate the approach using ARCHERY, a language for specifying, analysing and verifying architectural patterns. The approach consists of characterising the design principles of an architectural pattern as constraints, expressed in the language, and then, establishing a refinement relation based on their satisfaction. The application of tactics preserving refinement ensures that the original design principles, expressed themselves as constraints, still hold in the resulting architectural pattern. The paper focuses on fault-tolerance tactics, and identifies a set of requirements for a semantic framework characterising them. The application of tactics represented as model transformations is then discussed and illustrated using two case studies.

Abstract
In the last decades propofol became established as an intravenous agent for the induction and maintenance of both sedation and general anesthesia procedures. In order to achieve the desired clinical effects appropriate infusion rate strategies must be designed. Moreover, it is important to avoid or minimize side effects which may be associated with adverse cardiorespiratory effects and delayed recovery. Nowadays, to attain these purposes the continuous propofol delivery is usually performed through target-controlled infusion (TCI) systems whose algorithms rely on pharmacokinetic and pharmacodynamic models (Schraag, 2001). This work presents statistical models to estimate both the infusion rate and the bolus administration. The modeling strategy relies on multivariate linear models for panel data (Wooldridge, 2002), based on patient characteristics such as age, height, weight and gender along with the desired target concentration. A clinical database collected with a RugLoopII device on 84 patients undergoing ultrasonographic endoscopy under sedation-analgesia with propofol and remifentanil, (Gambús et al., 2011), is used to estimate the models (training set with 74 cases) and assess their performance (test set with 10 cases). The results obtained in the test set comprising a broad range of characteristics are satisfactory since the models are able to predict bolus and infusion rates comparable to those of TCI. © 2012 IFAC.

Abstract

Abstract
The current diversity of available devices and form factors increases the need for model-based techniques to support adapting applications from one device to another. Most work on user interface modelling is built around declarative markup languages. Markup languages play a relevant role, not only in the modelling of user interfaces, but also in their implementation. However, the languages used by each community (modellers/developers) have, to a great extent evolved separately. This means that the step from concrete model to final interface becomes needlessly complicated, requiring either compilers or interpreters to bridge this gap. In this paper we compare a modelling language (UsiXML) with several markup implementation languages. We analyse if it is feasible to use the implementation languages as modelling languages. © 2012 Springer-Verlag.