The influence of neighbourhood characteristics on housing prices has gained increasing attention from scholars in recent decades. However, studies the three-dimensional nature urban space, and particularly vertical dimension, have remained limited. This study investigates previously unexplored variables that can capture horizontal dimensions land-use configuration. In addition, this proposes a ...

In order to satisfy the high-performance and lowpower requirements for advanced embedded systems with greater flexibility, it is necessary to develop chip multiprocessors. However, homogeneous multi-core systems do not achieve higher potential per watt when compared to heterogeneous architectures as serialized code sections can be accelerated without programmer effort. Therefore, this project a...

SERVE 2016, June 7, 2016, Bari, Italy Copyright held by the author(s). Abstract Context awareness plays an important role in smart environments and embedded interactions. In order to increase user satisfaction and acceptance, context-aware solutions should be controllable by end users. Over the last few years we have therefore witnessed an emerging trend of visual programming tools for context-...

Multi-Agent Systems provide an ideal level of abstraction for modelling complex applications where distributed and heterogeneous entities need to cooperate to achieve a common goal, or to concur for the control of shared resources. This paper proposes a declarative framework for developing multi-agent systems. A formal approach based on Logic Programming is proposed for the speciication, implem...

ing Modelling Languages: A Reutilization Approach Juan de Lara, Esther Guerra, and Jesús Sánchez Cuadrado Universidad Autónoma de Madrid (Spain) {Juan.deLara, Esther.Guerra, Jesus.Sanchez.Cuadrado}@uam.es Abstract. Model-Driven Engineering automates the development of information systems. This approach is based on the use of Domain-Specific Modelling Languages (DSMLs) for the description of the...

Nowadays multi-agents systems have been extensively used for the construction of intelligent tutoring systems, due to the high abstraction level. The MATHEMA model consists of an architecture to design of multi-agent systems based learning environments. In this paper we present the modelling and analysis of the MATHEMA using Coloured Petri Nets, scenarios, message sequence charts, temporal logi...

Complex systems present a big challenge to the modeller: different subsystems need different modelling techniques, because they have different purposes and different kind of specifications. A multi-formalism modelling methodology can be useful to unify the different aspects of a model. In this paper we propose a system of languages which constitutes the foundation of OsMoSys, a multi-formalism,...