2766 search results - page 209 / 554 » Hybridizing a Logical Framework |
149
Voted
VLDB
1991
ACM
15 years 8 months ago
1991
ACM
We propose a two-pha.se algorithm for physical database design. In phase one the algorithm, for each logical query, losesrules to determine characteristics of a physical design (s...
138
click to vote
GLOBECOM
2008
IEEE
15 years 5 months ago
2008
IEEE
— Nodes forming mobile ad hoc networks (MANET) nodes can be logically partitioned into 1) a selfish user agent serving the interests of the end user (owner) of the mobile device...
143
click to vote
IJSWIS
2007
15 years 4 months ago
2007
In a semantic environment data is described by ontologies and ontology mapping has become a crucial aspect in solving the heterogeneity problems of semantically described data. Th...
201
click to vote
EIS
2011
14 years 11 months ago
2011
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...
241
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...