933 search results - page 39 / 187 » Extending Forward Checking |
104
click to vote
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
134
click to vote
ADBIS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
102
Voted
ESAW
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
139
Voted
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we describe an extension of timed automata with priorities, and efficient algorithms to compute subtraction on DBMs (difference bounded matrices), needed in symbolic ...
106
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...