2136 search results - page 69 / 428 » Learning Behavior Models for Hybrid Timed Systems |
98
Voted
HYBRID
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
140
click to vote
GLOBE
2011
Springer
14 years 8 days ago
2011
Springer
Abstract. Distributed or peer-to-peer storage solutions rely on the introduction of redundant data to be fault-tolerant and to achieve high reliability. One way to introduce redund...
132
click to vote
NN
2002
Springer
15 years 8 days ago
2002
Springer
In this paper we implement a computational model of a neuromodulatory system in an autonomous robot. The output of the neuromodulatory system acts as a value signal, modulating wi...
106
Voted
MASCOTS
2010
14 years 11 months ago
2010
—This paper considers the problem of how to improve the performance of hybrid storage system employing solid state disks and hard disk drives. We utilize both initial block alloc...
132
Voted
ENTCS
2006
15 years 19 days ago
2006
The hierarchy of Symbolic Transition Systems, introduced by Henzinger, Majumdar and Raskin, is an elegant classification tool for some families of infinite-state operational model...