Sciweavers

8903 search results - page 86 / 1781
» Alternative
Sort
View
STOC
1998
ACM
115views Algorithms» more  STOC 1998»
15 years 2 months ago
Weak Alternating Automata and Tree Automata Emptiness
Orna Kupferman, Moshe Y. Vardi
ECOOP
1998
Springer
15 years 2 months ago
A Statically Safe Alternative to Virtual Types
Parametric types and virtual types have recently been proposed as extensions to Java to support genericity. In this paper we investigate the strengths and weaknesses of each. We su...
Kim B. Bruce, Martin Odersky, Philip Wadler
FSTTCS
1998
Springer
15 years 2 months ago
Alternative Computational Models: A Comparison of Biomolecular and Quantum Computation
Molecular Computation (MC) is massively parallel computation where data is stored and processed within objects of molecular size. Biomolecular Computation (BMC) is MC using biotec...
John H. Reif
HICSS
1997
IEEE
104views Biometrics» more  HICSS 1997»
15 years 2 months ago
A Simulation Tool for Analysis of Alternative Paradigms for the New Electricity Business
Variousproposals have been madefor new paradigms for operating the restructuring electrical system. One of the key challenges associated with this restructuring is to effectively ...
Thomas J. Overbye, Peter W. Sauer, George Gross, M...
SACRYPT
1998
Springer
15 years 2 months ago
Computational Alternatives to Random Number Generators
In this paper, we present a simple method for generating random-based signatures when random number generators are either unavailable or of suspected quality (malicious or accident...
David M'Raïhi, David Naccache, David Pointche...