4666 search results - page 393 / 934 » Equations on Timed Languages |
177
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Unit testing component-based distributed systems traditionally involved testing functional concerns of the application logic throughout the development lifecycle. In contrast, tes...
195
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
A common method for constructing a function from a finite set of moments is to solve a constrained minimization problem. The idea is to find, among all functions with the given ...
152
click to vote
ICCS
2005
Springer
16 years 12 days ago
2005
Springer
Three-dimensional direct numerical simulations are performed of turbulent combustion of initially spherical flame kernels. The chemistry is described by a progress variable which ...
208
click to vote
CRYPTO
2003
Springer
16 years 3 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...
264
click to vote
CCA
2009
Springer
15 years 11 months ago
2009
Springer
Interval computations estimate the uncertainty of the result of data processing in situations in which we only know the upper bounds ∆ on the measurement errors. In this case, ba...