4894 search results - page 308 / 979 » Choices |
177
click to vote
ICWE
2004
Springer
16 years 23 days ago
2004
Springer
The growing demand for web applications and the new multi-user and multi-device requirements of these has led to the need for a structured and well-reasoned approach that helps bo...
167
click to vote
IFIP
2004
Springer
16 years 23 days ago
2004
Springer
We analyze an algebraic representation of AES–128 as an embedding in BES, due to Murphy and Robshaw. We present two systems of equations S and K concerning encryption and key gen...
190
click to vote
IFIP
2004
Springer
16 years 23 days ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
172
click to vote
IFIP
2004
Springer
16 years 23 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...
198
click to vote
IMR
2004
Springer
16 years 23 days ago
2004
Springer
We describe some extensions to the grid smoothing scheme described in [1, 2] that deal with the following issues: 1) the clustering effect of changing valence in an unstructured ...