2687 search results - page 21 / 538 » Formal Analysis of PKCS |
DATESO
2004
14 years 9 days ago
2004
Binary Factor Analysis (BFA, also known as Boolean Factor Analysis) may help with understanding collections of binary data. Since we can take collections of text documents as binar...
FORTEST
2008
14 years 14 days ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
MIE
2008
14 years 10 days ago
2008
: The pharmacovigilance databases consist of several case reports involving drugs and adverse events (AEs). Some methods are applied consistently to highlight all signals, i.e. all...
SNPD
2008
14 years 10 days ago
2008
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...
CAV
2004
Springer
14 years 4 months ago
2004
Springer