We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
Inevitably, healthcare goes mobile. Recently developed mobile healthcare (i.e. m-health) services allow healthcare professionals to monitor mobile patient’s vital signs and provi...
Katarzyna Wac, Aart van Halteren, Richard Bults, T...
: In the light of high profile governmental and international efforts to realise the knowledge society, I review the arguments made for and against it from a technology standpoint....
The recent developments in the mobile technology (mobile phones, middleware) created a need for new methods of protecting the code transmitted through the network. The oldest and ...
This paper introduces a new model of a spiking neuron with active dendrites and dynamic synapses (ADDS). The neuron employs the dynamics of the synapses and the active properties ...