1894 search results - page 149 / 379 » A TLA Proof System |
175
click to vote
AMC
1999
15 years 3 months ago
1999
The stability of the equilibria of time-invariant nonlinear dynamical systems with discrete time scale is investigated. We present an elementary proof showing that in the case of ...
131
click to vote
IJSYSC
2010
15 years 2 months ago
2010
— First order linear time invariant and time delayed dynamics of neutral type is taken into account with three rationally independent delays. There are two main contributions of ...
121
click to vote
IJFCS
2011
14 years 10 months ago
2011
some studies linked the computational power of abstract computing systems based on multiset rewriting to Petri nets and the computation power of these nets to pology. In turn, the ...
119
click to vote
NDSS
2009
IEEE
15 years 10 months ago
2009
IEEE
We describe CSAR, a novel technique for generating cryptographically strong, accountable randomness. Using CSAR, we can generate a pseudo-random sequence and a proof that the elem...
121
Voted
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— We describe a distributed boundary detection algorithm suitable for use on multi-robot systems with dynamic network topologies. We assume that each robot has access to its loca...