Sciweavers

5447 search results - page 9 / 1090
» Environment-Mediated Mobile Computing
Sort
View
125
Voted
TOPLAS
2010
101views more  TOPLAS 2010»
15 years 1 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...
40
Voted
TJS
2011
29views more  TJS 2011»
14 years 10 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»
14 years 10 months ago
Adaptive security protocol selection for mobile computing
Bruno P. S. Rocha, Daniel N. O. Costa, Rande A. Mo...
120
Voted
SIMULATION
2002
118views more  SIMULATION 2002»
15 years 3 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