Generally, the interactivity provided by web applications is carried out through surfing, as a result of a server’s response at the request of a workstation. This is an essential characteristic of this type of software, although in some circumstances it…

Hybrid dynamic spatial approximation trees are recently proposed data structures for searching in metric spaces, based on combining the concepts of spatial approximation and pivot based algorithms. These data structures are hybrid schemes, with the full features of dynamic spatial…

Defining software requirements is a complex and difficult process, which often leads to costly project failures.
Requirements emerge from a collaborative and interactive negotiation process that involves heterogeneous stakeholders (people involved in an elicitation process such as users, analysts, developers,…

Certifying compilers use static information of a program to verify that it complies with certain security properties and to generate certified code. To do so, those compilers translate the source program into an annotated program written in some intermediate language.…

Effective document retrieval using domain knowledge and semantics is one of the major challenges in Information Retrieval. Over the last years, there has been a growing interest in ontologies as an artifact for human knowledge representation and a critical component…

The refinement technique allows us to capture the relationship between specification and implementation in software developments. The precise documentation of the refinement relations hip makes it possible the traceability of the requirements through the refinement steps.
Unfortunately, the standard modelling…

Many aspects of data processing are functional in nature and can take advantage of recent developments in the area of functional programming and calculi.
The work described in this paper is an attempt to contribute to this line of thought,…

Different types of middleware exist to facilitate the integration of software running on heterogeneous computing platforms. Message Oriented Middleware (MOM), for instance, enables the interaction between heterogeneous applications by exchanging packets of structured data (messages) through communication channels. The core…

The evaluation of metric of performance is useful in the evaluation of protocols, in the improvement of applications, in the content choice, among others. The obtaining of these metrics, it continues being a complex task because most of the time…

In this work, a conceptual framework and the associated strategies for metrics and model validation are analyzed regarding website measurement and evaluation. Particularly, we have conducted three case studies in different Web domains in order to evaluate and compare the…