2918 search results - page 53 / 584 » Design tools for reliability analysis |
100
click to vote
ENTCS
2008
14 years 12 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
105
click to vote
ER
2000
Springer
15 years 3 months ago
2000
Springer
: The size and complexity of modern information systems together with requirements for short development time increase the demands for reuse of already existing solutions. The idea...
BMCBI
2006
14 years 12 months ago
2006
Background: Microarrays were first developed to assess gene expression but are now also used to map protein-binding sites and to assess allelic variation between individuals. Rega...
ISSS
1998
IEEE
15 years 4 months ago
1998
IEEE
Designing a cost effective superscalar architecture for x86 compatible microprocessors is a challenging task in terms of both technical difficulty and commercial value. One of the...
139
click to vote
APSCC
2010
IEEE
14 years 6 months ago
2010
IEEE
Nowadays applications are increasingly developed based on remote Web services and service composition has become a powerful novel development paradigm. Due to the fact that such a...