1950 search results - page 282 / 390 » Lambda-Free Logical Frameworks |
162
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
The classical NP-complete problem of Boolean Satisfiability (SAT) has seen much interest in not just the theoretical computer science community, but also in areas where practical s...
268
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
The database community is on a constant quest for better integration of data management and knowledge management. Recently, with the increasing use of ontology in various applicat...
266
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
In this paper, we propose a methodological approach for the model driven development of secure XML databases (DB). This proposal is within the framework of MIDAS, a model driven m...
240
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
XPORT is a profile-driven distributed data dissemination system that supports an extensible set of data types, profiles types, and optimization metrics. XPORT efficiently implemen...
277
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
We describe an approach for pipelining nested data collections in scientific workflows. Our approach logically delimits arbitrarily nested collections of data tokens using special...