Software Probabilistic models can be extended with the concept of rewards to enrich and enhance the behavioral properties to be specified and studied in a software system. In the last years, rewarded probabilistic models ...

-

En la actualidad, la Inteligencia Artificial (IA) se encuentra abarcando muchas áreas, sobre todo la de procesamiento de datos que tiene en cuenta el sensado de variables climáticas. Por esta razón, en el presente trabajo, ...

The usage of the GR(1) subset of Linear Temporal Logic has been proposed as an efficient way of appying formal verification tools and techniques. Another important milestone for formal verification are behavioral specification ...

A lo largo de los últimos años, los bienes arqueológicos han ido adquiriendo el reconocimiento creciente de un valor patrimonial intrínseco, y consecuentemente los arqueólogos se han involucrado en los distintos aspectos ...

En este trabajo se propone el estudio de estimación de temperatura sobre un servidor, con el objetivo de poder predecir el funcionamiento del mismo bajo condiciones ambientales controladas. Para esto se propone la utilización ...

El presente trabajo describe la aplicación del Algoritmo KNN al estudio del comportamiento climático de un Datacenter. Este análisis permite comprender cómo varían la temperatura y la humedad dentro del ambiente durante ...

In this work we present an approach to dynamically validate the usage of software connectors in the context of software architectures. By employing aspect oriented techniques the system’s execution is monitored in order ...

En el presente Trabajo se describe la aplicación de Algoritmos de Regresión Lineal al estudio del comportamiento climático de un Datacenter. Este análisis permite comprender cómo varían la temperatura y la humedad, con el ...

The Software Engineering community has identified behavioral specification as one of the main challenges to be addressed for the transference of formal verification techniques such as model checking. In particular, ...