819 search results - page 74 / 164 » Using Assumptions to Distribute CTL Model Checking |
114
Voted
IPPS
2003
IEEE
15 years 8 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...
114
click to vote
CIKM
2009
Springer
15 years 9 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...
121
click to vote
AVSS
2006
IEEE
15 years 8 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...
121
Voted
CCS
2004
ACM
15 years 8 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...
114
Voted
ISPA
2005
Springer
15 years 8 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...