7865 search results - page 1286 / 1573 » Large correlation analysis |
199
click to vote
BPM
2006
Springer
15 years 11 months ago
2006
Springer
Little is known about error probability in enterprise models as they are usually kept private. The SAP reference model is a publically available model that contains more than 600 n...
202
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
200
click to vote
CCS
2006
ACM
15 years 11 months ago
2006
ACM
Attributes define, classify, or annotate the datum to which they are assigned. However, traditional attribute architectures and cryptosystems are ill-equipped to provide security ...
194
click to vote
DSN
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper presents a scalable mechanism, Fast Routing Table Recovery (FRTR), for detecting and correcting route inconsistencies between neighboring BGP routers. The large size of...
197
click to vote
CIKM
2006
Springer
15 years 11 months ago
2006
Springer
We present a static index pruning method, to be used in ad-hoc document retrieval tasks, that follows a documentcentric approach to decide whether a posting for a given term shoul...