39 search results - page 4 / 8 » Formal Analysis of Key Integrity in PKCS |
STEP
2003
IEEE
13 years 11 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
CASES
2011
ACM
12 years 5 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
DATE
2008
IEEE
14 years 6 days ago
2008
IEEE
As semiconductor manufacturing requires greater capital investments, the use of contract foundries has grown dramatically, increasing exposure to mask theft and unauthorized exces...
INCDM
2010
Springer
13 years 9 months ago
2010
Springer
Hospitals increasingly use process models for structuring their care processes. Activities performed to patients are logged to a database but these data are rarely used for managin...
KES
2008
Springer
13 years 5 months ago
2008
Springer
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...