1992 search results - page 117 / 399 » Model Based Testing with Labelled Transition Systems |
105
click to vote
VTS
2003
IEEE
15 years 8 months ago
2003
IEEE
Reseeding is used to improve fault coverage in pseudo-random testing. Most of the work done on reseeding is based on storing the seeds in an external tester. Besides its high cost...
123
Voted
CALCO
2005
Springer
15 years 8 months ago
2005
Springer
We propose a coalgebraic model of the Fusion calculus based on HD-automata. The main advantage of the approach is that the partition refinement algorithm designed for HD-automata ...
158
Voted
GCC
2003
Springer
15 years 8 months ago
2003
Springer
This paper applies a new traffic model, iterated function systems (IFS) for network traffic modelling, to explore computer network behaviour and analyse network performance. IFS mo...
141
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper, the results of a semi-supervised approach based on the Expectation-Maximisation algorithm for model-based clustering are presented. We show in this work that, if th...
141
click to vote
DEXA
2006
Springer
15 years 7 months ago
2006
Springer
Ontology alignment (or matching) is the operation that takes two ontologies and produces a set of semantic correspondences (usually semantic similarities) between some elements of ...