597 search results - page 83 / 120 » E-Process Design and Assurance Using Model Checking |
150
click to vote
ECMDAFA
2005
Springer
15 years 8 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
130
click to vote
MICAI
2010
Springer
15 years 26 days ago
2010
Springer
The meaning of such verb-noun combinations as take care, undertake work, pay attention can be generalized as DO what is designated by the noun. Likewise, the meaning of make a deci...
221
click to vote
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
130
click to vote
DAGSTUHL
2003
15 years 3 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
122
Voted
DAC
2006
ACM
16 years 3 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...