models evolve at different levels of abstraction, from the requirements specification to development of the source code. The models underlying this process are related and their ...
Spatial abstractions promise to be basic necessary ingredients for a novel “spatial computing” approach to distributed systems development and management, suitable to tackle th...
Abstract. In this paper, the evaluation of random bit generators for security applications is discussed and the concept of stateless generator is introduced. It is shown how, for t...
Abstract. We adopt Benders’ decomposition algorithm to solve scenariobased Stochastic Constraint Programs (SCPs) with linear recourse. Rather than attempting to solve SCPs via a ...
Abstract. A software product line comprises a set of products implementing different configurations of features. The set of valid feature configurations within a product line ca...