1222 search results - page 206 / 245 » A Bayesian Approach to Model Checking Biological Systems |
115
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
or Abstraction for the Functional Verification of FPGAs Guy Dupenloup, Thierry Lemeunier, Roland Mayr Altera Corporation 101 Innovation Drive San Jose, CA 95134 1-408-544-8672 {gdu...
130
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
115
click to vote
ECAL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We present a variant of the snapshot model [1] for insect visual homing. In this model a snapshot image is taken by an agent at the goal position. The disparity between c...
127
click to vote
FUIN
2008
15 years 2 months ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
141
click to vote
ICAC
2009
IEEE
15 years 8 months ago
2009
IEEE
The complexity of large computer systems has raised unprecedented challenges for system management. In practice, operators often collect large volume of monitoring data from system...