1585 search results - page 8 / 317 » A framework for computer-aided validation |
DAC
1998
ACM
15 years 4 months ago
1998
ACM
The di culty of embedded system co-design is increasing rapidly due to the increasing complexity of individual parts, the variety of parts available and pressure to use multiple p...
118
click to vote
ASWEC
2006
IEEE
15 years 5 months ago
2006
IEEE
Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ens...
101
click to vote
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
Based on the correlation between expression and ontologydriven gene similarity, we incorporate functional annotations into gene expression clustering validation. A probabilistic f...
108
click to vote
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Performing experimental evaluation of fault tolerant distributed systems is a complex and tedious task, and automating as much as possible of the execution and evaluation of exper...
JUCS
2010
14 years 10 months ago
2010
Abstract: Ontology rule editing, testing, debugging and validation are still handcrafted and painful tasks. Nowadays, there is a lack of tools that take these tasks into considerat...