933 search results - page 79 / 187 » Extending Forward Checking |
101
click to vote
EUROMICRO
1996
IEEE
15 years 4 months ago
1996
IEEE
Signature based error detection techniques (e.g. the application of watchdog processors) can be easily extended to support software debugging. The run-time sequence of signatures ...
97
Voted
ACSD
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
75
Voted
EACL
2003
ACL Anthology
15 years 2 months ago
2003
ACL Anthology
In this paper we present a proposal to extend WordNet-like lexical databases by adding phrasets, i.e. sets of free combinations of words which are recurrently used to express a co...
SFP
2004
15 years 2 months ago
2004
Abstract: Forms are parts of a graphical user interface (GUI) that show a (structured) value and allow the user to update it. Some forms express a choice between two or more (struc...
87
Voted
FUIN
2006
15 years 23 days ago
2006
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient...