772 search results - page 20 / 155 » Ontology Based Information Integration Using Logic Programmi... |
130
click to vote
ICDE
2006
IEEE
15 years 8 months ago
2006
IEEE
To realize the Semantic Web, it will be necessary to make existing database content available for emerging Semantic Web applications, such as web agents and services, which use on...
117
click to vote
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
257
click to vote
GIS
2006
ACM
16 years 3 months ago
2006
ACM
The W3C's Semantic Web Activity is illustrating the use of semantics for information integration, search, and analysis. However, the majority of the work in this community ha...
146
click to vote
CSFW
2007
IEEE
15 years 6 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
128
click to vote
BIBM
2008
IEEE
15 years 9 months ago
2008
IEEE
In the post-genomic era, the organization of genes into networks has played an important role in characterizing the functions of individual genes and the interplay between them. I...