2291 search results - page 349 / 459 » Personalized Search Based on User Search Histories |
158
click to vote
HT
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents applications of HyCon, a framework for context aware hypermedia system. The HyCon architecture encompasses annotations, links, and guided tours associating loc...
187
click to vote
ICDE
2000
IEEE
15 years 11 months ago
2000
IEEE
The issue of data broadcast has received much attention in mobile computing. A periodic broadcast of frequently requested data can reduce the workload of the up-link channel and f...
257
click to vote
ASIACRYPT
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents a weakness in the key schedule of the AES candidate HPC (Hasty Pudding Cipher). It is shown that for the HPC version with a 128-bit key, 1 in 256 keys is weak i...
194
click to vote
IC
2001
15 years 7 months ago
2001
In this paper, we describe the design and implementation of an XML-Based Digital Video Library (XDVL) System. The system includes automatic processes from video creation through v...
197
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...