5334 search results - page 489 / 1067 » Communicating quantum processes |
164
click to vote
IFIP
2004
Springer
16 years 16 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...
194
click to vote
IFIP
2004
Springer
16 years 16 days ago
2004
Springer
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...
197
click to vote
KES
2004
Springer
16 years 15 days ago
2004
Springer
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...
188
click to vote
MDM
2004
Springer
16 years 15 days ago
2004
Springer
In this paper, we consider a data model for uncertain trajectories of moving objects. In our model, the trajectory is a vector of uniform stochastic processes. We study “univers...
187
click to vote
ER
2003
Springer
16 years 11 days ago
2003
Springer
Abstract. Web services composition is an emerging paradigm for application integration within and across organizational boundaries. A landscape of languages and techniques for web ...