Sciweavers

185 search results - page 11 / 37
» its 1992
Sort
View
VLDB
1992
ACM
122views Database» more  VLDB 1992»
15 years 1 months ago
Using Flexible Transactions to Support Multi-System Telecommunication Applications
Service order provisioning is an important telecommunication application that automates the process of providing telephone services in response to the customer requests. It is an ...
Mansoor Ansari, Linda Ness, Marek Rusinkiewicz, Am...
ASIACRYPT
2003
Springer
15 years 2 months ago
Cryptanalysis of 3-Pass HAVAL
HAVAL is a cryptographic hash function proposed in 1992 by Zheng, Pieprzyk and Seberry. Its has a structure that is quite similar to other well-known hash functions such as MD4 and...
Bart Van Rompay, Alex Biryukov, Bart Preneel, Joos...
FGCS
1992
103views more  FGCS 1992»
14 years 10 months ago
Parallel Inference Machine PIM
: There have been no major control problems during the first three years of the new Tokaido-Sanyo Shinkansen (bullet train) Programmed Route Control (PRC) computer system. Prior to...
Kazuo Taki
SOFSEM
2007
Springer
15 years 3 months ago
On Optimal Solutions for the Bottleneck Tower of Hanoi Problem
We study two aspects of a generalization of the Tower of Hanoi puzzle. In 1981, D. Wood suggested its variant, where a bigger disk may be placed higher than a smaller one if their ...
Yefim Dinitz, Shay Solomon
CADE
1992
Springer
15 years 1 months ago
Isabelle-91
e introducing the types and constants of the logic, i.e. its abstract syntax, and axioms describing the inference rules. As a tiny example, consider the following definition of min...
Tobias Nipkow, Lawrence C. Paulson