1000 search results - page 137 / 200 » An RDF Query Language based on Logic Programming |
117
Voted
ICCSA
2009
Springer
15 years 9 months ago
2009
Springer
Data aggregation in Geographic Information Systems (GIS) is a desirable feature, spatial data are integrated in OLAP engines for this purpose. However, the development and operatio...
135
Voted
SAC
2010
ACM
15 years 18 days ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
205
Voted
SIGMOD
2006
ACM
16 years 2 months ago
2006
ACM
This paper describes the ADO.NET Entity Framework, a platform for programming against data that raises the level of ion from the logical (relational) level to the conceptual (enti...
111
Voted
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
130
Voted
MTSR
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we describe the development of an ontology of molecular and phenotypic cereals data, realized by integrating existing public web databases with the database developed...