4890 search results - page 466 / 978 » From system specifications to component behavioral models |
170
click to vote
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
152
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper addresses modeling issues behind the development of a hardware analog emulator of power system behavior referred to as a Power System on a Chip (PSoC). The paper wil...
199
click to vote
DSN
2011
IEEE
14 years 7 months ago
2011
IEEE
—One of the key benefits of using intrusion-tolerant systems is the possibility of ensuring correct behavior in the presence of attacks and intrusions. These security gains are ...
173
click to vote
CIRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— The ability to self-replicate is one of the distinctive features of living organisms. Robots capable of self-replication would have a profound impact on the field of robotics ...
186
click to vote
ML
2000
ACM
15 years 7 months ago
2000
ACM
Detecting and diagnosing errors in novice behavior is an important student modeling task. In this paper, we describe MEDD, an unsupervised incremental multistrategy system for the ...