We introduce BlueInfo, an open architecture for deploying web services in WPAN hotspots for cost-free context-aware mobile access over Bluetooth. A BlueInfo hotspot either pushes s...
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...