5334 search results - page 652 / 1067 » Communicating quantum processes |
191
click to vote
GECCO
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Factored Markov Decision Processes is the theoretical framework underlying multi-step Learning Classifier Systems research. This framework is mostly used in the context ...
154
click to vote
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
: Constructing a certification path is the mainly method of validating a certificate at given time. The established path will consist of all the valid certificates that reside betw...
159
click to vote
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
: The Mediator EnvirOnment for Multiple Information Sources (MOMIS) aims at constructing synthesized, integrated descriptions of the information coming from multiple heterogeneous ...
170
click to vote
IFIP
2004
Springer
16 years 7 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...
185
click to vote
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...