In this paper we define an evolution mechanism with formal semantics using the metamodeling methodology [Geisler et al.98] based on dynamic logic. A remarkable feature of the metamodeling methodology is the ability to define the relation of intentional and extensional…

Globally optimal triangulations are difficult to be found by deterministic methods as, for most type of criteria, no polynomial algorithm is known. In this work, we consider the Minimum Weight Triangulation (MWT) problem of a given set of n points…

Metric-temporal databases are a new database model that combines metric spaces with temporal databases to process similarity queries within a time interval or snapshot. The Historical FHQT is a metric-temporal index which has shown to be competitive answering this type…

Component Based Software Development (CBSD) relies upon utilization of previously developed software components OTS (Off-The-Shelf), which are appropriately merged to satisfy particular system requirements. However, wide acceptance of this paradigm at industry requires efficient component identification and selection, aspects which…

The methodologies for agile software development are fundamentally based on the collaboration with software users during the entire development process, the simplicity to adapt the product to changes in requirements, and on the incremental product delivery. Based on the Agile…

The Semantic Web is a vision of the current Web where resources have exact meaning assigned in terms of ontologies, thus enabling agents to reason about them. As inconsistencies cannot be treated by standard reasoning approaches, we use Defeasible Logic…

Interaction between user and computer is gradually going beyond the traditional mouse and keyboard. New ways of interaction are emerging, which use new and different means for data acquisition. Virtual or augmented reality, haptic, tangible or camerabased user interfaces are…

The resolution of optimization problems is of great interest nowadays and has encouraged the development of various information technology methods to attempt solving them. There are several problems related to Software Engineering that can be solved by using this approach.…

UAV (Unmanned Airborne Vehicle) high resolution digital image acquisition systems based on small format cameras provide a versatile alternative to the solution of environmental monitoring and remote sensing problems. Through digital image processing these small format optical and multi-spectral camera…

Statistical Bit Rate (SBR) transfer capability is considered a good option for supporting Variable Bit Rate (VBR) services. However, its study is somewhat in lag compared with Deterministic Bit Rate (DBR) or Available Bit Rate (ABR) capabilities. The definition of…