One challenge for achieving executable models is preserving the integrity of the data. That is, given a structural model describing the constraints that the data should satisfy, and a behavioral model describing the ...

Agent-based modelling and simulation is a promising methodology that can be used in the study of population dynamics. One of the main obstacles hindering the use of agent-based simulation in practice is its scalability, ...

Se presenta una notación algorítmica para programación paralela en la que la recursividad y la introducción gradual del paralelismo juegan un papel importante. Se aplica dicha notación a la presentación de una versión ...

Uno de los retos a los que se enfrentan los administradores de sistemas informáticos hoy es el evitar que los recursos TIC que gestionan se usen para realizar ciberdelitos, o sufrir el impacto en sus propios servicios de ...

This paper presents an approximate analytic model for evaluating the performance of a loosely coupled multiprocessor architecture whose memory, organized in modules, is shared by all the processors. Each memory module (Mi) ...

This paper describes a dual greedy heuristic for capacitated plant location problems and studies its computational behaviour. The good computational results obtained are explained from a theoretical viewpoint by means of ...

There is a wide evidence that sustainable mobility is not only a technological question, automotive technology will be part of the solution as a necessary but not sufficient condition, sufficiency is emerging as a combination ...

Performance issues of a single-bus interconnection network for multiprocessor systems, operating in a multiplexed way, are presented in this paper. Several models are developed and used to allow system performance evaluation. ...

En anàlisi de dades sovint hom analitza matrius de dades formades per variables nominals, correlacionades amb unes altres anomenades variables

Anonymous Communication Systems How to be protected against traffic analysis?