37 search results - page 8 / 8 » Reasoning about Many-to-Many Requirement Relationships in Sp... |
FASE
2009
Springer
13 years 8 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...
AAAI
2006
13 years 6 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 ...