4401 search results - page 693 / 881 » Computing with Default Logic |
148
click to vote
ICPP
2005
IEEE
15 years 10 months ago
2005
IEEE
Structured P2P overlay networks based on a consistent hashing function have an aftermath load balance problem that needs to be dealt with. A load balancing method should take into...
149
click to vote
IEEESCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
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...
145
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
135
click to vote
ACMMSP
2005
ACM
15 years 10 months ago
2005
ACM
Combining ideas from several previous proposals, such as Active Pages, DIVA, and ULMT, we present the Memory Arithmetic Unit and Interface (MAUI) architecture. Because the “inte...