819 search results - page 74 / 164 » Using Assumptions to Distribute CTL Model Checking |
132
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
126
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Score normalization is indispensable in distributed retrieval and fusion or meta-search where merging of result-lists is required. Distributional approaches to score normalization...
139
click to vote
AVSS
2006
IEEE
15 years 11 months ago
2006
IEEE
We model the performance of a speaker recognition system used for surveillance to prioritize a large number of candidate speakers in search of a single target speaker. It is assum...
139
click to vote
CCS
2004
ACM
15 years 10 months ago
2004
ACM
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
134
click to vote
ISPA
2005
Springer
15 years 10 months ago
2005
Springer
Identity-based (ID-based) public key cryptosystem can be a good alternative for certificate-based public key setting, especially when efficient key management and moderate securit...