1116 search results - page 109 / 224 » Applying Predicate Abstraction to Abstract State Machines |
116
click to vote
FOSSACS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the transition structure explicit in the first-order modelling. In parti...
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract— We present a method of dynamic coalition formation (DCF) in sensor networks to achieve well-informed sensor-target allocations. Forecasts of target movements are incorp...
WCC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. The recently developed algebraic attacks apply to all keystream generators whose internal state is updated by a linear transition function, including LFSR-based generator...
CTRSA
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper analyses periodic properties of counter assisted stream ciphers. In particular, we analyze constructions where the counter system also has the purpose of provi...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— This paper proposes a novel robust output feedback controller for an electromechanical system in the presence of external disturbance and uncertainties of physical para...