21 search results - page 5 / 5 » Denotational Semantics for Abadi and Leino's Logic of Object... |
ICDE
2005
IEEE
14 years 6 months ago
2005
IEEE
In mobile and ambient environments, devices need to become autonomous, managing and resolving problems without interference from a user. The database of a (mobile) device can be s...