15614 search results - page 108 / 3123 » The State of State |
COMCOM
1999
15 years 13 days ago
1999
If a test does not produce the expected output, the incorrect output may have been caused by an earlier state transfer failure. Ghedamsi and von Bochmann [1992] and Ghedamsi et al...
66
Voted
ECCV
2008
Springer
16 years 2 months ago
2008
Springer
112
click to vote
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Recursive state estimation is considered for discrete time linear systems with mixed process and measurement disturbances that have stochastic and (convex) set-bounded ...
111
click to vote
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...