Sciweavers

127 search results - page 13 / 26
» Stochastic Ambient Calculus
Sort
View
MOVEP
2000
118views Hardware» more  MOVEP 2000»
13 years 11 months ago
Mobile Processes: A Commented Bibliography
We propose a short bibliographic survey of calculi for mobile processes. Contrasting with other similar exercises, we consider two related, but distinct, notions of mobile processe...
Silvano Dal-Zilio
ENTCS
2008
99views more  ENTCS 2008»
13 years 7 months ago
Modelling Intracellular Fate of FGF Receptors With BioAmbients
In this paper we consider a model of different sorting of receptors for Fibroblast Growth Factor via the endocytotic pathway. In order to accurately model the relocation in the di...
Steffen van Bakel, Ikra Khan, Maria Grazia Vigliot...
BIRTHDAY
2008
Springer
13 years 9 months ago
Secure Data Flow in a Calculus for Context Awareness
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...
Doina Bucur, Mogens Nielsen
DAGSTUHL
2006
13 years 9 months ago
Stochastic Process Algebra Models of a Circadian Clock
We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour. We compare modelling techniques fro...
Jeremy T. Bradley, Thomas Thorne
IAT
2010
IEEE
13 years 5 months ago
Intention Recognition with Event Calculus Graphs
Intention recognition has significant applications in ambient intelligence, for example in assisted living and care of the elderly, in games and in intrusion and other crime detec...
Fariba Sadri