Switching between two modes of operation is a common property of biological systems. In continuous-time differential equation models, this is often realised by bistability, i.e. th...
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
We present a preliminary study the aim of which is to provide a high level model for the evaluation of the trustworthiness of recommender systems as e-commerce services. We identif...
Gabriele Lenzini, Ynze van Houten, Wolf Huijsen, M...
Session guarantees are used to manage replica consistency of a distributed system from the client perspective. This paper defines formally the guarantees, presents and proves safe...
Jerzy Brzezinski, Cezary Sobaniec, Dariusz Wawrzyn...
This paper discusses aspects of topology as relevant for loop dynamics as they occur in physical modeling synthesis algorithms. Boundary and interaction point behavior is treated p...