13277 search results - page 2568 / 2656 » An Approach to Clustering Abstracts |
169
click to vote
TCC
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. A (k; n)-robust combiner for a primitive F takes as input n candidate implementations of F and constructs an implementation of F, which is secure assuming that at least k...
169
click to vote
VMCAI
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
209
click to vote
WISTP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. For ubiquitous communication self-organising adhoc networks become more and more important. We consider mobile phones as appropriate secure gateways to provide access to ...
147
click to vote
GLOBECOM
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract— Inferring AS-level end-to-end paths can be a valuable tool for both network operators and researchers. A widely known technique for inferring end-to-end paths is to per...
160
click to vote
GMP
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract. The need for robust solutions for sets of non-linear multivariate constraints or equations needs no motivation. Subdivision-based multivariate constraint solvers [1–3] ...