3260 search results - page 145 / 652 » Lightweight linked data |
125
click to vote
SIGMOD
1999
ACM
15 years 6 months ago
1999
ACM
Research and products for the integration of heterogeneous legacy source databases in data warehousing have addressed numerous data quality problems in or between the sources. Suc...
128
click to vote
CCGRID
2008
IEEE
15 years 8 months ago
2008
IEEE
— Data grids and its cost effective nature has taken on a new level of interest in recent years; amalgamation of different providers results in increased capacity as well as lowe...
105
click to vote
AINA
2009
IEEE
15 years 9 months ago
2009
IEEE
The increasing popularity of Web Services (WS) has exemplified the need for scalable and robust discovery mechanisms. Although decentralized solutions for discovering WS promise ...
130
click to vote
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
127
click to vote
FCCM
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper we present our work toward FPGA acceleration of phylogenetic reconstruction, a type of analysis that is commonly performed in the fields of systematic biology and co...