Sciweavers

8 search results - page 1 / 2
» Nomadic pict: correct communication infrastructure for mobil...
Sort
View
POPL
2001
ACM
14 years 4 months ago
Nomadic pict: correct communication infrastructure for mobile computation
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
Asis Unyapoth, Peter Sewell
TOPLAS
2010
101views more  TOPLAS 2010»
13 years 2 months ago
Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
Peter Sewell, Pawel T. Wojciechowski, Asis Unyapot...
EUC
2006
Springer
13 years 7 months ago
Scalable Message Routing for Mobile Software Assistants
In this paper we define an algorithm for location-independent communication of mobile software Personal Assistants (PAs). The algorithm extends the Query Server with Caching algor...
Pawel T. Wojciechowski
ISICT
2003
13 years 5 months ago
Security protocols for 2G and 3G wireless communications
Wireless communications are being driven by the need for providing network access to mobile or nomadic computing devices. The need for wireless access to a network is evident in c...
T. Newe, Tom Coffey
PSYCHNOLOGY
2007
107views more  PSYCHNOLOGY 2007»
13 years 3 months ago
Discourses on Mobility and Technological Mediation: The Texture of Ubiquitous Interaction
Mobility is more and more mediated, supported and transformed by technological artefacts and infrastructures. Especially technologies labelled as mobile, pervasive, ubiquitous or ...
Giuseppina Pellegrino