Interpopulation variation in the diet of the wood mouse, Apodemus sylvaticus, is well documented. In this study, we examined the gut morphology and apparent absorption efficiencies of two populations of wood mice whose diet in the field was known to differ. One population inhabited sand dunes, where food availability was relatively low and the diet was dominated by invertebrates. The other popu...

Modern software has to operate in highly dynamic environments. In order to provide acceptable application-level quality-of-service parameters, applications must be adapted to underlying resource availabilities and other properties of their environment. Dynamic reconfiguration provides a powerful mechanism to realize these adaptation. Besides changes in the application structure and used algorit...

Resource allocation is a widely studied class of problems in Operation Research and Artificial Intelligence. Specially, constrained stochastic resource allocation problems, where the assignment of a constrained resource do not automatically imply the realization of the task. This kind of problems are generally addressed with Markov Decision Processes (mdps). In this paper, we present efficient ...

Business processes often incorporate stochastic decision points, either due to uncontrollable actions or because the control flow is not fully specified. Formal modeling of such business processes with resource constraints and multiple instances is hard because of the interplay among stochastic behavior, concurrency, real-time and resource contention. In this setting, statistical techniques are...

The rapid increase in heat dissipation in real-time systems imposes various thermal issues. For instance, real-time constraints cannot be guaranteed if a certain threshold temperature is exceeded, as it would immediately reduce the system reliability and performance. Dynamic thermal management techniques are promising methods to prevent a system from overheating. However, when designing real-ti...