963 search results - page 38 / 193 » Types for Mobile Ambients |
TGC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
APLAS
2006
ACM
14 years 13 days ago
2006
ACM
We present a modal language for distributed computation which addresses the safety of mobile values as well as mobile code. The safety of mobile code is achieved with the modality...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Small ubiquitous devices connected by wireless networks will become future Internet appliances. To support them, communication networks must evolve to seamlessly assist appliances...
PERCOM
2008
ACM
14 years 8 months ago
2008
ACM
The field of pervasive computing has seen a lot of exciting innovations in the past few years. However, there are currently no mechanisms for describing the properties and capabil...
CAMAD
2006
IEEE
14 years 13 days ago
2006
IEEE
Abstract-- In this paper we discuss the exploitation of aggregated mobility patterns and physical proximity of nodes in a so-called ambient network, i.e., a wireless network with h...