2949 search results - page 282 / 590 » Transformations in Information Supply |
216
click to vote
CCS
2003
ACM
15 years 12 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
193
click to vote
ERSHOV
2003
Springer
15 years 12 months ago
2003
Springer
By obfuscation we mean any efficient semantic-preserving transformation of computer programs aimed at bringing a program into such a form, which impedes the understanding of its al...
224
click to vote
ITCC
2002
IEEE
15 years 11 months ago
2002
IEEE
KBS Adaptive Hyperbook is a framework designed for modeling, organizing, and maintaining distributed hypermedia resources on the Web with the purpose of supporting Web-based dista...
145
click to vote
ISW
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we present the results of the first phase of a project aimed at implementing a full suite of IPSec cryptographic transformations in reconfigurable hardware. Full imp...
179
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
One fundamental problem with streaming video data over unreliable IP networks is that packets may be dropped or arrive too late for real-time playback. Traditional error-control s...