1690 search results - page 125 / 338 » Algorithmic Properties of Millstream Systems |
137
click to vote
FM
1999
Springer
15 years 8 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
133
click to vote
FOCS
1992
IEEE
15 years 8 months ago
1992
IEEE
The main purpose of this paper is to promote the study of computational aspects, primarily the convergence rate, of nonlinear dynamical systems from a combinatorial perspective. W...
149
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
A voting system is a set of rules that a community adopts to take collective decisions. In this paper we study voting systems for a particular kind of community: electronically me...
126
click to vote
AUTOMATICA
2005
15 years 4 months ago
2005
This paper examines the problem of estimating linear time-invariant state-space system models. In particular it addresses the parametrization and numerical robustness concerns tha...
161
click to vote
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...