8496 search results - page 1478 / 1700 » Problem Solving and Complex Systems |
167
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
170
click to vote
ICC
2000
IEEE
15 years 11 months ago
2000
IEEE
fixed rate coding in terms of SNR and average throughput was obtained. In fact, the concept of variable rate adaptive In this paper, we propose a bandwidth efficient error cor- cod...
164
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
The social sciences strive to understand the political, social, and cultural world around us, but have been impaired by limited access to the quantitative data sources enjoyed by ...
233
click to vote
ISWC
1998
IEEE
15 years 10 months ago
1998
IEEE
system to date has served all of the needs of wearable computing--light weight, minimum effort, high power generation, convenient power delivery, and good power regulation. We beli...
198
click to vote
HOTOS
1993
IEEE
15 years 10 months ago
1993
IEEE
I argue against trying to solve the problem of clustering objects into disk pages. Instead, I propose that objects be fetched in groups that may be specific to an application or ...