2661 search results - page 389 / 533 » Quantum Complexity Classes |
115
click to vote
LPAR
2007
Springer
15 years 9 months ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
159
click to vote
MLDM
2007
Springer
15 years 9 months ago
2007
Springer
Recursive Feature Elimination (RFE) combined with feature ranking is an effective technique for eliminating irrelevant features when the feature dimension is large, but it is diffi...
125
click to vote
AGILEDC
2006
IEEE
15 years 9 months ago
2006
IEEE
There is a class of projects that can only be accomplished via agile practices due to their complexity and risks. It is rare for such a project to be staffed with newbies but it h...
168
Voted
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
117
Voted
DSN
2006
IEEE
15 years 9 months ago
2006
IEEE
Recent research has shown that even modern hard disks have complex failure modes that do not conform to “failstop” operation. Disks exhibit partial failures like block access ...