1421 search results - page 62 / 285 » Satisfying KBO Constraints |
ISQED
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper we address the problem of reducing the energy consumption in distributed embedded systems associated with time-constraints and equipped with fault-tolerant technique...
DLOG
2004
13 years 9 months ago
2004
We show how a tableaux algorithm for SHIQ can be extended to support role boxes that include range and domain axioms, prove that the extended algorithm is still a decision procedur...
TROB
2002
13 years 7 months ago
2002
Given an arbitrary Petri net (PN) structure, which may have uncontrollable and unobservable transitions, the deadlock prevention procedure presented here determines a set of linear...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In last few decades large technology development raised various new needs. Financial sector has also no exception. People are approaching all over the world to fulfill there dream...
ECAI
2010
Springer
13 years 6 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...