24741 search results - page 4514 / 4949 » Virtual Network Computing |
187
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
182
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
—Both the communication limitation and the measurement properties based algorithm become the bottleneck of enhancing the traditional power system state estimation speed. The avai...
224
click to vote
ISBI
2011
IEEE
14 years 10 months ago
2011
IEEE
For medical image analysis, the test statistic of the measurements is usually constructed at every voxels in space and thresholded to determine the regions of significant signals...
182
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
MobileASL, a software program enabling sign-language video on mobile devices over conventional U.S. cellular networks, was evaluated in a three-week field study during the summer ...
296
click to vote
DAIS
2011
14 years 10 months ago
2011
As location-based services on mobile devices are entering more and more everyday life, we are concerned in this paper with finding ways to master the level of quality of location ...