963 search results - page 31 / 193 » Types for Mobile Ambients |
136
click to vote
IJACI
2010
15 years 2 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...
146
click to vote
DC
2010
15 years 1 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,...
129
click to vote
ESAW
2005
Springer
15 years 9 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 ...
111
click to vote
ICDIM
2007
IEEE
15 years 10 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...
161
click to vote
CIE
2008
Springer
15 years 5 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...