3820 search results - page 391 / 764 » Bounded Model Debugging |
218
click to vote
SMA
2010
ACM
14 years 11 months ago
2010
ACM
Abstract Nonparametric correlation estimators as the Kendall and Spearman correlation are widely used in the applied sciences. They are often said to be robust, in the sense of bei...
149
click to vote
EUROCRYPT
2011
Springer
14 years 8 months ago
2011
Springer
In this work, we present HIBE and ABE schemes which are “unbounded” in the sense that the public parameters do not impose additional limitations on the functionality of the sy...
253
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
123
click to vote
DSN
2009
IEEE
15 years 11 months ago
2009
IEEE
MAP queueing networks are recently proposed models for performance assessment of enterprise systems, such as multi-tier applications, where workloads are significantly affected b...
105
click to vote
WDAG
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Wireless ad-hoc networks are being increasingly used in diverse contexts, ranging from casual meetings to disaster recovery operations. A promising approach is to model t...