11949 search results - page 176 / 2390 » Some results on (a:b)-choosability |
124
click to vote
ACSD
2010
IEEE
14 years 11 months ago
2010
IEEE
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...
124
click to vote
CDC
2009
IEEE
14 years 11 months ago
2009
IEEE
This work presents a set of cascade high gain observers for triangular nonlinear systems with delayed output measurement. A sufficient condition ensuring the exponential convergenc...
136
click to vote
BSL
2010
14 years 10 months ago
2010
Abstract. We present a survey of some results and problems concerning constructions which require a diagonalization of length continuum to be carried out, particularly construction...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We address the problems of estimating the computer efficiency and the computer capacity. We define the computer efficiency and capacity and suggest a method for their estimation, ...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We suggest an approach for the enumeration of minimal permutations having d descents which uses skew Young tableaux. We succeed in finding a general expression for the number of s...