3468 search results - page 424 / 694 » An open logical framework |
146
click to vote
IJCAI
1989
15 years 5 months ago
1989
We consider the role played by the concept of action in AI. We first briefly summarize the advantages and limitations of past approaches to taking the concept as primitive, as emb...
129
click to vote
AEI
2007
15 years 4 months ago
2007
: An implicit human-machine interaction communication framework that is sensitive to human affective states is presented. The overall goal is to achieve detection and recognition o...
146
click to vote
ENTCS
2010
15 years 4 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
178
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked...
120
click to vote
LOBJET
2008
15 years 4 months ago
2008
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...