Abstract

Review of the developments and trends in computing and telecommunications that have the greatest impact on the documentary and library environment. Among the topics considered are: expanding the markets of large internet companies that want to include new activities, competition between [...]

Abstract

As data science becomes increasingly mainstream, there will be an ever-growing demand for data science tools that are more accessible, flexible, and scalable. In response to this demand, automated machine learning (AutoML) researchers have begun building systems that automate the [...]

Abstract

Preserving information integrity represent an urgent need for safety critical systems, where depending on incorrect or inconsistent information may leads to disasters. Typically, information integrity is a problem handled at technical level (e.g., checksumming). However, information [...]

Abstract

This paper presents a model for expressing control system failures and attacks on control protocols that involve the exchange of messages. Control failures and attacks are modeled using the notion of an attacker who can block and/or fabricate messages. These two attack mechanisms [...]

Abstract

In the Internet, the traffic crosses between two to eight autonomous systems before reaching its destination. Consequently, end-to-end quality of service requires provisioning across more than one domain. This paper proposes a new scheme for introducing MPLS technology into an inter-domain [...]

Abstract

In this paper, a comparative study between a hybrid technique that combines a Genetic Algorithm with a Cross Entropy method to optimize Fuzzy Rule-Based Systems, and literature techniques is presented. These techniques are applied to traffic congestion datasets in order to determine [...]

Abstract

We consider the problem of allocating bandwidth to competing flows in an MPLS network, subject to constraints on fairness, efficiency, and administrative complexity. The aggregate traffic between a source and a destination, called a flow, is mapped to label switched paths (LSPs) across [...]

Abstract

We have developed a formal definition of correctness for pipelines that ensures that transactions terminate and satisfy a functional specification. This definition separates the correctness criteria associated with the pipelining aspects of a design from the functional relationship [...]

Abstract

This paper identifies and discusses a set of criteria relevant to assess the impact of using different media in the design of user interfaces for safety-critical systems. An evaluation of different options concerning the allocation of such media during the design of an application [...]

Abstract

The measurement of the mental workload during real tasks by means of neurophysiological signals is still challenging. The employment of Machine Learning techniques has allowed a step forward in this direction, however, most of the work has dealt with binary classification. This study [...]