Internet of Things (IoT) systems are characterized by being highly heterogeneous, distributed, and scalable, made up of a variety of devices that operate in uncertain and ubiquitous settings. In this sense, models@runtime ...

The development of self-adaptive software (SaS) has specific characteristics compared to traditional one, since it allows that changes to be incorporated at runtime. Automated processes have been used as a feasible solution ...

Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical, highly distributed, mobile ...

This article presents a wp–style calculus for obtaining bounds on the expected runtime of randomized algorithms. Its application includes determining the (possibly infinite) expected termination time of a randomized algorithm ...

SARL is a general-purpose agent-oriented programming language. This language aims at providing the fundamental abstractions for dealing with concurrency, distribution, interaction, decentralization, reactivity, autonomy ...

The development of self-adaptive software (SaS) has specific characteristics compared to traditional one, since it allows that changes to be incorporated at runtime. Automated processes have been used as a feasible ...

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where ...

In this paper, we address the problem of dynamic resource allocation in presence of job run- time uncertainty. We develop an execution delay model for runtime prediction, and design an adaptive stochastic allocation ...

El desarrollo de las tecnologías, los requerimientos de nuevas prestaciones y las limitantes dadas por los fabricantes de software y hardware para la automatización ha hecho que nuevos estándares sean desarrollados. El ...