1414 search results - page 212 / 283 » Randomness and Universal Machines |
EUROPKI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. A standard tool for secure remote access, the SSH protocol uses publickey cryptography to establish an encrypted and integrity-protected channel with a remote server. How...
ICDCSW
2003
IEEE
14 years 3 months ago
2003
IEEE
Abstract— Today’s complex appliances are plagued by difficultto-use interfaces. In many cases, consumers use only a few of the many features on their appliances because the mor...
COLT
2003
Springer
14 years 3 months ago
2003
Springer
This paper studies sequence prediction based on the monotone Kolmogorov complexity Km=−log m, i.e. based on universal deterministic/one-part MDL. m is extremely close to Solomon...
WCRE
2002
IEEE
14 years 2 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
CONCUR
1999
Springer
14 years 2 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...