1622 search results - page 290 / 325 » Autonomous Mobile Programs |
GLOBECOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— With the growth of mobile users and the increasing deployment of wireless access network infrastructures, the issue of quality of service is becoming an important component of ...
APLAS
2006
ACM
14 years 2 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
WMTE
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper we present Quilt Snaps, a fabric based construction kit consisting of a set of computationally enhanced quilting pieces. Our discussion focuses on three ways that ch...
WMTE
2005
IEEE
14 years 2 months ago
2005
IEEE
The G1:1 international network of learning researchers met to identify major trends and uncertainties that could drive the evolution of learning technology. Using a technique call...
CSL
2005
Springer
14 years 2 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...