2027 search results - page 266 / 406 » Process Support for Tools Interoperability |
137
click to vote
GROUP
2003
ACM
15 years 11 months ago
2003
ACM
Software development is typically cooperative endeavor where a group of engineers need to work together to achieve a common, coordinated result. As a cooperative effort, it is esp...
155
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
183
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Second generation sequencing technologies yield DNA sequence data at ultra high-throughput. Common to most biological applications is a mapping of the reads to an almo...
269
click to vote
ICDE
1997
IEEE
16 years 7 months ago
1997
IEEE
A mediator is a domain-speci c tool to support uniform access to multiple heterogeneous information sources and to abstract and combine data from different but related databases t...
165
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Recent improvements in design verification strive to automate error detection and greatly enhance engineers' ability to detect functional errors. However, the process of diag...