15614 search results - page 404 / 3123 » The State of State |
186
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by in...
177
click to vote
GRC
2005
IEEE
16 years 13 days ago
2005
IEEE
In this paper, we propose a linear control model for gene intervention in a genetic regulatory network. At each time step, finite controls are allowed to drive the network states...
148
click to vote
TSP
2008
15 years 6 months ago
2008
This paper employs a high resolution quantization framework to study the effects of finite-rate feedback of the channel state information (CSI) on the performance of multiple-input
158
click to vote
EUROCRYPT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We provide identi£cation protocols that are secure even when the adversary can reset the internal state and/or randomization source of the user identifying itself, and w...
174
click to vote
UAI
1998
15 years 8 months ago
1998
The monitoring and control of any dynamic system depends crucially on the ability to reason about its current status and its future trajectory. In the case of a stochastic system,...