We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...
In this paper, we propose a new constructive method, based on cooperative coevolution, for designing automatically the structure of a neural network for classification. Our appro...
Without a well formulated and structured question, it can be very difficult and time consuming for physicians to identify appropriate resources and search for the best available ev...
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
Although the field of persuasive technologies has lately attracted a lot of attention, only recently the notion of ambient persuasive technologies was introduced. Ambient persuasi...
Maurits Clemens Kaptein, Panos Markopoulos, Boris ...