7773 search results - page 31 / 1555 » On generalized Frame-Stewart numbers |
ISCIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Based on a distinguishing sequence for a Finite State Machine (FSM), an efficient checking sequence may be produced from the elements of a set Eα of α –sequences and ...
TCC
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
ACSAC
2000
IEEE
14 years 1 days ago
2000
IEEE
Although there have been various proposals to build large-scale PKIs, there appears to be no research publicly available on the underlying certificate store which will be required...
JCNS
2010
13 years 2 months ago
2010
A number of important data analysis problems in neuroscience can be solved using state-space models. In this article, we describe fast methods for computing the exact maximum a pos...
INFOCOM
2011
IEEE
12 years 11 months ago
2011
IEEE
—We study the general scaling laws of the capacity for random wireless networks under the generalized physical model. The generality of this work is embodied in three dimensions ...