8917 search results - page 1546 / 1784 » Abstraction in Algorithm Animation |
146
click to vote
FMCO
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
137
click to vote
FOIKS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper, we present a syntactic method for solving firstorder equational constraints over term algebras. The presented method exploits a novel notion of quasi-solve...
121
click to vote
GFKL
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Solving conflicts between overlapping databases requires an understanding of the reasons that lead to the inconsistencies. Provided that conflicts do not occur randomly b...
132
click to vote
ACSD
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
125
click to vote
ALT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Inductive inference can be considered as one of the fundamental paradigms of algorithmic learning theory. We survey results recently obtained and show their impact to pot...