1992 search results - page 126 / 399 » Model Based Testing with Labelled Transition Systems |
144
Voted
SOFTWARE
2002
15 years 3 months ago
2002
The large number of Web pages on many Web sites has raised navigational problems. Markov chains have recently been used to model user navigational behavior on the World Wide Web (W...
128
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
111
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper, we present for the first time the fingerprint IRCAM system for audio identification in streams. The baseline system relies on a double-nested Short Time Fourier ...
116
click to vote
ACSD
2006
IEEE
15 years 9 months ago
2006
IEEE
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...
135
click to vote
APCCM
2008
15 years 4 months ago
2008
Model-driven development is the process of creating models of a software system and transforming them into source code. Since the stepwise transformations can be done automaticall...