860 search results - page 136 / 172 » Completeness in two-party secure computation: a computationa... |
TRIDENTCOM
2006
IEEE
15 years 3 months ago
2006
IEEE
: The lack of a unified control plane does not allow current optical networks to dynamically provision new optical paths. The IETF standardization body has proposed the Generalized...
VRST
2006
ACM
15 years 3 months ago
2006
ACM
Instead of the reality in which you can see your own limbs, in virtual reality simulations it is sometimes disturbing not to be able to see your own body. It seems to create an is...
EUROPAR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
FSTTCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
HUC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Our goal in this paper is to clearly delineate how households currently manage communication and coordination information; this will provide practitioners and designers w...