570 search results - page 59 / 114 » A Foundational View on Integration Problems |
128
click to vote
CBMS
2005
IEEE
15 years 10 months ago
2005
IEEE
The Gene Ontology (GO) is an important knowledge resource for biologists and bioinformaticians. This paper explores the integration of similarity information derived from GO into ...
155
click to vote
ISTA
2004
15 years 5 months ago
2004
: Schema mapping is an important approach to solve the problem of data integration. This paper introduces a research prototype called SDE, which is a system for managing and facili...
125
click to vote
SQJ
2008
15 years 4 months ago
2008
There are many methods for estimating size, effort, schedule and other cost aspects of IS projects, but only one specifically developed for Enterprise Resource Planning (ERP) [67]...
148
click to vote
CADE
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
152
click to vote
WISE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a goal-based approach for visualizing and browsing the search space of available Web services. A goal describes an obthat a client wants to solve by using Web ...