4516 search results - page 224 / 904 » Automated System Design for Availability |
168
click to vote
FDL
2005
IEEE
16 years 5 days ago
2005
IEEE
Although Moore’s Law enables a huge number of components to be integrated into a single chip, design methods that will allow system architects to put the components together to ...
232
click to vote
ICSE
2007
IEEE-ACM
16 years 21 days ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
145
click to vote
DEXAW
2002
IEEE
15 years 11 months ago
2002
IEEE
Designing electronic markets is still a rather intricate process. eNegotiation - and thereby trading rules - embody the core of the institution ”electronic market”. Although s...
194
click to vote
EUROMICRO
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
158
click to vote
CAD
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a service marketplace vision for enterprise-wide integrated design modeling. In this environment, expert participants and product development organizations are...