1992 search results - page 70 / 399 » Model Based Testing with Labelled Transition Systems |
129
click to vote
VLSID
2007
IEEE
16 years 2 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
109
click to vote
SOSYM
2002
15 years 2 months ago
2002
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the...
107
click to vote
ICPR
2002
IEEE
16 years 3 months ago
2002
IEEE
Statistical modeling for content based retrieval is examined in the context of recent TREC Video benchmark exercise. The TREC Video exercise can be viewed as a test bed for evalua...
149
click to vote
FOSSACS
2012
Springer
13 years 10 months ago
2012
Springer
Coalgebra offers a unified theory of state based systems, including infinite streams, labelled transition systems and deterministic automata. In this paper, we use the coalgebrai...
107
click to vote
MEMOCODE
2010
IEEE
15 years 11 days ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...