37 search results - page 8 / 8 » Reasoning about Many-to-Many Requirement Relationships in Sp... |
104
click to vote
FASE
2009
Springer
15 years 4 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
129
Voted
AAAI
2006
15 years 1 months ago
2006
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...