1992 search results - page 60 / 399 » Model Based Testing with Labelled Transition Systems |
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
This article formalises the dual problem to model-based diagnosis (MBD), i.e., generating tests to isolate multiple simultaneous faults. Using a standard propositional MBD framewo...
171
click to vote
FATES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
ITC
2003
IEEE
15 years 7 months ago
2003
IEEE
Composite microsystems that integrate mechanical and fluidic components are fast emerging as the next generation of system-on-chip designs. As these systems become widespread in s...
148
click to vote
LATA
2010
Springer
15 years 26 days ago
2010
Springer
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
116
click to vote
ICMAS
2000
15 years 3 months ago
2000
We present a concept to use off-line learning approaches to achieve on-line learning of cooperative behavior of agents and instantiate this concept for evolutionary learning with ...