3948 search results - page 612 / 790 » Integration Workbench: Integrating Schema Integration Tools |
163
click to vote
COLCOM
2007
IEEE
16 years 27 days ago
2007
IEEE
—Collaborative systems available on the Web allow millions of users to share information through a growing collection of tools and platforms such as wikis, blogs and shared forum...
127
click to vote
DATE
2007
IEEE
16 years 27 days ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
156
click to vote
DATE
2007
IEEE
16 years 27 days ago
2007
IEEE
The integration of microprocessors and field-programmable gate array (FPGA) fabric on a single chip increases both the utility and necessity of tools that automatically move softw...
170
click to vote
DSN
2007
IEEE
16 years 27 days ago
2007
IEEE
New versions of existing large-scale web services such as Passport.com© have to go through rigorous performance evaluations in order to ensure a high degree of availability. Perf...
136
click to vote
FCCM
2007
IEEE
16 years 27 days ago
2007
IEEE
BLASTP is the most popular tool to perform comparative sequence analysis of protein sequences. An exponential increase in the size of protein sequence databases in recent years, h...