7694 search results - page 102 / 1539 » An Implementation of an Applicative File System |
167
click to vote
JELIA
2010
Springer
15 years 2 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
127
click to vote
SRDS
2007
IEEE
15 years 10 months ago
2007
IEEE
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, ha...
138
click to vote
JASIS
2000
15 years 4 months ago
2000
In the logical approach to information retrieval (IR), retrieval is considered as uncertain inference. Whereas classical IR models are based on propositional logic, we combine Dat...
155
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...
124
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
System on Devices (SyD) is a specification for a middleware to enable heterogeneous collections of information, databases, or devices (such as hand-held devices) to collaborate wi...