2806 search results - page 235 / 562 » BML and Related Tools |
210
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Many digital sound archives still suffer from tremendous problems concerning access. Materials are often in different formats, with related media in separate collections, and with...
152
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Software developers often face challenges in reusing open source frameworks due to several factors such as the framework complexity and lack of proper documentation. In this pap...
190
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
153
click to vote
AICCSA
2007
IEEE
16 years 1 months ago
2007
IEEE
Several matching algorithms were recently developed in order to automate or semi-automate the process of correspondences discovery between XML schemas. These algorithms use a wide...
200
click to vote
BIBE
2007
IEEE
16 years 1 months ago
2007
IEEE
Network mapping is a convenient tool for comparing and exploring biological networks; it can be used for predicting unknown pathways, fast and meaningful searching of databases, a...