636 search results - page 11 / 128 » Adapting Logics |
ICAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Dynamic adaptation may be used to prevent software downtime while new requirements and responses to environmental conditions are incorporated into the system. Previously, we studi...
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
ASAP
2004
IEEE
15 years 1 months ago
2004
IEEE
We explain how modern programmable logic devices have capabilities that are well suited for them to assume a central role in the implementation of networked systems, now and in th...
126
click to vote
ICCBR
2007
Springer
15 years 1 months ago
2007
Springer
Case-based reasoning aims at solving a problem by the adaptation of the solution of an already solved problem that has been retrieved in a case base. This paper defines an approach...
126
click to vote
APWEB
2011
Springer
14 years 4 months ago
2011
Springer
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...