508 search results - page 53 / 102 » RPC in the x-Kernel: Evaluating New Design Techniques |
DAC
2003
ACM
16 years 23 days ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
ASIACRYPT
2000
Springer
15 years 4 months ago
2000
Springer
The mobile agent is a fundamental building block of the mobile computing paradigm. In mobile agent security, oblivious transfer (OT) from a trusted party can be used to protect th...
103
click to vote
DASFAA
2003
IEEE
15 years 5 months ago
2003
IEEE
Modern database applications including computeraided design (CAD), medical imaging, or molecular biology impose new requirements on spatial query processing. Particular problems a...
ISCAS
2005
IEEE
15 years 5 months ago
2005
IEEE
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...
CORR
2004
Springer
14 years 11 months ago
2004
Springer
: The integration of different learning and adaptation techniques to overcome individual limitations and to achieve synergetic effects through the hybridization or fusion of these ...