Search academic resources

"The steel industry faces increasing challenges in managing product diversity, maintaining competitiveness, and improving operational efficiency. Within this context, recommendation systems present a promising opportunit...

This paper provides an overview of Multi-Protocol Label Switching Technology (MPLS). Distinctive issues are presented as well as Quality of Service (QoS). Traffic Engineering (TE) features are discussed. It also describe...

Previous work in software product lines showed an increment of up to 10 times in productivity and product quality [SEI Prod_Line]; because of this, the software product line approach is critical for the success of a deve...

During recent years, new software engineering paradigms like component-based software engineering and COTS-based development have emerged. Both paradigms are concerned with reuse and customisation of existing components....

El protocolo de internet actual, IPV4, ha vinculado al mundo por más de 20 años, aunque se encuentra ya al límite de su diseño y no puede dar respuestas adecuadas a las necesidades actuales. El IETF desarrolló uno ...

Adaptive systems behavior based on user models appear promising, mostly for complex environments such as mixed reality environments (MRE). An MRE comprises a virtual representation of the reality as well as physical obj...

La Internet actual utiliza un protocolo de comunicaciones, conocido como IPv4; ha funcionado con éxito por más de 25 años pero hoy está al límite de su diseño, principalmente por el agotamiento de la cantidad de di...

The Stream Control Transport Protocol (SCTP) is a new transport layer protocol that has been designed to provide reliable transport over the Internet. While the Transport Control Protocol (TCP) is the most popular transp...

Programming embedded devices has been historically a difficult task, involving the learning of the features of a specific device such as the assembly language of a processor. This led to the use of Java in embedded syste...

Las aplicaciones para Grid computing basadas en servicios Grid, pueden beneficiarse con el empleo de algunos de los emergentes enfoques de ingeniería de software. Los servicios Web, de los cuales extienden los servicios...

It is commonly said that a pattern has four essential parts: a statement of the context where the pattern is useful, the problem that the pattern addresses, the forces that play in forming a solution, and the solution th...

We discuss the features and current status of a software tool developed for checking refinement properties of a particular (though still quite general) class of probabilistic nondeterministic programs. The tool has been ...

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 s...

En este trabajo presentamos la implementación de componentes para un plugin de Eclipse que permite la visualización del Modelo de Byrd de depuración de programas lógicos sobre el código fuente de los programas. La d...

Enterprise architectures create a technical platform to meet current and future business needs. In this sense, architectural components ensure IT capabilities are modelled in every business process. Current approaches to...

Public key cryptography has been contributed some important functionality to computer systems security. Each pubic key scheme is based in some mathematics or computational problem, easy to solve in one way (an intended r...

Sharing of behavior is one of the most important features in the Object-Oriented paradigm. The two classical organisations of sharing are classes and prototypes, raising two different models and two families of object or...

The software industry has identi ed, in a vast proportion, the object-oriented programming paradigm with the variant based in classes and single inheritance. Particularly, design patterns and their best-known implementat...

The use of component-based software has become more and more important in state-of-the-art and state-of-the-practice of software and system development. Using COTS software promises faster time-to-market, which can yield...

Este trabalho descreve o sistema de software Laboratório de Alta Exatidão e Alto Desempenho, desenvolvido para resolução de problemas da computação científica com verificação automática do resultado. O sistema ...

It is di cult to maintain legacy Fortran programs that use outdated programming constructs, especially when this maintenance requires a detailed understanding of the code (e.g., for parallelization). Initially, we want ...

Quality of Service is a sought after feature to handle isochronal signals in data networks. In the cases in which currently used techniques such as best effort are not sufficient, it becomes relevant to analyze Class of ...

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 de...