When performing vulnerability analysis and in absence of statistical data about vulnerability of some types of widespread buildings, unique structures, historical monuments etc, the development of numerical methods and approaches of evaluation and identification of vulnerability grade is shown as…

The appearance and continuous growth of virtual communities on the web imposes the challenge of coping with the large amount of information and knowledge these communities produce. The Semantic Web with its set of standards and technologies provides the basic…

El proyecto actual expone el diseño y la implementación de un prototipo de estación meteorológica remota, para el Observatorio Astronómico de Quito (O.A.Q.), con la finalidad de obtener información meteorológica del medio ambiente. De esta manera, esta dependencia de la…

This paper describes an approach to On Line Analytical Processing (OLAP), expresed in the declarative programming paradigm.
We define a collection of functions that capture some of the functionality currently provided by multidimensional database product. This is done by defining…

La obtención de conocimiento a partir de la información existente es un proceso no trivial que consiste en identificar patrones válidos, novedosos, potencialmente útiles y comprensibles a partir de los datos disponibles. La Minería de Datos es el área de…

Este artículo tiene un doble objetivo: En primer lugar, describir las diferentes designaciones de las comidas en inglés, desde una perspectiva sincrónica y diacrónica, mediante el examen de la literatura escrita (repertorios lexicográficos, medios de comunicación, anuncios) En segundo lugar,…

The software architecture role in agile methodologies is not sufficiently documented or formalized by means of a process consistent with the philosophy. The current work’s contributions are: 1) Defining guidelines to implement architecture practices in an agile way and so…

The paper presents a case study illustrating a collaborative problem solving process in Virtual Communities of Practice. The process relies on the existence of an underlying shared knowledge base – a repository of resources, and is carried out collaboratively by…

Today software solutions are often modeled using UML. Design patterns are frequently instantiated within these particular solutions. However, in several situations, UML is not expressive enough to describe them properly.
UML profiles extend UML syntax and semantic in order to…

Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal.
In particular, the usage of Model Checking in formal languages…