Sciweavers

5447 search results - page 9 / 1090
» Environment-Mediated Mobile Computing
Sort
View
TOPLAS
2010
101views more  TOPLAS 2010»
15 years 6 days 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...
69
Voted
JNCA
2010
85views more  JNCA 2010»
14 years 8 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 1 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