7311 search results - page 1129 / 1463 » Time in State Machines |
208
click to vote
HOTOS
2003
IEEE
16 years 25 days ago
2003
IEEE
Distributed writable storage systems typically provide NFS-like semantics and unbounded persistence for files. We claim that for planetary-scale distributed services such facilit...
228
click to vote
CRYPTO
2003
Springer
16 years 23 days ago
2003
Springer
Many popular stream ciphers apply a filter/combiner to the state of one or several LFSRs. Algebraic attacks on such ciphers [10, 11] are possible, if there is a multivariate relat...
229
click to vote
EMSOFT
2003
Springer
16 years 23 days ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
193
click to vote
HICSS
2002
IEEE
16 years 15 days ago
2002
IEEE
We propose a web-based computer-assisted tool for diagnosing progress in international negotiation. The system is based on a general linear model. Innovative features of the progr...
188
click to vote
CDC
2009
IEEE
16 years 8 days ago
2009
IEEE
A dimension reduction method called Discrete Empirical Interpolation (DEIM) is proposed and shown to dramatically reduce the computational complexity of the popular Proper Orthogo...