C# for Programmers (Second Edition) focuses on explaining the characteristics of this language through the development of desktop applications –and in some cases, web forms– with the step-by-step technique, developing study cases such as: • Basic application for an automatic…

With this book, the same as in previous editions, Chapra and Canale intend to provide a solid training in numerical methods by means of a pleasant and attractive approach that motivates the reader to study the subject and enjoy while…

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…

Cache-coherent, nonumiform memory acces or cc-NUMA is an attractive architecture for building a spectrum of shared memory multiprocessors (whic are socing widespread use in commercial, technical and scientific applications). Unfortunately, there are some factors which limit the maximun number of…

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…