2687 search results - page 21 / 538 » Formal Analysis of PKCS |
109
Voted
DATESO
2004
15 years 1 months 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...
106
Voted
FORTEST
2008
15 years 2 months 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...
106
Voted
MIE
2008
15 years 1 months 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...
117
Voted
SNPD
2008
15 years 1 months 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...
80
Voted
CAV
2004
Springer
15 years 5 months ago
2004
Springer