1912 search results - page 154 / 383 » On the evaluation of argumentation formalisms |
164
click to vote
ASWEC
2008
IEEE
16 years 29 days ago
2008
IEEE
Viewpoint-based conceptual modeling is concerned with the identification of a complete and coherent set of software models that have been developed with the involvement of variou...
188
click to vote
AIMSA
2008
Springer
16 years 25 days ago
2008
Springer
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
155
click to vote
RSP
2005
IEEE
16 years 2 days ago
2005
IEEE
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
161
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We discuss a collection of mechanized formal proofs of symmetric key block encryption algorithms (AES, MARS, Twofish, RC6, Serpent, IDEA, and TEA), performed in an imple...
181
click to vote
SPIRE
2005
Springer
15 years 12 months ago
2005
Springer
Effective information retrieval in XML documents requires the user to have good knowledge of document structure and of some formal query language. XML query languages like XPath a...