1113 search results - page 152 / 223 » Counter Systems for Data Logics |
216
click to vote
SIGMOD
2006
ACM
16 years 4 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...
139
click to vote
ASWEC
2007
IEEE
15 years 8 months ago
2007
IEEE
Influence control is a very challenging issue in dynamic reconfiguration and still not well addressed in the literature. This paper argues that dynamic reconfiguration influences s...
140
click to vote
JAIR
2010
15 years 3 months ago
2010
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning s...
134
click to vote
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
In this paper, we propose a novel client-side, multi-granularity caching scheme, called "Complementary Space Caching" (CS caching), for location-based services in mobile ...
157
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we propose an IPSec implementation on Xilinx Virtex-II Pro FPGA1 . We move the key management and negotiation into software function calls that run on the PowerPC p...