Sciweavers

4615 search results - page 339 / 923
» Virtual Classes and Their Implementation
Sort
View
PCM
2009
Springer
145views Multimedia» more  PCM 2009»
16 years 1 months ago
A Movement Data Analysis and Synthesis Tool for Museum Visitors' Behaviors
Abstract. Achievement of museum guide systems, in physical and virtual worlds, providing the personalization and context awareness features requires the prior analysis and identiï¬...
Kingkarn Sookhanaphibarn, Ruck Thawonmas
WOWMOM
2009
ACM
142views Multimedia» more  WOWMOM 2009»
16 years 1 months ago
Securing wireless communication with implanted medical devices using reciprocal carrier-phase quantization
Securing wireless communication with resourceconstrained implanted medical devices is considered. A method for refreshing symmetric encryption keys by reciprocal quantization of t...
Gill R. Tsouri
ICC
2007
IEEE
104views Communications» more  ICC 2007»
16 years 1 months ago
IPSec: Performance Analysis and Enhancements
Abstract— Internet Protocol Security (IPSec) is a widely deployed mechanism for implementing Virtual Private Networks (VPNs). In previous work, we examined the overheads incurred...
Craig A. Shue, Minaxi Gupta, Steven A. Myers
IPPS
2007
IEEE
16 years 1 months ago
Multi-Core Model Checking with SPIN
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
Gerard J. Holzmann, Dragan Bosnacki
ECUMN
2007
Springer
16 years 27 days ago
A Spatial Communication Model for Ubiquitous Computing Services
Abstract— The paper presents a location-aware communication approach in smart home environments. It is constructed on a symbolic location model to represent the containment relat...
Ichiro Satoh