130 search results - page 21 / 26 » The Semantics of Scheme Control-Flow Analysis |
165
click to vote
INFOCOM
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract— Optimizing TCP (Transport Layer) for mobility has been researched extensively. We present a brief summary of existing results which indicates that most schemes require ...
126
click to vote
TCC
2007
Springer
15 years 10 months ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
139
click to vote
RTSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Periodic update transaction model has been used to maintain freshness (or temporal validity) of real-time data. Period and deadline assignment has been the main focus in the past ...
136
click to vote
MTA
2007
15 years 3 months ago
2007
In this paper, we study the important issues in the design of an efficient WIreless real-time visual SurveillancE System (WISES). Two important considerations are to minimize: (1)...
240
click to vote
MM
2010
ACM
15 years 2 months ago
2010
ACM
Social tagging can provide rich semantic information for largescale retrieval in music discovery. Such collaborative intelligence, however, also generates a high degree of tags un...