963 search results - page 31 / 193 » Types for Mobile Ambients |
IJACI
2010
13 years 7 months ago
2010
Abstract. Ambient computing requires the integration of multiple mobile heterogeneous networks. Multi-path communication, in such scenarios, can provide reliability and privacy ben...
DC
2010
13 years 6 months ago
2010
In this paper, we comparatively analyze some mainstream calculi for mobility and distribution, together with some of their variants: asynchronous -calculus, distributed -calculus,...
ESAW
2005
Springer
14 years 2 months ago
2005
Springer
Ambient intelligence envisages a world saturated with sensors and other embedded computing technologies, operating transparently, and accessible to all in a seamless and intuitive ...
ICDIM
2007
IEEE
14 years 3 months ago
2007
IEEE
Due to more and more mobile computers moving among smart and communicating devices in our everyday life, we observe the emergence of new constraints in software design. Indeed, de...
CIE
2008
Springer
13 years 10 months ago
2008
Springer
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...