6149 search results - page 891 / 1230 » Revealing the programming process |
168
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...
181
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
Interactive access control allows a server to compute and communicate on the fly the missing credentials to a client and to adapt its responses on the basis of presented and decli...
158
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
148
click to vote
ISMIR
2004
Springer
16 years 5 days ago
2004
Springer
We present a new method for establishing an alignment between a polyphonic musical score and a corresponding sampled audio performance. The method uses a graphical model containin...
187
Voted
ISW
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Code obfuscations are semantics-preserving code transformations used to protect a program from reverse engineering. There is generally no expectation of complete, long-te...