963 search results - page 7 / 193 » Types for Mobile Ambients |
ENTCS
2006
13 years 8 months ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
VTC
2007
IEEE
14 years 2 months ago
2007
IEEE
– Allowing a user to remain connected to the network whilst on the move is becoming a common requirement for any new communication system. The EU project Ambient Networks, theref...
ENTCS
2002
13 years 8 months ago
2002
In the Mobile Ambients of Cardelli and Gordon an ambient is a unit for mobility, which may contain processes (data) and sub-ambients. Since the seminal work of Cardelli and Gordon...
HCI
2007
13 years 10 months ago
2007
Context-awareness is an important capability needed in devices in a ubiquitous computing environment. Ubiquitous computing devices use different types of sensors along with the us...
CL
2002
Springer
13 years 8 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...