Sciweavers

5447 search results - page 9 / 1090
» Environment-Mediated Mobile Computing
Sort
View
TOPLAS
2010
101views more  TOPLAS 2010»
15 years 4 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...
68
Voted
TJS
2011
29views more  TJS 2011»
15 years 1 months ago
Secure mobile communication via identity-based cryptography and server-aided computations
Matthew Smith, Christian Schridde, Björn Agel...
JNCA
2010
85views more  JNCA 2010»
15 years 1 months ago
Adaptive security protocol selection for mobile computing
Bruno P. S. Rocha, Daniel N. O. Costa, Rande A. Mo...
SIMULATION
2002
118views more  SIMULATION 2002»
15 years 6 months ago
Simulation of Tactical Communications Systems by Inferring Detailed Data from the Joint Theater-Level Computer-Aided Exercises
- In this paper, a new scheme for the simulation of tactical communications systems is introduced where the mobility, call and availability patterns for the communications equipmen...
Erdal Cayirci, Cem Ersoy