8337 search results - page 189 / 1668 » Reasoning With Characteristic Models |
144
Voted
CCS
2010
ACM
15 years 5 months ago
2010
ACM
Computational Indistinguishability Logic (CIL) is a logic for reasoning about cryptographic primitives in computational models. It captures reasoning patterns that are common in p...
151
click to vote
WSC
2007
15 years 7 months ago
2007
Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling f...
123
click to vote
CL
2006
Springer
15 years 5 months ago
2006
Springer
Meta programming is the act of reasoning about a computational system. For example, a program in Prolog can reason about a program written in Smalltalk. Reflection is a more power...
132
click to vote
ISESE
2002
IEEE
15 years 10 months ago
2002
IEEE
The primary objective of this paper was to examine the extent to which Gutman’s Means-End Chain Model can be used to describe the influences given to the choice of characteristi...
137
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Analysing the performance of OWL reasoners on expressive OWL ontologies is an ongoing challenge. In this paper, we present a new approach to performance analysis based on justifica...